Theory for classifying equivalences of unified modelling language activity diagrams

Despite the fact that there has been a wide adoption of unified modelling language activity diagrams (UML ADs) for software development, research focusing on the equivalence notions of UML ADs is scarce. To address this area of concern, the author presents a sound theoretical foundation for UML ADs. Through the use of these formal definitions of UML ADs, the author propounds a method which classifies various types of equivalences of UML ADs in a systematic way. The proposed classification, which is the core result of our work, provides a framework that enables the study of the properties and inter-relationships of the equivalences.

[1]  Julian Padget,et al.  Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations , 2003, IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003.

[2]  Elvinia Riccobene,et al.  An ASM Semantics for UML Activity Diagrams , 2000, AMAST.

[3]  Diego Latella,et al.  Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking , 2002, J. Log. Algebraic Methods Program..

[4]  W. F. Osgood.  Introduction to the calculus , 1922 .

[5]  Joachim Parrow,et al.  An introduction to the pi-calculus , 2001 .

[6]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[7]  Conrad E. Bock.  JOURNAL OF OBJECT TECHNOLOGY Online at www.jot.fm. Published by ETH Zurich, Chair of Software Engineering ©JOT, 2003 , 2022 .

[8]  Rik Eshuis,et al.  Symbolic model checking of UML activity diagrams , 2006, TSEM.

[9]  Harald Störrle,et al.  Towards a Formal Semantics of UML 2.0 Activities , 2005, Software Engineering.

[10]  Conrad E. Bock.  UML 2 Activity and Action Models, Part 3: Control Nodes , 2003 .

[11]  Using p - calculus to Formalize UML Activity Diagram , 2003, ECBS.

[12]  Johan Lilius,et al.  Formalising UML State Machines for Model Checking , 1999, UML.

[13]  Dan Pilone,et al.  UML 2.0 in a nutshell , 2005 .

[14]  Roberto W. S. Rodrigues.  Formalising UML Activity Diagrams using Finite State Processes , 2000 .

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

[16]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[17]  Vitus S. W. Lam.  On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams , 2008, Int. J. Softw. Eng. Knowl. Eng..

[18]  Diego Latella,et al.  Towards a Formal Operational Semantics of UML Statechart Diagrams , 1999, FMOODS.

[19]  Joachim Parrow,et al.  An Introduction to the π-Calculus , 2001, Handbook of Process Algebra.

[20]  Diego Latella,et al.  Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker , 1999, Formal Aspects of Computing.

[21]  Andrea Maggiolo-Schettini,et al.  Equivalences of Statecharts , 1996, CONCUR.

[22]  Jin-Young Choi,et al.  Equivalence checking of two Statechart specifications , 2000, Proceedings 11th International Workshop on Rapid System Prototyping. RSP 2000. Shortening the Path from Specification to Prototype (Cat. No.PR00668).

[23]  Diego Latella,et al.  Model checking UML Statechart diagrams using JACK , 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.

[24]  Rik Eshuis,et al.  Verification support for workflow design with UML activity graphs , 2002, ICSE '02.