A Framework for Concurrent Design of Metamodels and Diagrams - Towards an Agile Method for the Synthesis of Domain Specific Graphical Modeling Languages

François Pfister, Marianne Huchard, Clémentine Nebut

2014

Abstract

DSML (Domain Specific Modeling Languages) are an alternative to general purpose modeling languages (e.g. UML or SysML) for describing models with concepts and relations specific to a domain. DSML design is often based on Ecore metamodels, which follow the class-relation paradigm and also require defining a concrete syntax which can be either graphical or textual. In this paper, we focus on graphical concrete syntax, and we introduce an approach and a tool (Diagraph) to assist the design of a graphical DSML. The main principles are: non-intrusive annotations of the metamodel to identify nodes, edges, nesting structures and other graphical information; immediate validation of metamodels by immediate generation of an EMF-GMF instance editor supporting multi-diagramming. We report a comparison experience between Diagraph and Obeo Designer (a commercial proprietary tool), which was conducted as part of a Model Driven Engineering Course.

References

  1. Baetens, N. (2011). Comparing graphical DSL editors: AToM3 , GMF, MetaEdit+. Technical report, University of Antwerp, Antwerp, Belgium.
  2. Brambilla, M., Cabot, J., and Wimmer, M. (2012). ModelDriven Software Engineering in Practice. Morgan Claypool.
  3. Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., and Grose, T. J. (2003). Eclipse Modeling Framework (The Eclipse Series).
  4. Castro Alves, A. (2011). OSGi in Depth. Manning.
  5. Combemale, B., Garoche, P.-L., Crégut, X., and Thirioux, X. (2007). Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL case study. In 9th International Conference on Enterprise Information Systems ICEIS, pages 80-89. INSTICC press.
  6. Eclipse (2001). About the Eclipse Foundation.
  7. Falleri, J.-R., Huchard, M., Lafourcade, M., and Nebut, C. (2008). Meta-model Matching for Automatic Model Transformation Generation. In MODELS'08: 11th International Conference on Model Driven Engineering Languages and Systems, volume 5301, pages 326- 340.
  8. Favre, J.-M. (2006). Megamodelling and Etymology. In Transformation Techniques in Software Engineering. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  9. Garshol, L. M. (2003). BNF and EBNF: What are they and how do they work?
  10. Gronback, R. (2009). Eclipse Modeling Project: A DomainSpecific Language (DSL) Toolkit. Addison-Wesley Professional.
  11. Harel, D. (1987). Statecharts: A visual formalism for complex systems. Sci. Comput. Program., 8(3):231-- 274.
  12. IEEE (2000). IEEE SA - 1471-2000 - IEEE Recommended Practice for Architectural Description for SoftwareIntensive Systems.
  13. Juliot, E. and Benois, J. (2009). Viewpoints creation using Obeo Designer or how to build Eclipse DSM without being an expert developer?
  14. Kelly, S. and Tolvanen, J.-P. (2008). Domain-Specific Modeling. Wiley-IEEE Computer Society Press.
  15. Kolovos, D., Rose, L., Abid, S., Paige, R., Polack, F., and Botterweck, G. (2010). Taming EMF and GMF Using Model Transformation. In Petriu, D., Rouquette, N., and Haugen, O., editors, Model Driven Engineering Languages and Systems, chapter 15, pages 211-- 225. Springer, Berlin / Heidelberg, lecture no edition.
  16. Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., Thomason, C., Nordstrom, G., Sprinkle, J., and Volgyesi, P. (2001). The generic modeling environment. In Workshop on Intelligent Signal Processing.
  17. Moody, D. (2009). The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering. IEEE Transactions on Software Engineering, 35(6):756-779.
  18. Muller, G. (2009). How to create an architecture overview.
  19. Omg (2006). Meta Object Facility (MOF) Core Specification. Technical report.
  20. Pfister, F., Chapurlat, V., Huchard, M., Nebut, C., and Wippler, J.-L. (2012). A proposed meta-model for formalizing systems engineering knowledge, based on functional architectural patterns. Systems Engineering.
  21. Renaux, E., Le Pallec, X., and Moura, C. (2005). ModX - a graphical tool for MOF metamodels. In European Conference on Model Driven Architecture - Foundations and Applications.
  22. Ross, D. T. (1977). Structured Analysis (SA): A Language for Communicating Ideas. IEEE Transactions on Software Engineering, 3(1):16-34.
Download


Paper Citation


in Harvard Style

Pfister F., Huchard M. and Nebut C. (2014). A Framework for Concurrent Design of Metamodels and Diagrams - Towards an Agile Method for the Synthesis of Domain Specific Graphical Modeling Languages . In Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-028-4, pages 298-306. DOI: 10.5220/0004895202980306


in Bibtex Style

@conference{iceis14,
author={François Pfister and Marianne Huchard and Clémentine Nebut},
title={A Framework for Concurrent Design of Metamodels and Diagrams - Towards an Agile Method for the Synthesis of Domain Specific Graphical Modeling Languages},
booktitle={Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2014},
pages={298-306},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004895202980306},
isbn={978-989-758-028-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - A Framework for Concurrent Design of Metamodels and Diagrams - Towards an Agile Method for the Synthesis of Domain Specific Graphical Modeling Languages
SN - 978-989-758-028-4
AU - Pfister F.
AU - Huchard M.
AU - Nebut C.
PY - 2014
SP - 298
EP - 306
DO - 10.5220/0004895202980306