|START Conference Manager|
DEVS is a highly modular, hierarchical formalism that can be used as a semantic domain for a variety of modelling languages such as discrete-event formalisms, timed model transformations, Ordinary Differential Equations,... This allows for true multi-formalism modelling and simulation as models in all these formalisms, including Class Diagrams + Statecharts, can be mapped onto DEVS and subsequently composed in the form of a Coupled DEVS model. Furthermore, our transformation brings the elegant Statechart notation as well as variable structure of Class Diagrams to Classical DEVS.
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.
START Conference Manager (V2.56.8 - Rev. 1568)