A Framework for Testing UML Activities Based on fUML

 News  Comments Off on A Framework for Testing UML Activities Based on fUML
Jul 222013

In MDE, quality of models is an important issue as models constitute the central artifacts in the development process. When executable models are employed, it is possible to validate their functional correctness by applying model testing where the model under test is executed and different properties of the carried out execution are validated. Unfortunately, systematic testing approaches for models are rare.

We developed a testing framework for UML models based on the fUML standard which provides a virtual machine for executing UML activities. This testing framework comprises a test specification language for expressing assertions on the execution behavior of UML activities as well as a test interpreter for evaluating them.

More details on our testing framework for UML can be found at http://www.modelexecution.org/?page_id=524

xMOF: Defining Executable DSMLs Using fUML

 News  Comments Off on xMOF: Defining Executable DSMLs Using fUML
Mar 142013

Recently we investigated the applicability of fUML for specifying the behavioral semantics of domain-specific modeling languages. For this purpose we propose the integration of fUML with MOF into a new metamodeling language xMOF (eXecutable MOF) that allows to specify both the abstract syntax and the behavioral semantics of domain-specific modeling languages.

We developed an implementation of xMOF for the Eclipse Modeling Framework by integrating fUML with Ecore as well as an implementation of an accompanying methodology for defining executable domain-specific modeling languages and for executing domain-specific models based on the language’s semantics specification.

More details on xMOF can be found at http://www.modelexecution.org/?page_id=250

Combining fUML and Profiles for Non-Functional Analysis Based on Model Execution Traces

 News  Comments Off on Combining fUML and Profiles for Non-Functional Analysis Based on Model Execution Traces
Feb 202013

Considering non-functional properties of a software system early in the development process is crucial for guaranteeing that non-functional requirements will be fulfilled by the system under development.

We developed a model-based analysis framework based on fUML for enabling the implementation of model-based analysis tools. This framework enables to carry out model-based analysis of non-functional properties of a software system based on runtime information in the form of traces obtained by executing UML models using the fUML virtual machine. Therefore, the framework integrates UML profile applications with execution traces to enable the consideration of additional information captured in profile applications in the model-based analysis as required for instance in performance analysis.

More details on this topic can be found at http://www.modelexecution.org/?page_id=204

This work is done in collaboration with University of L’Aquila.

SEALAB Quality Group - University of L'Aquila

UML Study: How is UML Used in Practice?

 News  Comments Off on UML Study: How is UML Used in Practice?
Nov 142012

UML is the most adopted modeling language in industry for specifying the structure and the behavior of systems. Due to its general-purpose nature, UML is used very diversely in industry. To understand how UML is actually used in practice, we developed a script which analyses models created with Enterprise Architect. This script extracts the information which UML element types are used in the model, how they are linked to each other and which UML diagram types are used. By conducting this study we want to find out which parts of UML are actually used in industry and in which combinations they are used. Based on these findings we want to derive improvements of UML itself as well as of UML modeling tools. Also for teaching UML in university courses these results will provide valuable input.

Understanding how UML is actually used in industry is only possible by analyzing real-world models. Therefore we hope for your input to our study. Details on how to participate can be found at http://www.modelexecution.org/?page_id=116.

Talk at the Workshop on Domain-Specific Modeling (SPLASH/OOPSLA 2012)

 News  Comments Off on Talk at the Workshop on Domain-Specific Modeling (SPLASH/OOPSLA 2012)
Oct 042012

Our paper titled “Towards xMOF: Executable DSMLs based on fUML” will be presented at the 12th Workshop on Domain-Specific Modeling at SPLASH/OOPSLA 2012 on Monday, October 22nd 2012.

This paper proposes to use fUML as a semantics specification language enabling to define the operational semantics of any executable domain-specific modeling language (DSML). The overall goal is to (semi-)automatically derive model execution tools such as debuggers and testing environments for a DSML from its semantics specification based on fUML.

We present our approach for using fUML as semantics specification language by integrating it with MOF into a framework we call xMOF (eXecutable MOF). xMOF merges MOF and fUML resulting in a metamodeling language capable of specifying the abstract syntax of a DSML using MOF constructs, as well as the operational semantics of a DSML by the means of fUML activities. Further, we show on an example how to specify the semantics of a DSML using fUML. To reuse existing runtime infrastructures, we also demonstrate our approach for enabling the usage of external libraries in fUML-based specifications.

Download the paper: ” Towards xMOF: Executable DSMLs based on fUML

Talk at models@run.time workshop (MODELS 2012)

 News  Comments Off on Talk at models@run.time workshop (MODELS 2012)
Sep 282012

On Tuesday, 2nd October 2012, we will present parts of our work at the models@run.time workshop of the 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012).
In this talk we present a runtime model for fUML which we elaborated in our recent research. We extended the standardized fUML virtual machine in terms of a dedicated trace model, an event model, and a command API. These extensions enable the analysis of the runtime behavior of an activity, as well as the runtime observation and control of an activity execution.

You can find the paper at http://publik.tuwien.ac.at/showentry.php?ID=210111.


To collect information about the usage of models in practice and requirements for model execution, we prepared a questionnaire regarding these topics. The questionnaire is targeted at people who work with models and especially at people who use UML or UML profiles, such as SysML. Filling in the questionnaire will take only approximately 15 minutes. We kindly ask you to take that time and thereby significantly support our project.

You can fill in the questionnaire anonymously. However, on the last page of the questionnaire you can leave your contact data if you are interested in the results of the questionnaire. Your data will of course be handled confidentially and will be processed anonymously.

The link to the questionnaire:

Feb 062012

The moliz project website is now launched. Moliz is concerned with model execution. The aim is to implement a novel model execution environment based on fUML, which enables to efficiently test and debug models. The project is realized by the Business Informatics Group, a research group of the Institute of Software Technology and Interactive Systems at the Vienna University of Technology. LieberLieber Software GmbH is the industry partner of this project.

© 2018 moliz - modelexecution.org Suffusion theme by Sayontan Sinha