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
International Journal on Software Tools for Technology Transfer
Erschienen in: International Journal on Software Tools for Technology Transfer 3/2018

12.05.2017 | Regular Paper

CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools

verfasst von: Stefan Naujokat, Michael Lybecait, Dawid Kopetzki, Bernhard Steffen

Erschienen in: International Journal on Software Tools for Technology Transfer | Ausgabe 3/2018

Einloggen

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

search-config
loading …

Abstract

Even with the help of powerful metamodeling frameworks, the development of domain-specific graphical modeling tools is usually a complex, repetitive, and tedious task, which introduces substantial upfront costs often prohibiting such approaches in practice. In order to reduce these costs, the presented Cinco meta tooling suite is designed to provide a holistic approach that greatly simplifies the development of such domain-specific tools. Our solution is based on the idea to apply the concept of domain specialization also to the (meta-)domain of “domain-specific modeling tools”. Important here is our focus on complex graph-based models, comprising various kinds of nodes and edges together with their individual representation, correlations, and interpretation. This focus allows for high-level specifications of the model structures and functionalities as the prerequisite for push-button tool generation.
Vorheriger Artikel To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking

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 "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

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
Fußnoten
1
In this context, various terms are commonly used for such DSLs. Often, a “G” for “Graphical” or a “V” for Visual is added, resulting in GDSLs, VDSLs, DSGLs, or DSVLs. All those terms are essentially exchangeable. In this article, we further emphasize the modeling aspect by naming them Domain-Specific Graphical Modeling Languages (or Tools when referring to the frameworks with IDE-like features).
 
2
Cinco is developed open source under the Eclipse Public License 1.0. The framework’s binary installer as well as source files, example projects, documentation, and issue tracker is accessible via the Cinco Web site: http://​cinco.​scce.​info.
 
3
While the size of the runtime libraries remains stable for all modeling tools, the generated code will of course grow with the complexity of the individual tool.
 
4
Java sources were analyzed using David A. Wheeler’s ’SLOCCount’ [98]. For Cinco specifications, we ignored lines containing only whitespaces and curly brackets.
 
5
The specification files required to generate the PetriNetModeler are available in the examples section of the Cinco Web site: http://​cinco.​scce.​info.
 
6
This is a slightly simplified depiction. In the implementation, a diagram actually contains elements from two different Graphiti metamodels: graphics algorithms and pictogram elements.
 
7
For a more detailed introduction to the available model types please refer to [26, 27] and Dime’s web site: http://​dime.​scce.​info.
 
9
As we have a powerful and simplicity-oriented framework for graphical editors at hand, we are developing this gMSL language with Cinco in a bootstrapping fashion.
 
10
GME does not directly generate code that needs to be compiled, but a meta specification that can be reloaded within the running tool. This is a short round-trip, but not really live editing, as one has to switch between project and meta project.
 
11
We have not included Horus in this comparison, because it is more similar to the scientific workflow approaches with jABC and Bio-jETI [61‐63] than to Cinco and the other here presented metamodeling tools for arbitrary model types.
 
Literatur
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
Almorsy, M., Grundy, J., Rüegg, U.: HorusCML: context-aware domain-specific visual languages designer. In: 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 133–136. IEEE (2014). doi:10.​1109/​VLHCC.​2014.​6883035
20.
Almorsy, M., Grundy, J., Sadus, R., van Straten, W., Barnes, D.G., Kaluza, O.: A suite of domain-specific visual languages for scientific software application modelling. In: 2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE, pp. 91–94 (2013). doi:10.​1109/​VLHCC.​2013.​6645249
21.
22.
Backus, J.W.: The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference. In: IFIP Congress, pp. 125–131 (1959)
23.
24.
Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: Uppaal—a tool suite for automatic verification of real-time systems. In: Proceedings of Workshop on Verification and Control of Hybrid Systems III, no. 1066 in LNCS. Springer, pp. 232–243 (1995)
25.
Berg, A., Donfack, C.P., Gaedecke, J., Ogkler, E., Plate, S., Schamber, K., Schmidt, D., Sönmez, Y., Treinat, F., Weckwerth, J., Wolf, P., Zweihoff, P.: PG 582 - Industrial Programming by Example. Tech. rep., TU Dortmund (2015). http://​hdl.​handle.​net/​2003/​34106
26.
Boßelmann, S., Frohme, M., Kopetzki, D., Lybecait, M., Naujokat, S., Neubauer, J., Wirkner, D., Zweihoff, P., Steffen, B.: DIME: a programming-less modeling environment for web applications. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Part II (ISoLA 2016), LNCS, vol. 9953. Springer, pp. 809–832 (2016). doi:10.​1007/​978-3-319-47169-3-60
27.
Boßelmann, S., Neubauer, J., Naujokat, S., Steffen, B.: Model-driven design of secure high assurance systems: an introduction to the open platform from the user perspective. In: Margaria, T., Solo, A.M.G. (eds.) The 2016 International Conference on Security and Management (SAM 2016). Special Track “End-to-end Security and Cybersecurity: from the Hardware to Application”. CREA Press, pp. 145–151 (2016)
28.
Boyer, B., Corre, K., Legay, A., Sedwards, S.: PLASMA-lab: a flexible, distributable statistical model checking library. In: Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QUEST 2013), LNCS, vol. 8054. Springer (2013). doi:10.​1007/​978-3-642-40196-1_​12
29.
30.
Broy, M., Havelund, K., Kumar, R.: Towards a unified view of modeling and programming. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) (2016)
31.
32.
33.
Chadli, M., Kim, J.H., Legay, A., Traonouez, L.M., Naujokat, S., Steffen, B., Larsen, K.G.: A model-based framework for the specification and analysis of hierarchical scheduling systems. In: Proceedings of Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016), LNCS, vol. 9933. Springer (2016). doi:10.​1007/​978-3-319-45943-1_​9
34.
Doedt, M., Steffen, B.: An evaluation of service integration approaches of business process management systems. In: Proceedings of the 35th Annual IEEE Software Engineering Workshop (SEW 2012) (2012). doi:10.​1109/​SEW.​2012.​23
35.
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 1999 International Conference on Software Engineering. IEEE, pp. 411–420 (1999). doi:10.​1145/​302405.​302672
36.
37.
38.
39.
40.
41.
Gronback, R.C.: Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit. Addison-Wesley, Boston (2008)
42.
Grundy, J., Hosking, J., Li, K.N., Ali, N.M., Huh, J., Li, R.L.: Generating domain-specific visual language tools from abstract visual specifications. IEEE Trans. Softw. Eng. 39(4), 487–515 (2013). doi:10.​1109/​TSE.​2012.​33 CrossRef
43.
Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Boston (2003)
44.
Howard, R.A.: Dynamic Programming and Markov Processes. MIT Press, Cambridge (1960)MATH
45.
Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of MDE in industry. In: Proceedings of the 33rd International Conference on Software Engineering (ICSE’11) (2011). doi:10.​1145/​1985793.​1985858
46.
47.
John, K.H., Tiegelkamp, M.: IEC 61131-3: Programming Industrial Automation Systems: Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids, 2nd edn. Springer (2010)
48.
49.
Jörges, S.: Construction and Evolution of Code Generators - A Model-Driven and Service-Oriented Approach. Lecture Notes in Computer Science, vol. 7747. Springer, Berlin Heidelberg, Germany (2013)
50.
51.
Kastens, U., Pfahler, P., Jung, M.T.: The Eli System. In: Proceedings of the 7th International Conference on Compiler Construction (CC’98), LNCS, vol. 1383. Springer, pp. 294–297 (1998). doi:10.​1007/​BFb0026439
52.
Katoen, J.P.: Labelled transition systems. In: Broy, M., Jonsson, B., Katoen, J.P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems, Lecture Notes in Computer Science, vol. 3472. Springer, Berlin/Heidelberg, pp. 615–616 (2005). doi:10.​1007/​11498490_​29
53.
Kelly, S., Lyytinen, K., Rossi, M.: MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment. In: CAiSE, Lecture Notes in Computer Science, vol. 1080. Springer, Berlin/Heidelberg, pp. 1–21 (1996). doi:10.​1007/​3-540-61292-0_​1
54.
Kelly, S., Tolvanen, J.P.: Domain-Specific Modeling: Enabling Full Code Generation. Wiley-IEEE Computer Society Press, Hoboken (2008)CrossRef
55.
56.
Kolovos, D.S., Rose, L.M., bin Abid, S., Paige, R.F., Polack, F.A.C., Botterweck, G.: Taming EMF and GMF using model transformation. In: Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010), pp. 211–225 (2010). doi:10.​1007/​978-3-642-16145-2_​15
57.
Kopetzki, D.: Model-Based Generation of Graphical Editors on the Basis of Abstract Meta-model Specifications. Master thesis, TU Dortmund (2014)
58.
59.
Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Proceedings of 23rd International Conference on Computer Aided Verification (CAV 2011), LNCS, vol. 6806. Springer, pp. 585–591 (2011). doi:10.​1007/​978-3-642-22110-1_​47
60.
61.
62.
Lamprecht, A.L., Margaria, T.: Scientific workflows: eternal components, changing interfaces, varying compositions. In: Margaria, T., Steffen, B., Merten, M. (eds.) ISoLA 2012, Part I, LNCS, vol. 7609, pp. 47–63. Springer, Berlin (2012)
63.
64.
Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-based loose programming. In: Proceedings of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC 2010), Porto, Portugal. IEEE, pp. 262–267 (2010). doi:10.​1109/​QUATIC.​2010.​53
65.
66.
Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., Thomasson, C., Nordstrom, G., Sprinkle, J., Volgyesi, P.: The generic modeling environment. In: Workshop on Intelligent Signal Processing (WISP 2001) (2001)
67.
Lybecait, M.: Entwicklung und Implementierung eines Frameworks zur grafischen Modellierung von Modelltransformationen auf Basis von EMF-Metamodellen und Genesys. diploma thesis, TU Dortmund (2012)
68.
69.
Margaria, T., Steffen, B.: Business process modelling in the jABC: the one-thing-approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global, Pennsylvania (2009)
70.
71.
Margaria, T., Steffen, B., Reitenspies̈, M.: Service-oriented design: the jABC approach. In: Cubera, F., Krämer, B.J., Papazoglou, M.P. (eds.) Service Oriented Computing (SOC), no. 05462 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany (2006). http://​drops.​dagstuhl.​de/​opus/​volltexte/​2006/​521
72.
Margaria, T., Steffen, B., Reitenspieß, M.: Service-Oriented Design: The Roots. In: Proceedings of the 3rd International Conference on Service-Oriented Computing (ICSOC 2005), Amsterdam, The Netherlands, LNCS, vol. 3826, pp. 450–464. Springer (2005). doi:10.​1007/​11596141_​34
73.
McAffer, J., Lemieux, J.M., Aniszczyk, C.: Eclipse Rich Client Platform, 2nd edn. Addison-Wesley Professional, Boston (2010)
74.
Mohagheghi, P., Haugen, Ø.: Evaluating domain-specific modelling solutions. In: Advances in Conceptual Modeling—Applications and Challenges. Proceedings of ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, LNCS, vol. 6413. Springer, Berlin, Heidelberg (2010). doi:10.​1007/​978-3-642-16385-2_​27
75.
Mussbacher, G., Amyot, D., Breu, R., Bruel, J.M., Cheng, B.H.C., Collet, P., Combemale, B., France, R.B., Heldal, R., Hill, J., Kienzle, J., Schöttle, M., Steimann, F., Stikkolorum, D., Whittle, J.: The relevance of model-driven engineering thirty years from now. In: Proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS’14), no. 8767 in LNCS. Springer International Publishing, pp. 183–200 (2014). doi:10.​1007/​978-3-319-11653-2_​12
76.
Naujokat, S., Lamprecht, A.L., Steffen, B.: Loose programming with PROPHETS. In: de Lara, J., Zisman, A. (eds.) Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), Tallinn, Estonia, LNCS, vol. 7212, pp. 94–98. Springer, Heidelberg (2012). doi:10.​1007/​978-3-642-28872-2_​7
77.
Naujokat, S., Neubauer, J., Lamprecht, A.L., Steffen, B., Jörges, S., Margaria, T.: Simplicity-first model-based plug-in development. Softw. Pract. Exp. 44(3), 277–297 (2013). doi:10.​1002/​spe.​2243. First published online
78.
Naujokat, S., Neubauer, J., Margaria, T., Steffen, B.: Meta-level reuse for mastering domain specialization. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Part II (ISoLA 2016), LNCS, vol. 9953. Springer, pp. 218–237 (2016). doi:10.​1007/​978-3-319-47169-3_​16
79.
Naujokat, S., Traonouez, L.M., Isberner, M., Steffen, B., Legay, A.: Domain-specific code generator modeling: a case study for multi-faceted concurrent systems. In: Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Part I (ISoLA 2014), LNCS, vol. 8802. Springer, pp. 463–480 (2014). doi:10.​1007/​978-3-662-45234-9_​33
80.
Neubauer, J., Frohme, M., Steffen, B., Margaria, T.: Prototype-driven development of web applications with DyWA. In: Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Part I (ISoLA 2014), no. 8802 in LNCS. Springer, pp. 56–72 (2014). doi:10.​1007/​978-3-662-45234-9_​5
81.
82.
Neubauer, J., Steffen, B., Margaria, T.: Higher-order process modeling: product-lining, variability modeling and beyond. Electron. Proc. Theor. Comput. Sci. 129, 259–283 (2013). doi:10.​4204/​EPTCS.​129.​16 CrossRef
83.
84.
85.
86.
87.
88.
Reisig, W.: Petri Nets: An Introduction, Monographs in Theoretical Computer Science. An EATCS Series, vol. 4. Springer (1985)
89.
Rumbaugh, J., Jacobsen, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley Professional, The Addison-Wesley Object Technology Series (2004)
90.
Schmidt, C., Cramer, B., Kastens, U.: Generating visual structure editors from high-level specifications. Tech. rep., University of Paderborn, Germany (2008)
91.
Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical service definition. Annu. Rev. Commun. ACM 51, 847–856 (1997)
92.
93.
Steffen, B., Margaria, T., Nagel, R., Jörges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) Hardware and Software, Verification and Testing, Lecture Notes in Computer Science, vol. 4383. Springer, Berlin/Heidelberg, pp. 92–108 (2007). doi:10.​1007/​978-3-540-70889-6_​7
94.
Steffen, B., Naujokat, S.: Archimedean Points: The Essence for Mastering Change. LNCS Transactions on Foundations for Mastering Change (FoMaC) 1(1), 22–46 (2016). doi:10.​1007/​978-3-319-46508-1_​3
95.
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley, Boston (2008)
96.
Weber, M., Kindler, E.: The petri net markup language. In: Petri Net Technology for Communication-Based Systems, LNCS, vol. 2472. Springer, Berlin, Heidelberg, pp. 124–144 (2003). doi:10.​1007/​978-3-540-40022-6_​7
97.
Weckwerth, J.: Cinco Evaluation: CMMN-Modellierung und -Ausführung in der Praxis. Master’s thesis, TU Dortmund (2016)
98.
99.
Wortmann, N.: Modellbasierte Modellierung von industriellen Zentrifugen mit Codegenerierung für Steuerungssysteme. Bachelor thesis, Münster University of Applied Sciences (2015)
100.
Wortmann, N., Michel, M., Naujokat, S.: A Fully model-based approach to software development for industrial centrifuges. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Part II (ISoLA 2016), LNCS, vol. 9953. Springer, pp. 774–783 (2016). doi:10.​1007/​978-3-319-47169-3_​58
101.
Zhu, N., Grundy, J., Hosking, J.: Pounamu: a meta-tool for multi-view visual language environment construction. In: 2004 IEEE Symposium on Visual Languages and Human Centric Computing (2004). doi:10.​1109/​VLHCC.​2004.​41
102.
Zweihoff, P.: Cinco Products for the Web. Master thesis, TU Dortmund (2015)
Metadaten
Titel
CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools
verfasst von
Stefan Naujokat
Michael Lybecait
Dawid Kopetzki
Bernhard Steffen
Publikationsdatum
12.05.2017
Verlag
Springer Berlin Heidelberg
Erschienen in
International Journal on Software Tools for Technology Transfer / Ausgabe 3/2018
Print ISSN: 1433-2779
Elektronische ISSN: 1433-2787
DOI
https://doi.org/10.1007/s10009-017-0453-6

Weitere Artikel der Ausgabe 3/2018

International Journal on Software Tools for Technology Transfer 3/2018 Zur Ausgabe

Introduction

Formal methods for transport systems

Regular Paper

To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking

Formal Methods for Transport Systems

Spatio-temporal model checking of vehicular movement in public transport systems

Formal Methods for Transport Systems

Modelling and simulating a Thai railway signalling system using Coloured Petri Nets

Formal Methods for Transport Systems

Towards formal methods diversity in railways: an experience report with seven frameworks

Premium Partner

    Bildnachweise