Statecharts: A visual formalism for complex systems
Science of Computer Programming
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Theory of Modeling and Simulation
Theory of Modeling and Simulation
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Software and Simulation Modeling for Real-Time Software-Intensive Systems
DS-RT '04 Proceedings of the 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications
A framework for executable UML models
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
DEVS modeling and simulation methodology with MS4 Me software tool
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
DS-RT '13 Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications
Hi-index | 0.00 |
We propose a translation process by which a UML2.0 Class Diagram model, along with Statechart models used to describe the behaviour of each of the instances of the classes in the Class Diagram, is transformed into a single, behaviourally equivalent Atomic DEVS model. Statecharts language features such as hierarchical and orthogonal states allow for intuitive modelling of reactive, timed behaviour. Variable structure and modularity are the prominent features of UML2.0 Class Diagrams. DEVS is a highly modular, hierarchical formalism that can be used as a semantic domain for a variety of modelling languages. We validate our approach using a concrete example. We transform the UML2.0 Class Diagram + Statechart model of a digital watch to its Atomic DEVS equivalent and subsequently couple it with a model of a user (the "environment") modelled as an Atomic DEVS.