Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Software and Systems Modeling
Erschienen in: Software and Systems Modeling 4/2018

09.07.2016 | Regular Paper

VMTL: a language for end-user model transformation

verfasst von: Vlad Acreţoaie, Harald Störrle, Daniel Strüber

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

Einloggen

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

search-config
loading …

Abstract

Model transformation is a key enabling technology of Model-Driven Engineering (MDE). Existing model transformation languages are shaped by and for MDE practitioners—a user group with needs and capabilities which are not necessarily characteristic of modelers in general. Consequently, these languages are largely ill-equipped for adoption by end-user modelers in areas such as requirements engineering, business process management, or enterprise architecture. We aim to introduce a model transformation language addressing the skills and requirements of end-user modelers. With this contribution, we hope to broaden the application scope of model transformation and MDE technology in general. We discuss the profile of end-user modelers and propose a set of design guidelines for model transformation languages addressing them. We then introduce Visual Model Transformation Language (VMTL) following these guidelines. VMTL draws on our previous work on the usability-oriented Visual Model Query Language. We implement VMTL using the Henshin model transformation engine, and empirically investigate its learnability via two user experiments and a think-aloud protocol analysis. Our experiments, although conducted on computer science students exhibiting only some of the characteristics of end-user modelers, show that VMTL compares favorably in terms of learnability with two state-of the-art model transformation languages: Epsilon and Henshin. Our think-aloud protocol analysis confirms many of the design decisions adopted for VMTL, while also indicating possible improvements.
Vorheriger Artikel On submodels and submetamodels with their relation
Nächster Artikel A model-driven development approach for context-aware systems

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
We are presently carrying out a large-scale practitioner survey investigating the various contexts in which models are employed. The results of this survey are as of yet unpublished.
 
2
UML allows Stereotypes to replace model elements’ default visualizations with arbitrary images.
 
3
Only a subset of the textual annotations described in Sect. 3.3 are currently supported.
 
4
Any other remote code execution technology may be used.
 
6
A list of Epsilon’s industrial users is available at https://​www.​eclipse.​org/​epsilon/​users/​. A collection of publications describing Henshin’s use in various projects is available at https://​www.​eclipse.​org/​henshin/​publications.​php.
 
7
Guidelines suggest that \(\eta ^2\) values greater than 0.06 indicate a moderate effect size, and values greater than 0.14 indicate a large effect size [15].
 
8
Values for Spearman’s \(\rho \) range in the interval \([-1,1]\). Values closer to 0 indicate a lower correlation, and therefore a larger effect size.
 
9
Due to the adopted experimental design, Cronbach’s alpha cannot be reliably computed for Experiment 2.
 
Literatur
1.
Arendt, T.: Quality Assurance of Software Models. Ph.D. thesis, Philipps-Universität Marburg (2014)
2.
Acretoaie, V., Störrle, H., Strüber, D.: Transparent model transformation: turning your favourite model editor into a transformation tool. In: Theory and Practice of Model Transformation, LNCS, vol. 9152, pp. 121–130. Springer, Berlin (2015)
3.
Acretoaie, V., Störrle, H.: Hypersonic: Model Analysis and Checking in the Cloud. In: Proceedings of 2nd Workshop on Scalability in Model Driven Engineering. CEUR Workshop Proceedings, vol. 1206, pp. 6–13 (2014)
4.
Acretoaie, V., Störrle, H.: MQ-2: a tool for prolog-based model querying. In: Joint Proceedings of Co-located Events at the 8th European Conference on Modelling Foundations and Applications (ECMFA’12), pp. 328–331. Technical University of Denmark, Kgs. Lyngby, DK (2012)
5.
Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations. Model Driven Engineering Languages and Systems. LNCS, vpl. 6394, pp. 121–135. Springer, Berlin (2010)
6.
Avazpour, I., Grundy, J., Grunske, L.: Specifying model transformations by direct manipulation using concrete visual notations and interactive recommendations. J. Visual Lang. Comput. 28, 195–211 (2015)CrossRef
7.
Awad, A., Sakr, S.: On efficient processing of BPMN-Q queries. Comput. Ind. 63(9), 867–881 (2012)CrossRef
8.
Baar, T., Whittle, J.: On the usage of concrete syntax in model transformation rules. In: Perspectives of Systems Informatics. LNCS, vol. 4378, pp. 84–97. Springer, Berlin (2007)
9.
Balogh, Z., Varró, D.: Model transformation by example using inductive logic programming. Softw. Syst. Model. 8(3), 347–364 (2009)CrossRef
10.
Batory, D., Azanza, M.: Teaching model-driven engineering from a relational database perspective. Softw. Syst. Model. pp. 1–25 (2015)
11.
Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes with BP-QL. Inf. Syst. 33(6), 477–507 (2008)CrossRef
12.
Bézivin, J., Büttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model transformations? Transformation models! In: Model-driven engineering languages and systems, LNCS, vol. 4199, pp. 440–453. Springer, Berlin (2006)
13.
Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. Softw. Syst. Model. 11(2), 227–250 (2012)CrossRef
14.
Bollati, V.A., Vara, J.M., Jiménez, Á., Marcos, E.: Applying MDE to the (semi-)automatic development of model transformations. Inf. Softw. Technol. 55(4), 699–718 (2013)CrossRef
15.
Cohen, J.: Statistical Power Analysis for the Behavioral Sciences, 2 edn. Routledge (1988)
16.
Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Syst. J. 45(3), 621–645 (2006)CrossRef
17.
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Berlin (2006)MATH
18.
Gopher, D., Braune, R.: On the psychophysics of workload: Why bother with subjective measures? Hum. Factors 26(5), 519–532 (1984)CrossRef
19.
Grønmo, R., Møller-Pedersen, B., Olsen, G.K.: Comparison of Three Model Transformation Languages. Model Driven Architecture—Foundations and Applications. LNCS, 5562, pp. 2–17. Springer, Berlin (2009)
20.
Grossman, T., Fitzmaurice, G., Attar, R.: A survey of software learnability: metrics, methodologies and guidelines. In: Proceedings of SIGCHI Conference on Human Factors in Computing Systems (CHI’09), pp. 649–658. ACM, New York (2009)
21.
Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F., dos Santos, O.M.: Engineering model transformations with transML. Softw. Syst. Model. 12(3), 555–577 (2013)CrossRef
22.
23.
Jones, B., Kenward, M.G.: Design and Analysis of Cross-Over Trials, third edn. Chapman and Hall/CRC, London (2014)
24.
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1–2), 31–39 (2008)MathSciNetCrossRefMATH
25.
Kalnins, A., Barzdins, J., Celms, E.: Model transformation language MOLA. In: Model Driven Architecture. LNCS, vol. 3599, pp. 62–76. Springer, Berlin (2005)
26.
Kent, S.: Constraint diagrams: visualizing invariants in object-oriented models. In: Proceedings of 12th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’97), pp. 327–341. ACM (1997)
27.
Kessentini, M., Sahraoui, H., Boukadoum, M., Omar, O.B.: Search-based model transformation by example. Softw. Syst. Model. 11(2), 209–226 (2012)CrossRef
28.
Kolovos, D.S., Paige, R.F., Polack, F.A.: The Epsilon object language (EOL). In: Model Driven Architecture—Foundations and Applications. LNCS, vol. 4066, pp. 128–142. Springer, Berlin (2006)
29.
Kühne, T., Mezei, G., Syriani, E., Vangheluwe, H., Wimmer, M.: Explicit transformation modeling. In: Models in Software Engineering, LNCS, vol. 6002, pp. 240–255. Springer, Berlin (2010)
30.
Langer, P., Wimmer, M., Kappel, G.: Model-to-model transformations by demonstration. In: Theory and Practice of Model Transformations. LNCS, vol. 6142, pp. 153–167. Springer, Berlin (2010)
31.
Lewis, C.: Using the “Thinking Aloud” Method in Cognitive Interface Design. Tech. Rep. RC-9265, IBM (1982)
32.
Mens, T., Van Gorp, P.: A taxonomy of model transformation. Electron. Notes Theor. Comput. Sci. 152, 125–142 (2006)CrossRef
33.
Montgomery, D.C.: Design and Analysis of Experiments, 8th edn. Wiley, London (2012)
34.
35.
Object Management Group: Business Process Model and Notation (BPMN) 2.0.2. OMG Document formal/2013-12-09 (2013)
36.
Object Management Group: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification 1.2. OMG Document formal/15-02-01 (2015)
37.
Object Management Group: Object Constraint Language 2.4. OMG Document formal/2014-02-03 (2014)
38.
Object Management Group: Unified Modeling Language (UML) 2.5. OMG Document formal/2015-03-01 (2015)
39.
Saada, H., Dolques, X., Huchard, M., Nebut, C., Sahraoui, H.: Generation of operational transformation rules from examples of model transformations. In: Model Driven Engineering Languages and Systems. LNCS, vol. 7590, pp. 546–561. Springer, Berlin (2012)
40.
Sarbanes-Oxley Act: 107th Congress Public Law 204. US Government Printing Office (2002)
41.
Schmidt, M.: Transformations of UML 2 models using concrete syntax patterns. In: Rapid Integration of Software Engineering Techniques. LNCS, vol. 4401, pp. 130–143. Springer, Berlin (2007)
42.
Selic, B.: The pragmatics of model-driven development. IEEE Softw. 20(5), 19–25 (2003)CrossRef
43.
Sendall, S., Perrouin, G., Guelfi, N., Biberstein, O.: Supporting Model-to-Model Transformations: The VMT Approach. Tech. Rep. LGL-REPORT-2003-005, École Polytechnique Fédérale de Lausanne (2003)
44.
Sendall, S., Kozaczynski, W.: Model transformation: the heart and soul of model-driven software development. IEEE Softw. 20(5), 42–45 (2003)CrossRef
45.
Silva, G.C., Rose, L.M., Calinescu, R.: A qualitative study of model transformation development approaches: supporting novice developers 18–27. In: Proceedings of International Workshop on Model-Driven Development Processes and Practices (MD2P2’14), CEUR Workshop Proceedings, vol. 1249, pp. 18–27 (2014)
46.
Stein, D., Hanenberg, S., Unland, R.: Join point designation diagrams: a graphical representation of join point selections. Int. J. Softw. Eng. Knowl. Eng. 16(3), 317–346 (2006)CrossRef
47.
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, second edn. Addison-Wesley, Reading (2008)
48.
Störrle, H., Acretoaie, V.: Querying business process models with VMQL. In: Proceedings of ACM SIGCHI Annual International Workshop on Behaviour Modelling—Foundations and Applications (BMFA’13), pp. 41–410. ACM, New York (2013)
49.
Störrle, H.: MOCQL: a declarative language for ad-hoc model querying. In: Modelling Foundations and Applications. LNCS, vol. 7949, pp. 3–19. Springer, Berlin (2013)
50.
Störrle, H.: On the impact of layout quality to understanding UML diagrams: size matters. In: Model-Driven Engineering Languages and Systems, LNCS, vol. 8767, pp. 518–534. Springer, Berlin (2014)
51.
Störrle, H.: VMQL: A Visual Language for Ad-Hoc Model Querying. J. Visual Lang. Comput. 22(1) (2011)
52.
Stricker, V., Hanenberg, S., Stein, D.: Designing design constraints in the UML using join point designation diagrams. In: Objects, Components, Models and Patterns, LNBIP, vol. 33, pp. 57–76. Springer, Berlin (2009)
53.
Sun, Y., White, J., Gray, J.: Model Transformation by Demonstration. Model Driven Engineering Languages and Systems. LNCS, vol. 5795, pp. 712–726. Springer, Berlin (2009)
54.
Syriani, E., Vangheluwe, H., Mannadiar, R., Hansen, C., Van Mierlo, S., Huseyin, E.: AToMPM: a web-based modeling environment. In: Joint Proceedings of MODELS’13 Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition, CEUR Workshop Proceedings, vol. 1115, pp. 21–25 (2013)
55.
Syriani, E., Vangheluwe, H., LaShomb, B.: T-core: a framework for custom-built model transformation engines. Softw. Syst. Model. 13(3), 1–29 (2013)
56.
Syriani, E., Vangheluwe, H.: A modular timed graph transformation language for simulation-based design. Softw. Syst. Model. 12(2), 387–414 (2011)CrossRef
57.
Taentzer, G.: AGG: a graph transformation environment for modeling and validation of software. In: Applications of Graph Transformations with Industrial Relevance. LNCS, vol. 3062, pp. 446–453. Springer, Berlin (2004)
58.
Teets, J., Tegarden, D., Russell, R.: Using cognitive fit theory to evaluate the effectiveness of information visualizations: an example using quality assurance data. IEEE Trans. Vis. Comput. Gr. 16(5), 841–853 (2010)CrossRef
59.
Van Gorp, P., Keller, A., Janssens, D.: Transformation language integration based on profiles and higher order transformations. In: Software Language Engineering. LNCS, vol. 5452, pp. 208–226. Springer, Berlin (2009)
60.
Varró, D.: Model transformation by example. In: Model Driven Engineering Languages and Systems. LNCS, vol. 4199, pp. 410–424. Springer, Berlin (2006)
61.
Vessey, I.: The theory of cognitive fit: one aspect of a general theory of problem-solving? In: Human-Computer Interaction and Management Information Systems, pp. 141–183. Routledge (2006)
62.
Vessey, I.: Cognitive fit: a theory-based analysis of the graphs versus tables literature. Decis. Sci. 22(2), 219–240 (1991)CrossRef
63.
64.
Whittle, J., Jayaraman, P., Elkhodary, A., Moreira, A.: Arajo, J.: MATA: a unified approach for composing UML aspect models based on graph transformation. In: Transactions on Aspect-Oriented Software Development VI. LNCS, vol. 5560, pp. 191–237. Springer, Berlin (2009)
65.
Wimmer, M., Strommer, M., Kargl, H., Kramler, G.: Towards model transformation generation by-example. In: Proceedings of 40th Annual Hawaii International Conference on System Sciences, HICSS’07, p. 285b. IEEE Computer Society, Washington, DC (2007)
66.
Wohlin, C., Runeson, P., Höst, M., C. Ohlsson, M., Regnell, B., Wesslén, A.: Experimentation in Software Engineering. Springer, Berlin (2012)
Metadaten
Titel
VMTL: a language for end-user model transformation
verfasst von
Vlad Acreţoaie
Harald Störrle
Daniel Strüber
Publikationsdatum
09.07.2016
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling / Ausgabe 4/2018
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-016-0546-9

Weitere Artikel der Ausgabe 4/2018

Software and Systems Modeling 4/2018 Zur Ausgabe

Regular Paper

Formalised EMFTVM bytecode language for sound verification of model transformations

Regular Paper

On the automated translational execution of the action language for foundational UML

Regular Paper

Reusing metamodels and notation with Diagram Definition

Regular Paper

Efficient parallel reasoning on fuzzy goal models for run time requirements verification

Regular Paper

Holistic security requirements analysis for socio-technical systems

Regular Paper

Encoding process discovery problems in SMT