xMOF

 

xMOF (eXecutable MOF) is a metamodeling language integrating fUML with MOF which enables the specification of the behavioral semantics of domain-specific modeling languages (DSML).
With xMOF the behavioral semantics of a DSML is specified by introducing operations in the DSML’s metamodel and by providing an implementation of these operations using the fUML action language. These implementations define the behavior of the DSML. The usage of fUML for specifying the behavioral semantics enables the execution of models conforming to the DSML by leveraging the fUML virtual machine.

Methodology

For developing executable DSMLs using xMOF we elaborated a methodology fostering the separation of the specification of the abstract syntax, the behavioral semantics, and additional data that is needed for the execution of domain-specific models.
We also developed an EMF-based implementation of this methodology which enables the definition of executable DSMLs using xMOF as well as the execution of domain-specific models according to the semantics specification of the DSML.

Figure 1 depicts our tool-supported methodology. In the fi rst step language design the DSML is developed by specifying its abstract syntax by means of an Ecore-based metamodel as well as its behavioral semantics using fUML resulting in an xMOF-based configuration of the DSML. In the model creation step, a model of the before developed DSML is created. In order to enable the execution of the created model, the semantics speci fication of the DSML has to be instantiated for this specifi c model resulting in an xMOF-based model of the domain-specific model. This is done in the model execution preparation step. For providing the result of the model execution to the modeler, we make use of the EMF Profi les mechanism. Thus, a runtime profi le has to be generated once for a semantics specifi cation in the execution infrastructure generation step. In the last step model execution, the domain-specific model is fi nally executed according to the semantics specifi cation leveraging the fUML virtual machine and runtime information about the model execution is provided as feedback to the modeler in the form of an application of the generated runtime profile on the executed domain-specific model.

xMOF methodology
Figure 1: xMOF methodology

Tool Demo

The following screencasts demonstrate the xMOF tool support implemented for Eclipse.

Language Design and Execution Infrastructure Generation
This screencast demonstrates the following tasks.

  1. Generation of xMOF-based configuration from Ecore-based metamodel
  2. Specification of the semantics in xMOF-based configuration
  3. Generation of runtime profile from xMOF-based configuration

Model Creation and Model Execution Preparation
This screencast shows the following tasks.

  1. Creation of a domain-specific model
  2. Instantiation of the xMOF initialization classes for defining additional input for the execution of the domain-specific model

Model Execution
This screencast shows the following tasks.

  1. Execution of a domain-specific model
  2. Loading of the stereotype application providing the result of the model execution

Resources

Case Studies

We carried out case studies were we used xMOF for developing three executable DSML and executed models conforming to these DSMLs. The following DSMLs were considered in the case studies.

Publications

T. Mayerhofer, P. Langer, M. Wimmer, G. Kappel. xMOF: Executable DSMLs based on fUML. In: Proceedings of the 6th International Conference on Software Language Engineering (SLE), Springer, LNCS 8225, 2013, 1 – 20.

T. Mayerhofer. Using fUML as Semantics Specification Language in Model Driven Engineering. In: Proceedings of Satellite Events of MODELS 2013, CEUR, 2013, 1 – 6.

T. Mayerhofer, P. Langer, M. Wimmer. xMOF: A Semantics Specification Language for Metamodeling. In: Proceedings of Satellite Events of MODELS 2013, CEUR, 2013, 1 – 5.

Tanja Mayerhofer, Philip Langer, and Manuel Wimmer. Towards xMOF: Executable DSMLs based on fUML. In Proceedings of the 2012 Workshop on Domain-specific modeling, DSM ’12, 2012. ACM.

© 2012 moliz by Vienna University of Technology Suffusion theme by Sayontan Sinha