![](bgc.png)
rence on Automated Software Engineering, ASE ’09.
IEEE Computer Society.
Balasubramanian, D., Narayanan, A., van Buskirk, C., and
Karsai, G. (2007). The graph rewriting and transfor-
mation language: Great. Electronic Communications
of the EASST.
Chen, K., Sztipanovits, J., Abdelwalhed, S., and Jackson, E.
(2005). Semantic anchoring with model transformati-
ons. In Model Driven Architecture–Foundations and
Applications. Springer.
Chen, K., Sztipanovits, J., and Neema, S. (2008). Compo-
sitional specification of behavioral semantics. In De-
sign, Automation, and Test in Europe, pages 253–265.
Springer Netherlands.
Clark, T., Evans, A., Kent, S., and Sammut, P. (2001). The
MMF Approach to Engineering Object-Oriented De-
sign Languages. In Proceedings of the First Works-
hop on Language Descriptions, Tools and Applicati-
ons, LDTA 2001. Middlesex University.
Di Ruscio, D., Jouault, F., Kurtev, I., B
´
ezivin, J., and Pie-
rantonio, A. (2006). Extending amma for supporting
dynamic semantics specifications of dsls. Technical
report, LINA Research Report.
Ducasse, S., Girba, T., Kuhn, A., and Renggli, L.
(2009). Meta-environment and executable meta-lang-
uage using smalltalk: an experience report. Software
& Systems Modeling, 8(1):5–19.
Fr
¨
uhwirth, T., Herold, A., K
¨
uchenhoff, V., Le Provost, T.,
Lim, P., Monfroy, E., and Wallace, M. (1992). Con-
straint logic programming. Springer.
Gargantini, A., Riccobene, E., and Scandurra, P. (2009). A
semantic framework for metamodel-based languages.
Automated Software Engineering, 16(3-4):415–454.
Gurevich, Y. (1995). Evolving algebras 1993: Lipari guide.
Specification and validation methods, pages 9–36.
Jackson, E., Porter, J., and Sztipanovits, J. (2009). Seman-
tics of domain specific modeling languages. Model-
Based Design of Heterogeneous Embedded Systems.
Jackson, E. and Sztipanovits, J. (2009). Formalizing the
structural semantics of domain-specific modeling lan-
guages. Software and Systems Modeling, 8(4).
Jackson, E. K. (2014). A module system for domain-
specific languages. Theory and Practice of Logic Pro-
gramming, 14(4-5).
Jackson, E. K., Bjørner, N., and Schulte, W. (2011). Ca-
nonical regular types. ICLP (Technical Communicati-
ons).
Jackson, E. K., Kang, E., Dahlweid, M., Seifert, D., and
Santen, T. (2010). Components, platforms and possi-
bilities: towards generic automation for mda. In Pro-
ceedings of the tenth ACM international conference
on Embedded software. ACM.
Jaffar, J. and Lassez, J.-L. (1987). Constraint logic pro-
gramming. In Proceedings of the 14th ACM SIGACT-
SIGPLAN Symposium on Principles of Programming
Languages, POPL ’87, pages 111–119. ACM.
Karsai, G., Agrawal, A., Shi, F., and Sprinkle, J. (2003).
On the use of graph transformation in the formal spe-
cification of model interpreters. Journal of Universal
Computer Science, 9(11).
L
´
edeczi,
´
A., Bakay, A., Maroti, M., Volgyesi, P., Nord-
strom, G., Sprinkle, J., and Karsai, G. (2001). Compo-
sing domain-specific design environments. Computer,
34(11):44–51.
Lindecker, D., Simko, G., Levendovszky, T., Madari, I., and
Sztipanovits, J. (2015). Validating transformations for
semantic anchoring. Journal of Object Technology.
Mayerhofer, T., Langer, P., Wimmer, M., and Kappel, G.
(2013). xMOF: Executable DSMLs Based on fUML.
Springer International Publishing.
Microsoft (2014). Visualization and Modeling SDK
— Domain-Specific Languages. http://msdn.
microsoft.com/en-us/library/bb126259.aspx.
Montages (2007). xocl: executable ocl.
QVT (2008). Omg. mof 2.0 query/view/transformation
(qvt). OMG Document - formal/08-04-03.
Romero, J. R., Rivera, J. E., Dur
´
an, F., and Vallecillo, A.
(2007). Formal and tool support for model driven en-
gineering with maude. Journal of Object Technology.
Sadilek, D. and Wachsmuth, G. (2009). Using grammar-
ware languages to define operational semantics of mo-
delled languages. In International Conference on Ob-
jects, Components, Models and Patterns, pages 348–
356. Springer.
Scheidgen, M. and Fischer, J. (2007). Human comprehensi-
ble and machine processable specifications of opera-
tional semantics. In Proceedings of the 3rd European
Conference on Model Driven Architecture Foundati-
ons and Applications. Springer-Verlag.
Semantics, A. (2001). The action semantics consortium for
the uml. OMG Document - formal/2001-03-01.
Simko, G. (2014). Formal Semantic Specification of
Domain-Specific Modeling Languages for Cyber-
Physical Systems. PhD thesis, Vanderbilt University.
Simko, G., Levendovszky, T., Neema, S., Jackson, E.,
Bapty, T., Porter, J., and Sztipanovits, J. (2012).
Foundation for model integration: Semantic back-
plane. In ASME 2012 International Design Engineer-
ing Technical Conferences and Computers and Infor-
mation in Engineering Conference. American Society
of Mechanical Engineers.
Simko, G., Lindecker, D., Levendovszky, T., Neema,
S., and Sztipanovits, J. (2013). Specification of
cyber-physical components with formal semantics–
integration and composition. In Model-Driven Engi-
neering Languages and Systems. Springer.
Wachsmuth, G. (2008). Modelling the operational seman-
tics of domain-specific modelling languages. In Ge-
nerative and Transformational Techniques in Software
Engineering II. Springer.
Zarrin, B. (2016). Domain Specific Language for Modeling
Waste Management Systems. PhD thesis, Technical
University of Denmark.
Zarrin, B. and Baumeister, H. (2014). Design of a domain-
specific language for material flow analysis using mi-
crosoft dsl tools: An experience paper. In Proceedings
of the 14th Workshop on Domain-Specific Modeling,
DSM ’14, pages 23–28. ACM.
MODELSWARD 2018 - 6th International Conference on Model-Driven Engineering and Software Development
94