A metamodelling approach to behavioural modelling

In this paper we propose a metamodelling approach to behavioural modelling. The approach combines diagrammatic modelling with formal foundations based on category theory and graph transformations. The static semantics of behavioural models is represented by instances of (meta)models, while their dynamic semantics is represented by transition systems. Transitions are described by coupled model transformations. To illustrate the approach, we present a running example of a workflow model for health services delivery.

[1]  Hao Wang,et al.  A Model Slicing Method for Workflow Verification , 2013, Electron. Notes Theor. Comput. Sci..

[2]  Adrian Rutle,et al.  DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-)Modelling Environment , 2012 .

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

[4]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .

[5]  Michael Barr,et al.  Category theory for computing science (2. ed.) , 1995, Prentice Hall international series in computer science.

[6]  Frank Piessens,et al.  Universal Arrow Foundations for Visual Modeling , 2000, Diagrams.

[7]  Reiko Heckel,et al.  Graph Transformation in a Nutshell , 2006, FoVMT.

[8]  Ekkart Kindler,et al.  Model-Based Software Engineering and Process-Aware Information Systems , 2009, Trans. Petri Nets Other Model. Concurr..

[9]  Remco M. Dijkman,et al.  Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..

[10]  Arend Rensink,et al.  Modelling and analysis using GROOVE , 2010, International Journal on Software Tools for Technology Transfer.

[11]  Elmar Jürgens,et al.  Automatability of Coupled Evolution of Metamodels and Models in Practice , 2008, MoDELS.

[12]  Hao Wang,et al.  A Formal Diagrammatic Approach to Timed Workflow Modelling , 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.

[13]  R. Ulusay,et al.  Object Constraint Language Specification , 1997 .

[14]  Adrian Rutle,et al.  A formal approach to the specification and transformation of constraints in MDE , 2012, J. Log. Algebraic Methods Program..

[15]  Alessandro Rossini.  Diagram Predicate Framework meets Model Versioning and Deep Metamodelling , 2011 .

[16]  Philip Calvert,et al.  Encyclopedia of Database Technologies and Applications , 2005 .

[17]  Michael Barr,et al.  Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.

[18]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

[19]  Martin Gogolla,et al.  Modeling and Formally Checking Workflow Properties Using UML and OCL , 2010, BIR.

[20]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

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

[22]  Ekkart Kindler,et al.  Integrating behaviour in software models: an event coordination notation -- concepts and prototype , 2011, BM-FA '11.

[23]  Michael Löwe,et al.  A categorical framework for the transformation of object-oriented systems: Models and data , 2011, J. Symb. Comput..

[24]  Steffen Becker.  Coupled model transformations , 2008, WOSP '08.

[25]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[26]  Adrian Rutle,et al.  Diagram predicate framework: A formal approach to MDE , 2010 .

[27]  Jochen Malte Küster,et al.  Towards Inconsistency Handling of Object-Oriented Behavioral Models , 2004, GT-VMT@ETAPS.

[28]  C. A. R. Hoare,et al.  A Trace Semantics for Long-Running Transactions , 2004, 25 Years Communicating Sequential Processes.