Abstract
Model-Driven Development (MDD) – based on the concepts of model, meta-model and model transformation – is an approach to develop predictable and re- liable software for Cyber-Physical Systems (CPS). The work presented here concerns a methodology to design simulation software based on MDD techniques, supporting the TERRA tool suite to describe and simulate process communication flows. TERRA is implemented using MDD techniques and Communicating Sequential Process algebra (CSP). Simulation support for TERRA helps the designer to understand the semantics of the designed model and, hence, to increase the probability of first-time-right software implementation. A new simulation meta-model is proposed, abstracting the simulation process of a TERRA model. With this new meta-model and our previously designed CSP meta-model, a simulation model can be transformed from its TERRA source. The Eclipse Modelling Framework (EMF) is used to implement the meta-model. The Eclipse Epsilon Framework includes the Epsilon Transformation Language (ETL) and the Epsilon Generation Language (EGL), used for model-to-model and model-to-text transformation. The simulation support is shown using an example, in which the generated trace text is shown as well. Further work is to implement an animation facility showing the trace text in the TERRA graphical model using colours.
Original language | Undefined |
---|---|
Title of host publication | Communicating Process Architectures 2015, proceedings of the 37th WoTUG Technical Meeting |
Place of Publication | Oxford, UK |
Publisher | Open Channel Publishing Ltd |
Pages | 257-272 |
Number of pages | 16 |
ISBN (Print) | 978-0-9565409-9-7 |
Publication status | Published - 24 Aug 2015 |
Event | Communicating Process Architectures, CPA 2015: 37th WoTUG Technical Meeting on Concurrent and Parallel Programming - University of Kent, Kent, United Kingdom Duration: 23 Aug 2015 → 26 Aug 2015 Conference number: 37 |
Publication series
Name | |
---|---|
Publisher | Open Channel Publishing Ltd. |
Conference
Conference | Communicating Process Architectures, CPA 2015 |
---|---|
Abbreviated title | CPA |
Country | United Kingdom |
City | Kent |
Period | 23/08/15 → 26/08/15 |
Keywords
- EWI-26798
- IR-99350
- METIS-315589