Moka – A simulation platform for Papyrus based on executable UML
Papyrus modeling tool enables designers to describe very detailed models of their systems. These systems as soon as described in the tool can be validated using model based simulation. Papyrus offers the possibility to perform such simulation through its additional component Moka. This component provides a simulation engine for UML based models and an integration with the Eclipse debug framework to help users to control simulation evolutions.
The talk will focus on the following three topics
Overview of OMG specifications for executable UML (fUML / PSCS – Precise Semantics of Composite Structures / PSSM – Precise Semantics of UML State Machines) integrated in the core simulation engine.
Overview of generic Moka features (simulation control and observation tools) and architecture. An example of simulation on a raw UML model will be presented to demonstrate the different features.
Examples of Moka customizations that demonstrate possibility to use the core simulation engine in the context of specific domains. Two customizations of Moka will be presented:
Moka for BPMN: customization to enable simulation of business process models.
Moka for FMI: customization to enable co-simulation of cyber-physical systems.
Speaker(s): Jeremie Tatibouet