A plug-in based approach for UML model simulation

Authors:
Alek Radjenovic;Richard F. Paige;Louis M. Rose;Jim Woodcock;Steve King
Affiliations:
Department of Computer Science, The University of York, United Kingdom;Department of Computer Science, The University of York, United Kingdom;Department of Computer Science, The University of York, United Kingdom;Department of Computer Science, The University of York, United Kingdom;Department of Computer Science, The University of York, United Kingdom
Venue:
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Year:
2012

Citing 9
Cited 0

Object-oriented systems analysis: modeling the world in data

Object-oriented systems analysis: modeling the world in data
Object lifecycles: modeling the world in states

Object lifecycles: modeling the world in states
Debugging and testing behavioral UML models

Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
An Executable UML with OCL-based Action Semantics Language

APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation

Simulation
A framework for executable UML models

SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Behavioural interoperability to support model-driven systems integration

Proceedings of the First International Workshop on Model-Driven Interoperability
The use of model transformation in the INESS project

FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
ALF formal

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model simulation is a credible approach for model validation, complementary to others such as formal verification and testing. For UML 2.x, model simulations are available for state machines and communication diagrams; alternative finer-grained simulations, e.g., as are supported for Executable UML, are not available without significant effort (e.g., via profiles or model transformations). We present a flexible, plug-in based approach to enhance UML model simulation. We show how an existing simulation tool applicable to UML behavioural models can be extended to support external action language processors. The presented approach paves the way to enrich existing UML-based simulation tools with the ability to simulate external action languages.