Communication support for systems engineering - process modelling and animation with APRIL

The most important task in the early stages of systems engineering is the building of models which capture the relevant knowledge of a given application domain. A working communication with domain experts who possess this knowledge is crucial, since misunderstandings almost always lead to expensive system redesigns in later development stages. In this context, especially the modelling of systems behaviour is a challenging problem. While formally based languages in this area are often too difficult to understand for domain experts, more informal languages frequently lack animation support for dynamic process visualizations. Out of this, an easy to understand and semi-formal visual modelling language which allows for process animations is needed in order to improve communication in systems engineering. If the use of such a language leads to an earlier identification of conceptualization flaws, the overall costs of systems development may be significantly reduced. As an attempt into this direction, the APRIL process modelling language is introduced in this article together with two complementary animation concepts as well as the prototype of a supporting tool.

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  Lars Michael Kristensen,et al.  Design/CPN - A Computer Tool for Coloured Petri Nets , 1997, TACAS.

[3]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[4]  Thomas Marx A Petri Net Approach to Conceptual Modelling and Case , .

[5]  Volker Gruhn,et al.  FUNSOFT nets: a Petri-net based software process modeling language , 1991, Proceedings of the Sixth International Workshop on Software Specification and Design.

[6]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[7]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[8]  Ulrich Frank,et al.  Multi-perspective enterprise modeling (MEMO) conceptual framework and modeling languages , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

[9]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

[10]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[11]  Cornelia Pahnke Animated systems engineering : a new approach to high quality groupware application specification and development , 2003 .

[12]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[13]  Peter Fettke,et al.  Model Driven Architecture (MDA) , 2003, Wirtsch..

[14]  Jean-Claude Tarby When the Task's World Meets the Object's World , 1999, ECOOP Workshops.

[15]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[16]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[17]  Patrick Valduriez,et al.  Distributed and parallel database systems , 1996, CSUR.

[18]  August-Wilhelm Scheer,et al.  ARIS - Business Process Modeling , 1998 .

[19]  John Nicholls,et al.  Z notation , 1994 .

[20]  Rocco Moretti,et al.  Model Driven Architecture (MDA) , 2007 .