||Behaviour in Model-based Software Engineering: A flexible coordination language based on AMFIBIA
||Kindler, Ekkart (Software Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
||Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
||Model-based Software Engineering is a popular approach for developing software from models supported by automatic code generation. Though this is
applied successfully in many cases, there are still some problems when it comes
to modelling the actual behaviour of systems. One of the main challenges is integrating different kinds of behaviour models and integrating behaviour models
with existing code.
The AMFIBIA approach showed that it is possible to integrate the behaviour
of different parts of software by identifying events and combining these events
into interactions, where the possible interactions are defined by a kind of coordination language. It turned out, that the concepts of AMFIBIA were powerful
enough to model a work
ow management system and some other applications.
But, the concepts of AMFIBIA still lack some expressive power for modelling
other kinds of systems.
In this project, the concepts of AMFIBIA was generalized and extended so
that the coordination language becomes more fl
exible and can be applied in
other application areas. These extensions, including cardinality labels, joint interactions and event parameters, have been designed carefully after a detailed
discussion. New cardinality label 'some' has been introduced. Joint interactions
on a same event are supported at runtime. Event parameter has been introduced
and moreover, the mechanism of initializing the parameters has been set up.
As a proof of concept, a prototype of an execution engine for the proposed
notation has also been implemented and demonstrated by an application example.
||Technical University of Denmark (DTU) : Kgs. Lyngby, Denmark
Creation date: 2011-03-21
Update date: 2011-03-21