[Paper Review] System-Model-Based Simulation of UML Models

Marı́a Victoria Cengarle, Jürgen Dingel+2 more|arXiv (Cornell University)|Sep 22, 2014

Model-Driven Software Engineering Techniques14 references4 citations

TL;DR

This paper proposes a system-model-based simulation framework for UML models that enables customizable execution by leveraging a mathematically defined, underspecified system model as a semantic foundation. The approach supports experimentation with semantic variation points through a prototype environment, demonstrating how formal system models can underpin flexible, extensible UML simulation without imposing unwarranted restrictions.

ABSTRACT

Previous work has presented our ongoing e orts to define a "reference semantics" for the UML, that is, a mathematically defined system model that is envisaged to cover all of the UML eventually, and that also carefully avoids the introduction of any unwarranted restrictions or biases. Due to the use of underspecification, the system model is not executable. This paper shows how the system model can serve as the basis for a highly customizable execution and simulation environment for the UML. The design and implementation of a prototype of such an environment is described and its use for the experimentation with different semantic variation points is illustrated.

Motivation & Objective

• To establish a formal, mathematically defined system model as a reference semantics for UML, avoiding biases and unwarranted restrictions.
• To bridge the gap between formal system models and executable simulation by enabling customization through semantic variation points.
• To design and implement a prototype simulation environment that supports diverse UML semantics based on the same underlying system model.
• To demonstrate the feasibility of using an underspecified system model as a foundation for flexible, extensible UML simulation.
• To provide a framework for experimenting with different semantic interpretations of UML constructs in a controlled and customizable manner.

Proposed method

• The system model is defined using formal mathematics to represent UML semantics without imposing execution constraints, enabling underspecification.
• Semantic variation points are identified and parameterized to allow customization of model behavior during simulation.
• A prototype simulation environment is implemented to interpret UML models using the system model as a semantic foundation.
• The environment supports dynamic configuration of semantic variants, enabling runtime experimentation with different interpretations of UML constructs.
• The system model is used to guide the execution engine, ensuring consistency with the formal semantics while allowing flexibility in behavior.
• The approach decouples the formal semantics from execution logic, enabling modular extension and plug-in of semantic variants.

Experimental results

Research questions

• RQ1 How can a formally defined, underspecified system model serve as a foundation for UML simulation without constraining execution?
• RQ2 What mechanisms are needed to support customizable simulation of UML models through semantic variation points?
• RQ3 How can a prototype simulation environment be designed to execute UML models based on a formal system model while allowing diverse semantic interpretations?
• RQ4 What is the role of formal system models in enabling extensible and extensible UML simulation frameworks?
• RQ5 How does the separation of semantics from execution enable flexible experimentation with UML model behavior?

Key findings

• The system model provides a solid, formal basis for UML semantics that avoids introducing unintended biases or restrictions.
• The prototype simulation environment successfully supports customizable execution by allowing configuration of semantic variation points.
• The approach enables experimentation with different interpretations of UML constructs without modifying the core system model.
• The use of underspecification in the system model allows for maximum flexibility in simulation behavior while preserving formal correctness.
• The framework demonstrates that formal system models can effectively underpin practical simulation environments for UML.
• The prototype proves the feasibility of using a single formal model to support multiple, distinct simulation behaviors through configuration.