Skip to main content
Erschienen in: Software and Systems Modeling 4/2015

01.10.2015 | Special Section Paper

Example-driven meta-model development

verfasst von: Jesús J. López-Fernández, Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara

Erschienen in: Software and Systems Modeling | Ausgabe 4/2015

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The intensive use of models in model-driven engineering (MDE) raises the need to develop meta-models with different aims, such as the construction of textual and visual modelling languages and the specification of source and target ends of model-to-model transformations. While domain experts have the knowledge about the concepts of the domain, they usually lack the skills to build meta-models. Moreover, meta-models typically need to be tailored according to their future usage and specific implementation platform, which demands knowledge available only to engineers with great expertise in specific MDE platforms. These issues hinder a wider adoption of MDE both by domain experts and software engineers. In order to alleviate this situation, we propose an interactive, iterative approach to meta-model construction, enabling the specification of example model fragments by domain experts, with the possibility of using informal drawing tools like Dia or yED. These fragments can be annotated with hints about the intention or needs for certain elements. A meta-model is then automatically induced, which can be refactored in an interactive way, and then compiled into an implementation meta-model using profiles and patterns for different platforms and purposes. Our approach includes the use of a virtual assistant, which provides suggestions for improving the meta-model based on well-known refactorings, and a validation mode, enabling the validation of the meta-model by means of examples.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Fußnoten
4
The “Element” and “Parameter” columns refer to the meta-model elements to which the annotation is applicable (i.e. class, reference, attribute), even if the annotations are initially included in a fragment, at the model level.
 
8
Not related to the term “sketch” as we use it in this paper.
 
Literatur
1.
Zurück zum Zitat Aguilera, D., García-Ranea, R., Gómez, C., Olivé, A.: An eclipse plugin for validating names in UML conceptual schemas. In: ER Workshops, Volume 6999 of LNCS, pp. 323–327. Springer, Berlin (2011) Aguilera, D., García-Ranea, R., Gómez, C., Olivé, A.: An eclipse plugin for validating names in UML conceptual schemas. In: ER Workshops, Volume 6999 of LNCS, pp. 323–327. Springer, Berlin (2011)
2.
Zurück zum Zitat Aguilera, D., Gómez, C., Olivé, A.: A method for the definition and treatment of conceptual schema quality issues. In: ER, Volume 7532 of LNCS, pp. 501–514. Springer, Berlin (2012) Aguilera, D., Gómez, C., Olivé, A.: A method for the definition and treatment of conceptual schema quality issues. In: ER, Volume 7532 of LNCS, pp. 501–514. Springer, Berlin (2012)
3.
Zurück zum Zitat Antkiewicz, M., Bak, K., Czarnecki, K., Diskin, Z., Zayan, D., Wasowski, A.: Example-driven modeling using clafer. In: MDEBE’2013. CEUR (2013) Antkiewicz, M., Bak, K., Czarnecki, K., Diskin, Z., Zayan, D., Wasowski, A.: Example-driven modeling using clafer. In: MDEBE’2013. CEUR (2013)
4.
Zurück zum Zitat Bak, K., Zayan, D., Czarnecki, K., Antkiewicz, M., Diskin, Z., Wasowski, A., Rayside D.: Example-driven modeling: Model = abstractions + examples. In: ICSE, pp. 1273–1276. IEEE ACM (2013) Bak, K., Zayan, D., Czarnecki, K., Antkiewicz, M., Diskin, Z., Wasowski, A., Rayside D.: Example-driven modeling: Model = abstractions + examples. In: ICSE, pp. 1273–1276. IEEE ACM (2013)
5.
Zurück zum Zitat Baldwin, C.Y., Clark, K.B.: Design Rules: The Power of Modularity, vol. 1. The MIT Press, Cambridge, MA (2000) Baldwin, C.Y., Clark, K.B.: Design Rules: The Power of Modularity, vol. 1. The MIT Press, Cambridge, MA (2000)
6.
Zurück zum Zitat Barker, R.: Case*Method: Entity Relationship Modelling. Addison-Wesley Professional, Reading, MA (1990) Barker, R.: Case*Method: Entity Relationship Modelling. Addison-Wesley Professional, Reading, MA (1990)
7.
Zurück zum Zitat Beck, K.: Simple smalltalk testing: with patterns. Tech. Rep .4(2), The Smalltalk Reports (1994) Beck, K.: Simple smalltalk testing: with patterns. Tech. Rep .4(2), The Smalltalk Reports (1994)
8.
Zurück zum Zitat Bézivin, J.: On the unification power of models. Softw. Syst. Model. 4(2), 171–188 (2005)CrossRef Bézivin, J.: On the unification power of models. Softw. Syst. Model. 4(2), 171–188 (2005)CrossRef
9.
Zurück zum Zitat Cabot, J., Pau, R., Raventós, R.: From UML/OCL to SBVR specifications: a challenging transformation. Inf. Syst. 35(4), 417–440 (2010)CrossRef Cabot, J., Pau, R., Raventós, R.: From UML/OCL to SBVR specifications: a challenging transformation. Inf. Syst. 35(4), 417–440 (2010)CrossRef
10.
Zurück zum Zitat Cho, H., Gray, J.: Design patterns for metamodels. In: SPLASH Workshops, pp. 25–32. ACM (2011) Cho, H., Gray, J.: Design patterns for metamodels. In: SPLASH Workshops, pp. 25–32. ACM (2011)
11.
Zurück zum Zitat Cho, H., Gray, J., Syriani, E.: Creating visual domain-specific modeling languages from end-user demonstration. In: MiSE’12 (2012) Cho, H., Gray, J., Syriani, E.: Creating visual domain-specific modeling languages from end-user demonstration. In: MiSE’12 (2012)
12.
Zurück zum Zitat Cho, H., Sun, Y., Gray, J., White J.: Key challenges for modeling language creation by demonstration. In: ICSE’11 Workshop on Flexible Modeling Tools (2011) Cho, H., Sun, Y., Gray, J., White J.: Key challenges for modeling language creation by demonstration. In: ICSE’11 Workshop on Flexible Modeling Tools (2011)
13.
Zurück zum Zitat Cicchetti, A., di Ruscio, D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven, engineering. In: EDOC’08, pp. 222–231 (2008) Cicchetti, A., di Ruscio, D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven, engineering. In: EDOC’08, pp. 222–231 (2008)
14.
Zurück zum Zitat Cicchetti, A., di Ruscio, D., Pierantonio, A.: Managing model conflicts in distributed development. In: MODELS’08, Volume 5301 of LNCS, pp. 311–325. Springer, Berlin (2008) Cicchetti, A., di Ruscio, D., Pierantonio, A.: Managing model conflicts in distributed development. In: MODELS’08, Volume 5301 of LNCS, pp. 311–325. Springer, Berlin (2008)
15.
Zurück zum Zitat Cicchetti, A., di Ruscio, D., Pierantonio, A., Kolovos, D.: A test-driven approach for metamodel development. In: Emerging Technologies for the Evolution and Maintenance of Software Models, pp. 319–342. IGI Global (2012) Cicchetti, A., di Ruscio, D., Pierantonio, A., Kolovos, D.: A test-driven approach for metamodel development. In: Emerging Technologies for the Evolution and Maintenance of Software Models, pp. 319–342. IGI Global (2012)
16.
Zurück zum Zitat Cuadrado, J.S., de Lara, J., Guerra, E.: Bottom-up meta-modelling: an interactive approach. In: MoDELS, Volume 7590 of LNCS, pp. 3–19. Springer, Berlin (2012) Cuadrado, J.S., de Lara, J., Guerra, E.: Bottom-up meta-modelling: an interactive approach. In: MoDELS, Volume 7590 of LNCS, pp. 3–19. Springer, Berlin (2012)
17.
Zurück zum Zitat Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge, MA (2002)MATHCrossRef Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge, MA (2002)MATHCrossRef
18.
Zurück zum Zitat Davis, R.: Magic paper: sketch-understanding research. Computer 40(9), 34–41 (2007)CrossRef Davis, R.: Magic paper: sketch-understanding research. Computer 40(9), 34–41 (2007)CrossRef
19.
Zurück zum Zitat Dawson, L.: A social-creative-cognitive (scc) model for requirements engineering. In: ISD (2012) Dawson, L.: A social-creative-cognitive (scc) model for requirements engineering. In: ISD (2012)
20.
Zurück zum Zitat de Lara, J., Guerra, E.: Deep meta-modelling with MetaDepth. In: TOOLS’10, Volume 6141 of LNCS, pp. 1–20. Springer, Berlin (2010) de Lara, J., Guerra, E.: Deep meta-modelling with MetaDepth. In: TOOLS’10, Volume 6141 of LNCS, pp. 1–20. Springer, Berlin (2010)
21.
Zurück zum Zitat de Lara, J., Guerra, E.: From types to type requirements: genericity for model-driven engineering. Softw. Syst. Model. 12(3), 453–474 (2013)CrossRef de Lara, J., Guerra, E.: From types to type requirements: genericity for model-driven engineering. Softw. Syst. Model. 12(3), 453–474 (2013)CrossRef
22.
Zurück zum Zitat Deeptimahanti, D.K., Babar, M.A.: An automated tool for generating uml models from natural language requirements. In: ASE, pp. 680–682. IEEE Computer Society (2009) Deeptimahanti, D.K., Babar, M.A.: An automated tool for generating uml models from natural language requirements. In: ASE, pp. 680–682. IEEE Computer Society (2009)
23.
Zurück zum Zitat Dingel, J., Diskin, Z., Zito, A.: Understanding and improving UML package merge. Softw. Syst. Model. 7(4), 443–467 (2008)CrossRef Dingel, J., Diskin, Z., Zito, A.: Understanding and improving UML package merge. Softw. Syst. Model. 7(4), 443–467 (2008)CrossRef
24.
Zurück zum Zitat Diskin, Z.: Mathematics of UML: making the Odysseys of UML less dramatic. In: Kilov, H., Baclawski, K. (eds.) Practical Foundations of Business System Specifications, pp. 145–178. Springer, Netherlands (2003)CrossRef Diskin, Z.: Mathematics of UML: making the Odysseys of UML less dramatic. In: Kilov, H., Baclawski, K. (eds.) Practical Foundations of Business System Specifications, pp. 145–178. Springer, Netherlands (2003)CrossRef
25.
Zurück zum Zitat Diskin, Z., Kadish, B., Piessens, F., Johnson, M.: Universal arrow foundations for visual modeling. In: Diagrams, Volume 1889 of LNCS, pp. 345–360. Springer, Berlin (2000) Diskin, Z., Kadish, B., Piessens, F., Johnson, M.: Universal arrow foundations for visual modeling. In: Diagrams, Volume 1889 of LNCS, pp. 345–360. Springer, Berlin (2000)
26.
Zurück zum Zitat Dyck, A., Ganser, A., Lichter, H.: Model recommenders for command-enabled editors. In: MDEBE’2013. CEUR (2013) Dyck, A., Ganser, A., Lichter, H.: Model recommenders for command-enabled editors. In: MDEBE’2013. CEUR (2013)
27.
Zurück zum Zitat Edwards, J.: Example centric programming. SIGPLAN Not. 39(12):84–91 (2004) Edwards, J.: Example centric programming. SIGPLAN Not. 39(12):84–91 (2004)
28.
Zurück zum Zitat Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Softw. Eng. 37(2), 188–204 (2011)CrossRef Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Softw. Eng. 37(2), 188–204 (2011)CrossRef
30.
Zurück zum Zitat Fowler, M.: Refactoring. Improving the Design of Existing Code. Addison-Wesley, Reading, MA (1999) Fowler, M.: Refactoring. Improving the Design of Existing Code. Addison-Wesley, Reading, MA (1999)
31.
Zurück zum Zitat Freeman, S., Pryce, N.: Growing Object-Oriented Software, Guided by Tests, 1st edn. Addison-Wesley Professional, Reading, MA (2009) Freeman, S., Pryce, N.: Growing Object-Oriented Software, Guided by Tests, 1st edn. Addison-Wesley Professional, Reading, MA (2009)
32.
Zurück zum Zitat Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns. Elements of Reusable Object-Oriented Software. Addison Wesley, Reading, MA (1994) Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns. Elements of Reusable Object-Oriented Software. Addison Wesley, Reading, MA (1994)
34.
Zurück zum Zitat Izquierdo, J.L.C., Cabot, J.: Enabling the collaborative definition of DSMLs. In: CAiSE, Volume 7908 of LNCS, pp. 272–287. Springer, Berlin (2013) Izquierdo, J.L.C., Cabot, J.: Enabling the collaborative definition of DSMLs. In: CAiSE, Volume 7908 of LNCS, pp. 272–287. Springer, Berlin (2013)
35.
Zurück zum Zitat Izquierdo, J.L.C., Cabot, J., López-Fernández, J.J., Cuadrado, J.S., Guerra, E., de Lara, J.: Engaging end-users in the collaborative development of domain-specific modelling languages. In: CDVE, Volume 8091 of LNCS, pp. 101–110. Springer, Berlin (2013) Izquierdo, J.L.C., Cabot, J., López-Fernández, J.J., Cuadrado, J.S., Guerra, E., de Lara, J.: Engaging end-users in the collaborative development of domain-specific modelling languages. In: CDVE, Volume 8091 of LNCS, pp. 101–110. Springer, Berlin (2013)
36.
Zurück zum Zitat Javed, F., Mernik, M., Gray, J., Bryant, B.R.: MARS: a metamodel recovery system using grammar inference. Inf. Softw. Technol. 50(9–10), 948–968 (2008)CrossRef Javed, F., Mernik, M., Gray, J., Bryant, B.R.: MARS: a metamodel recovery system using grammar inference. Inf. Softw. Technol. 50(9–10), 948–968 (2008)CrossRef
37.
Zurück zum Zitat Karsai, G., Krahn, H., Pinkernell, C., Rumpe, B., Schneider, M., Völkel, S.: Design guidelines for domain specific languages. In: DSM’09, pp. 7–13 (2009) Karsai, G., Krahn, H., Pinkernell, C., Rumpe, B., Schneider, M., Völkel, S.: Design guidelines for domain specific languages. In: DSM’09, pp. 7–13 (2009)
38.
Zurück zum Zitat Kelly, S., Pohjonen, R.: Worst practices for domain-specific modeling. IEEE Softw. 26(4), 22–29 (2009)CrossRef Kelly, S., Pohjonen, R.: Worst practices for domain-specific modeling. IEEE Softw. 26(4), 22–29 (2009)CrossRef
39.
Zurück zum Zitat Kolovos, D.S., Rose, L.M., Abid, S.B., Paige, R.F., Polack, F.A.C., Botterweck G.: Taming EMF and GMF using model transformation. In: MODELS’10, Volume 6394 of LNCS, pp. 211–225. Springer, Berlin (2010) Kolovos, D.S., Rose, L.M., Abid, S.B., Paige, R.F., Polack, F.A.C., Botterweck G.: Taming EMF and GMF using model transformation. In: MODELS’10, Volume 6394 of LNCS, pp. 211–225. Springer, Berlin (2010)
40.
Zurück zum Zitat Liquiere, M., Sallantin, J.: Structural machine learning with galois lattice and graphs. In: ICML’98, pp. 305–313. Morgan Kaufmann, Los Altos, CA (1998) Liquiere, M., Sallantin, J.: Structural machine learning with galois lattice and graphs. In: ICML’98, pp. 305–313. Morgan Kaufmann, Los Altos, CA (1998)
41.
Zurück zum Zitat Maoz, S., Ringert, J.O., Rumpe, B.: Modal object diagrams. In: ECOOP, Volume 6813 of LNCS, pp. 281–305. Springer, Berlin (2011) Maoz, S., Ringert, J.O., Rumpe, B.: Modal object diagrams. In: ECOOP, Volume 6813 of LNCS, pp. 281–305. Springer, Berlin (2011)
42.
Zurück zum Zitat Mens, T.: A state-of-the-art survey on software merging. IEEE Trans. Softw. Eng. 28(5), 449–462 (2002)CrossRef Mens, T.: A state-of-the-art survey on software merging. IEEE Trans. Softw. Eng. 28(5), 449–462 (2002)CrossRef
43.
Zurück zum Zitat Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. 37(4), 316–344 (2005)CrossRef Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. 37(4), 316–344 (2005)CrossRef
45.
Zurück zum Zitat Nierstrasz, O.: Ten things I hate about object-oriented programming. J. Object Technol. 9(5), (2010) Nierstrasz, O.: Ten things I hate about object-oriented programming. J. Object Technol. 9(5), (2010)
47.
Zurück zum Zitat Paige, R.F., Brooke, P.J., Ostroff, J.S.: Specification-driven development of an executable metamodel in Eiffel. In: WISME’04 (2004) Paige, R.F., Brooke, P.J., Ostroff, J.S.: Specification-driven development of an executable metamodel in Eiffel. In: WISME’04 (2004)
48.
Zurück zum Zitat Perera, R.: First-order interactive programming. In: PADL’10, Volume 5937 of LNCS, pp. 186–200. Springer, Berlin (2010) Perera, R.: First-order interactive programming. In: PADL’10, Volume 5937 of LNCS, pp. 186–200. Springer, Berlin (2010)
49.
Zurück zum Zitat Sadilek D. A., Weißleder S.: Towards automated testing of abstract syntax specifications of domain-specific modeling languages. In: Volume 324 of CEUR Workshop Proceedings, pp. 21–29. CEUR-WS.org (2008) Sadilek D. A., Weißleder S.: Towards automated testing of abstract syntax specifications of domain-specific modeling languages. In: Volume 324 of CEUR Workshop Proceedings, pp. 21–29. CEUR-WS.org (2008)
50.
Zurück zum Zitat Schäfer, C., Kuhn, T., Trapp, M.: A pattern-based approach to DSL development. In: DSM’11, pp. 39–46 (2011) Schäfer, C., Kuhn, T., Trapp, M.: A pattern-based approach to DSL development. In: DSM’11, pp. 39–46 (2011)
51.
Zurück zum Zitat Shneiderman, B., Plaisant, C.: Designing the User Interface—Strategies for Effective Human-Computer Interaction, 5th edn. Addison-Wesley, Reading, MA (2010) Shneiderman, B., Plaisant, C.: Designing the User Interface—Strategies for Effective Human-Computer Interaction, 5th edn. Addison-Wesley, Reading, MA (2010)
52.
Zurück zum Zitat Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional, Reading, MA (2008) Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional, Reading, MA (2008)
53.
Zurück zum Zitat Voelter, M.: DSL Engineering—Designing, Implementing and Using Domain-Specific Languages. CreateSpace (2013) Voelter, M.: DSL Engineering—Designing, Implementing and Using Domain-Specific Languages. CreateSpace (2013)
54.
Zurück zum Zitat Wenyin, L., Zhang, W., Yan, L.: An interactive example-driven approach to graphics recognition in engineering drawings. IJDAR 9(1), 13–29 (2007)CrossRef Wenyin, L., Zhang, W., Yan, L.: An interactive example-driven approach to graphics recognition in engineering drawings. IJDAR 9(1), 13–29 (2007)CrossRef
55.
Zurück zum Zitat Wirfs-Brock, R., Wiener, L.R., Wilkerson, B.: Designing object-oriented software. Prentice Hall, Englewood Cliffs, NJ (1990) Wirfs-Brock, R., Wiener, L.R., Wilkerson, B.: Designing object-oriented software. Prentice Hall, Englewood Cliffs, NJ (1990)
56.
Zurück zum Zitat Wüest, D., Glinz, M.: Flexible sketch-based requirements modeling. In: REFSQ, Volume 6606 of LNCS, pp. 100–105. Springer, Berlin (2011) Wüest, D., Glinz, M.: Flexible sketch-based requirements modeling. In: REFSQ, Volume 6606 of LNCS, pp. 100–105. Springer, Berlin (2011)
Metadaten
Titel
Example-driven meta-model development
verfasst von
Jesús J. López-Fernández
Jesús Sánchez Cuadrado
Esther Guerra
Juan de Lara
Publikationsdatum
01.10.2015
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling / Ausgabe 4/2015
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-013-0392-y

Weitere Artikel der Ausgabe 4/2015

Software and Systems Modeling 4/2015 Zur Ausgabe