8th European Conference on
July 2-5, 2012, Technical University of Denmark |
 |
Fourth Workshop on Behavioural Modelling: Foundations and Applications (BMFA)
Tuesday, July 3, 900–1700, S4organised by Ella Roubtsova (Open University of the Netherlands), Ashley McNeile (Metamaxim Ltd, UK.), Ekkart Kindler (Technical University of Denmark), Mehmet Aksit (TU Twente, Netherlands)
The growing variety of E-businesses: E-commerce, E-logistics, E-procurement, E-government and collaborative services require the integration of software components that interact at run time in accordance with contracts and service level agreements both within and across organizational boundaries. Designing the complex dynamics and of these systems requires that software engineers use sophisticated approaches to modelling and validating system interaction protocols. The capabilities offered by The Cloud to host large data volumes are enabling business intelligence applications that may require new thinking about behaviour and service modelling.
Program (room S4)
| 900– 910 | Welcome & Agenda |
| 910–1030 | Regular talk |
|
Consistency Checking Scenario-Based Specifications of Dynamic Systems by Combining Simulation and Synthesis (Jens Frieben, Joel Greenyer) Defining and Verifying Behaviour of Domain Specific Language with fUML (Qinan Lai, Andy Carpenter)
|
|
| 1030–1100 | Coffee break |
| 1100–1230 | Regular talks |
|
The Event Coordination Notation: Execution Engine and Programming Framework (Ekkart Kindler) Motivation Modelling for Human-Service Interaction (Ella Roubtsova)
|
|
| 1230–1330 | Lunch break |
| 1330 – 1430 | Regular talks / preparation of discussion |
|
A Metamodelling Approach to Behavioural Modelling (Adrian Rutle, Wendy MacCaull, Hao Wang, Yngve Lamo) Preparation for the workshop discussion
|
|
| 1430–1500 | Coffee break |
| 1500–1600 | Invited talk |
|
Karsten Holm, Head of Consultancy Division at Soft Design A/S,
Copenhagen Area, Denmark (get slides here)
|
|
| 1600–1700 | Discussion |
| Changes in Requirements for Behaviour Modelling Techniques Caused by E-businesses and the Cloud |