Towards xMOF: Executable DSMLs based on fUML

SPLASH 2012: DSM 2012 - Proceedings of the 2012 ACM Workshop on Domain-Specific Modeling

Volumn , Issue , 2012, Pages 1-6

  Mayerhofer, Tanja ^a   Langer, Philip ^a   Wimmer, Manuel ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Domain specific modeling languages; Foundational UML; Model execution; Semantics

Indexed keywords

ABSTRACT SYNTAX; BEHAVIORAL SEMANTICS; DOMAIN-SPECIFIC MODELING LANGUAGE; FOUNDATIONAL UML; META MODEL; METAMODELING; MODEL EXECUTIONS; MODELING LANGUAGES; RUN-TIME INFRASTRUCTURE;

JAVA PROGRAMMING LANGUAGE; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS; SYNTACTICS;

VISUAL LANGUAGES;

EID: 84872120950     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2420918.2420920     Document Type: Conference Paper

References (13)

1. J. Bézivin. On the unification power of models. Software and System Modeling, 4(2):171-188, 2005.
2. B. R. Bryant, J. Gray, M. Mernik, P. J. Clarke, R. B. France, and G. Karsai. Challenges and directions in formalizing the semantics of modeling languages. Computer Science and Information Systems, 8(2):225-253, 2011.
3. K. Chen, J. Sztipanovits, S. Abdelwalhed, and E. Jackson. Semantic anchoring with model transformations. In Proc. of ECMDA-FA'05, pages 115-129, 2005.
4. T. Clark, A. Evans, P. Sammut, and J. Willans. Applied Meta-modelling: A Foundation for Language Driven Development. Ceteva, Sheffield, 2004.
5. S. Ducasse and T. Gîrba. Using Smalltalk as a reflective executable meta-language. In Proc. of MODELS'06, pages 604-618, 2006.
6. G. Engels, J. H. Hausmann, R. Heckel, and S. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In Proc. of UML'00, pages 323-337, 2000.
7. D. S. Kolovos, R. F. Paige, and F. Polack. The Epsilon Object Language (EOL). In Proc. of ECMDA-FA'06, pages 128-142, 2006.
8. T. Kühne. Matters of (meta-)modeling. Software and System Modeling, 5(4):369-385, 2006.
9. Q. Lai and A. Carpenter. Defining and verifying behaviour of domain specific language with fUML. In Workshop Proc. of BM-FA'12 @ ECMFA'12, pages 1-7, 2012.
10. T. Mayerhofer, P. Langer, and G. Kappel. A runtime model for fUML. In Workshop Proc. of MRT'12 @ MODELS'12, 2012.
11. P.-A. Muller, F. Fleurey, and J.-M. Jézéquel. Weaving executability into object-oriented meta-languages. In Proc. of MODELS'05, pages 264-278, 2005.
12. J. E. Rivera, F. Durán, and A. Vallecillo. On the behavioral semantics of real-time domain specific visual languages. In Workshop Proc. of WRLA'10 @ ETAPS'10, pages 174-190, 2010.
13. M. Scheidgen and J. Fischer. Human comprehensible and machine processable specifications of operational semantics. In Proc. of ECMDA-FA'2007, pages 157-171, 2007.