![](bg8.png)
1593: Design For Future – Managed Software Evolu-
tion and by the MWK (Ministry of Science, Research
and the Arts Baden-Württemberg) in the funding line
Research Seed Capital (RiSC).
REFERENCES
Atkinson, C. and Gerbig, R. (2012). Melanie: multi-level
modeling and ontology engineering environment. In
Proceedings of the 2nd International Master Class
on Model-Driven Engineering: Modeling Wizards,
page 7. ACM.
Atkinson, C., Gerbig, R., and Kühne, T. (2014). Com-
paring Multi-Level Modeling Approaches. MULTI
2014–Multi-Level Modelling Workshop Proceedings,
page 53.
Atkinson, C. and Kühne, T. (2000). Meta-level indepen-
dent modelling. International Workshop on Model
Engineering at 14th European Conference on Object-
Oriented Programming, pages 12–16.
Back, R.-J. and Von Wright, J. (1998). Refinement calculus:
a systematic introduction. springer Heidelberg.
Costal, D., Gómez, C., and Guizzardi, G. (2011). Formal
Semantics and Ontological Analysis for Understand-
ing Subsetting, Specialization and Redefinition of As-
sociations in UML, pages 189–203. Springer Berlin
Heidelberg, Berlin, Heidelberg.
De Lara, J. and Guerra, E. (2010). Deep meta-modelling
with metadepth. In Objects, Models, Components,
Patterns, pages 1–20. Springer.
Hamann, L. and Gogolla, M. (2013). Endogenous Meta-
modeling Semantics for Structural UML 2 Concepts,
pages 488–504. Springer Berlin Heidelberg, Berlin,
Heidelberg.
Hinkel, G. (2016a). Deep Modeling through Structural De-
composition. Technical report, Karlsruhe Institute of
Technology, Karlsruhe.
Hinkel, G. (2016b). NMF: A Modeling Framework for the
.NET Platform. Technical report, Karlsruhe Institute
of Technology, Karlsruhe.
Hinkel, G. and Burger, E. (2017). Change Propagation
and Bidirectionality in Internal Transformation DSLs.
Software & Systems Modeling.
Maraee, A. and Balaban, M. (2011). On the Interac-
tion of Inter-relationship Constraints. In Proceedings
of the 8th International Workshop on Model-Driven
Engineering, Verification and Validation, MoDeVVa,
pages 3:1–3:8, New York, NY, USA. ACM.
Maraee, A. and Balaban, M. (2012). Inter-association Con-
straints in UML2: Comparative Analysis, Usage Rec-
ommendations, and Modeling Guidelines, pages 302–
318. Springer Berlin Heidelberg, Berlin, Heidelberg.
Meyerovich, L. A. and Rabkin, A. S. (2013). Empirical
analysis of programming language adoption. In Pro-
ceedings of the 2013 ACM SIGPLAN international
conference on Object oriented programming systems
languages & applications, pages 1–18. ACM.
Mohagheghi, P., Gilani, W., Stefanescu, A., and Fernandez,
M. A. (2013). An empirical study of the state of the
practice and acceptance of model-driven engineering
in four industrial cases. Empirical Software Engineer-
ing, 18(1):89–116.
Nieto, P., Costal, D., and Gómez, C. (2011). Enhancing the
semantics of UML association redefinition. Data &
Knowledge Engineering, 70(2):182 – 207.
Object Management Group (OMG) (2015). Unified Model-
ing Language (UML) – Version 2.5 (formal/2015-03-
01).
Object Management Group (OMG) (2016). MOF 2.5.1
Core Specification (formal/2016-11-01).
Pohl, A. (2000). A review of wireless SAW sensors. IEEE
transactions on ultrasonics, ferroelectrics, and fre-
quency control, 47(2):317–332.
Pons, C. (2006). Heuristics on the definition of UML refine-
ment patterns. In SOFSEM 2006: Theory and Prac-
tice of Computer Science, pages 461–470. Springer.
Schöttle, M. and Kienzle, J. (2015). Concern-Oriented In-
terfaces for Model-Based Reuse of APIs. In Proceed-
ings of the 18th International Conference on Model-
Driven Engineering Languages and Systems - MOD-
ELS 2015, pages 286–291. ACM.
Staron, M. (2006). Adopting model driven software devel-
opment in industry–a case study at two companies. In
Model Driven Engineering Languages and Systems,
pages 57–72. Springer.
Tarjan, R. (1972). Depth-first search and linear graph algo-
rithms. SIAM journal on computing, 1(2):146–160.
Varró, D. and Pataricza, A. (2003). VPM: A visual, precise
and multilevel metamodeling framework for describ-
ing mathematical domains and UML (The Mathemat-
ics of Metamodeling is Metamodeling Mathematics).
Software and Systems Modeling, 2(3):187–210.
MODELSWARD 2018 - 6th International Conference on Model-Driven Engineering and Software Development
310