Tools for Model-based Software Engineering
|
|
One of the research areas of the Software Engineering section is Model-bases Software Engineering
(MBSE), which uses models as the prime artifacts for developing software. The main purpose is to
raise the level of abstraction on which the software is desribed — in the ideal case
the software is described on the domain level.
These models are used for communicating and and understanding the idea of the software. But,
they can also be used to realize the software by either interpreting the models or by
generating the code from the models.
In the Software Engineering Section we are investigating, technologies that support MBSE, and
use these technologies for implementing software — in particular, tools that support
MBSE. Two major examples are the ePNK and the ECNO Tool.
|
| Tools
|
|
- ePNK:
The ePNK is a platform for building and extending Petri net tools based on the PNML transfer format. It is generic,
so that new Petri net types can be easily plugged into it, and new Petri net types are
defined by, basically, providing a class diagram with there new concepts.
You will find more details at http://www2.compute.dtu.dk/~ekki/projects/ePNK/.
- ECNO Tool:
Many technologies for Model-based technologies focus on structural models; the actual behaviour
still needs to be programmed manually. The Event Coordination Notation (ECNO) was developed for
fully describing the behaviour of software — based on some structural models. From these
ECNO models, the software can be generated fully automatically.
The Event Coordination Notation allows to define events and how the exectuion of these
events are coordinated among related model elements that are defined in structural diagrams.
Moreover, there are modelling notations for defining the life-cycle of each element, which
together with the coordination model, describe the complete behaviour of a system.
You will find more details on ECNO and a tool fully supporting all its concepts at http://www2.compute.dtu.dk/~ekki/projects/ECNO/index.shtml.
|
| References
|
|
- Ekkart Kindler: Coordinating Interactions: The Event Coordination Notation.
DTU Compute Technical Report 2014-05, Technical University of Denmark, May 2014.
- Jesper Jepsen: Realizing a Workfl ow Engine with
the Event Coordination Notation — A Case-study Evaluating the Event Coordination Notation.
Master thesis, IMM-M.Sc.-2013-101, DTU Compute, Technical University of Denmark, September 2013.
-
Ekkart Kindler:
The ePNK: A generic PNML tool - Users' and Developers' Guide for Version 1.0.0.
IMM-Technical Report-2012-14, DTU Informatics, Kgs. Lyngby, Denmark, December 2012
(revised and extended version of IMM-Technical Report-2011-03).
- Ekkart Kindler: An ECNO semantics for Petri nets.
Cover Picture Story in Petri Net Newsletter, 81:3-16, October 2012.
- Mindaugas Laganeckas:
A Simulator for high level Petri Nets: Model based design and implementation.
Master's thesis, Sepetmber 2012, Technical University of Denmark, DTU Informatics, Kgs. Lyngby, Denmark,
Series IMM-M.Sc.-2012-101.
- Ekkart Kindler: Modelling Local and Global Behaviour: Petri Nets and Event Coordination.
In K. Jensen, W.M.P. van der Aalst, M. Ajmone Marsan, G. Franceschinis, J. Klejn and L.M. Kristensen (eds.):
Transactions on Petri Nets and Other Models of Concurrency VI,
LNCS 7400, pp. 71--93. Springer 2012.
- Ekkart Kindler: The Event Coordination Notation: Execution engine and programming framework.
In H. Störrle, G. Botterweck, M. Bourdellès,
D. Kolovos, R. Paige, E. Roubtsova,
J. Rubin, J.-P. Tolvanen (eds.), Joint Proceedings of co-located Events at the
8th European Conference on Modelling Foundations and Applications
(ECMFA 2012), BM-FA '12, pages 143-157, July 2012.
- Ekkart Kindler: Modelling local and global behaviour: Petri nets and event coordination.
In PNSE 2011.
Newcastle, UK, June 20-21, 2011.
- Ekkart Kindler: Integrating behaviour in software models: An event coordination notation
— concepts and prototype.
In: 3rd Workshop on Third Workshop on Behavioural
Modelling - Foundations and Application, Proceedings. Birmingham, UK, June 6, 2011.
- L.M. Hillah and E. Kindler and F. Kordon and L. Petrucci and N. Trèves:
A primer on the Petri Net Markup Language and ISO/IEC 15909-2.
Petri Net Newsletter 76:9--28, October 2009 (originally presented at
the 10th International workshop on Practical Use of Colored Petri Nets and
the CPN Tools — CPN'09).
|
|
