Beta 1

Title Behaviour in Model-based Software Engineering: A flexible coordination language based on AMFIBIA
Author Li, Yang
Supervisor Kindler, Ekkart (Software Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2011
Abstract 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.
Imprint Technical University of Denmark (DTU) : Kgs. Lyngby, Denmark
Series IMM-M.Sc.-2011-16
Original PDF ep11_16.pdf (3.10 MB)
Admin Creation date: 2011-03-21    Update date: 2011-03-21    Source: dtu    ID: 275606    Original MXD