Integrating behaviour in software models: an event coordination notation -- concepts and prototype

One of the main problems in model-based software engineering is modelling behaviour in such a way that the behaviour models can be easily integrated with each other, with the structural software models and with pre-existing software. In this paper, we propose an event coordination notation (ECNO) that deals with this problem. We present the main concepts and rationales behind this notation and discuss a prototype and run-time environment that executes these models, and provides an API so that other parts of the software can be easily integrated. The core concepts of the ECNO seem to be stabilizing now, and the prototypic implementation of ECNO and its runtime environment show that the concepts of ECNO work. Still, there are some design issues and open questions that we discuss in this paper.

[1]  Joseph Sifakis,et al.  Modeling Heterogeneous Real-time Components in BIP , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[2]  Ekkart Kindler.  Model-based software engineering: the challenges of modelling behaviour , 2010, BM-FA '10.

[3]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[4]  Harold Ossher,et al.  Subject-oriented programming: a critique of pure objects , 1993, OOPSLA '93.

[5]  Ashley T. McNeile,et al.  State Machines as Mixins , 2003, J. Object Technol..

[6]  Elisa Baniassad,et al.  Aspect-Oriented Analysis and Design , 2005 .

[7]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[8]  Michael Jackson.  A SYSTEM DEVELOPMENT METHOD , 2002 .

[9]  Edward A. Lee.  The problem with threads , 2006, Computer.

[10]  Siobhán Clarke,et al.  Aspect-oriented analysis and design - the theme approach , 2005, Addison Wesley object technology series.

[11]  Frank Budinsky,et al.  EMF: Eclipse Modeling Framework 2.0 , 2009 .

[12]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[13]  Ella E. Roubtsova,et al.  Programming in Protocols - A Paradigm of Behavioral Programming , 2008, ENASE.

[14]  Ekkart Kindler,et al.  Aspect-oriented modelling from a different angle: modelling domains with aspects , 2008 .

[15]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[16]  Ekkart Kindler,et al.  Modelling Local and Global Behaviour: Petri Nets and Event Coordination , 2011, PNSE.

[17]  D. Walker,et al.  A Calculus of Mobile Processes, Part Ii , 1989 .

[18]  D. Neel.  Tools and Notions for Program Construction: An Advanced Course , 1982 .

[19]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[20]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[21]  Stephen J. Mellor,et al.  Executable UML - A Foundation for Model-Driven Architecture , 2002, Addison Wesley object technology series.

[22]  Ekkart Kindler,et al.  AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects , 2006, The Role of Business Processes in Service Oriented Architectures.

[23]  William G. Griswold,et al.  An Overview of AspectJ , 2001, ECOOP.