Theory for classifying equivalences of unified modelling language activity diagrams

IET Software

Volumn 2, Issue 5, 2008, Pages 391-403

  Lam, V S W ^a  

^a UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

LINGUISTICS; SYSTEMS ANALYSIS;

ACTIVITY DIAGRAMS; EQUIVALENCE NOTIONS; FORMAL DEFINITIONS; INTER-RELATIONSHIPS; SOFTWARE DEVELOPMENTS; UNIFIED MODELLING LANGUAGES;

UNIFIED MODELING LANGUAGE;

EID: 54949143974     PISSN: 17518806     EISSN: None     Source Type: Journal    
DOI: 10.1049/iet-sen:20070045     Document Type: Article

References (28)

1. Gnesi, S., Latella, D., and Massink, M.: ' Model checking UML statechart diagrams using JACK ', 4th, IEEE Int. Symp. High-Assurance Systems Engineering, 1999, IEEE Computer Society, p. 46-55
2. Latella, D., Majzik, I., and Massink, M.: ' Towards a formal operational semantics of UML statechart diagrams ', 3rd, Int. Conf. Formal Methods for Open Object-Oriented Distributed Systems, 1999, Kluwer, p. 331-347
3. Latella, D., Majzik, I., and Massink, M.: ' Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker ', Form. Asp. Comput., 1999, 11, p. 637-664 10.1007/s001659970003 0934-5043
4. Gnesi, S., Latella, D., and Massink, M.: ' Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking ', J. Log. Algebr. Program., 2002, 51, (1), p. 43-75 10.1016/S1567-8326(01)00012-1 1567-8326
5. Lilius, J., and Paltor, I.P.: ' Formalising UML state machines for model checking ', UML'99, 1999, p. 430-445, (LNCS, 1723)
6. B̈orger, E., Cavarra, A., and Riccobene, E.: ' An ASM semantics for UML activity diagrams ', 8th, Int. Conf. Algebraic Methodology and Software Technology, 2000, p. 293- 308, (LNCS, 1816)
7. Rodrigues, R.W.S.: ' Formalising UML activity diagrams using finite state processes ', UML 2000 Workshop Dynamic Behaviour in UML Models: Semantic Questions, 2000, http://www.disi.unige.it/person/ReggioG/UMLWORKSHOP/ACCEPTED. html; accessed July 26, 2006
8. Bolton, C., and Davies, J.: ' On giving a behavioural semantics to activity graphs ', UML 2000 Workshop Dynamic Behaviour in UML Models: Semantic Questions, 2000, http://www.disi.unige.it/person/ReggioG/UMLWORKSHOP/ACCEPTED. html; accessed July 26, 2006
9. Eshuis, R., and Wieringa, R.: ' Verification support for workflow design with UML activity graphs ', 22nd, Int. Conf. Software Engineering, 2002, ACM Press, p. 166-176
10. Harel, D., and Naamad, A.: ' The STATEMATE semantics of state-charts ', ACM Trans. Softw. Eng. Methodol., 1996, 5, (4), p. 293-333 10.1145/235321.235322 1049-331X
11. Yang, D., and Zhang, S.S.: ' Using π-calculus to formalize UML activity diagrams ', 10th, Int. Conf. Workshop on the Engineering of Computer-based Systems, 2004, IEEE Computer Society, p. 47-54
12. Sẗorrle, H., and Hausmann, J.H.: ' Towards a formal semantics of UML 2.0 activities ', German Software Engineering Conf. 2005, 2005, http://www.pst.ifi.lmu.de/personen/stoerrle/V/AD-11-Limits.pdf, accessed July 26, 2006
13. Eshuis, R.: ' Symbolic model checking of UML activity diagrams ', ACM Trans. Softw. Eng. Methodol., 2006, 15, (1), p. 1-38 10.1145/1125808.1125809 1049-331X
14. Maggiolo-Schettini, A., Peron, A., and Tini, S.: ' Equivalences of statecharts ', CONCUR '96, 1996, p. 687-702, (LNCS, 1119)
15. Harel, D.: ' Statecharts: A visual formalism for complex systems ', Sci. Comput. Program., 1987, 8, (3), p. 231-274 10.1016/0167-6423(87)90035-9 0167-6423
16. Park, M.H., Bang, K.S., Choi, J.Y., and Kang, I.: ' Equivalence checking of two statechart specifications ', 11th, Int. Workshop on Rapid System Prototyping, 2000, IEEE Computer Society, p. 46-51
17. Lam, V.S.W., and Padget, J.: ' Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations ', Proc. 2003 IEEE Symp. Human Centric Computing Languages and Environments, 2003, IEEE Computer Society, p. 137-144
18. Milner, R., Parrow, J., and Walker, D.: ' A calculus of mobile process (Parts I and II) ', Inf. and Comput., 1992, 100, p. 1-77
19. Milner, R.: ' The polyadic π-calculus: a tutorial ', Proc. Int. NATO Summer School, 1993, Springer-Verlag, 94, p. 203-246, Logic and Algebra of Specification
20. Parrow, J.: ' An introduction to the π-calculus ', Bergstra, A., Ponse, J.A., Smolka, S.A., Handbook of process algebra, (Elsevier Science, 2001), 8, p. 479-543
21. Milner, R.: ' Communicating and Mobile Systems: the π-calculus ', (Cambridge University Press, 1999)
22. OMG: UML 2.0 superstructure specification August 2005, http://www.omg.org, accessed July 28, 2006
23. Lam, V.S.W.: ' On π-calculus semantics as a formal basis for UML activity diagrams ', Int. J. Softw. Eng. Knowl. Eng., To be published 0218-1940
24. Pilone, D., and Pitman, N.: ' UML 2.0 in a nutshell ', (O'Reilly, 2005)
25. Bock, C.: ' UML 2 activity and action models ', J. Object Technol., 2003, 2, (4), p. 43-53
26. Bock, C.: ' UML 2 activity and action models part 3:control nodes ', J. Object Technol., 2003, 2, (6), p. 7-23
27. Bennett, S., Skelton, J., and Lunn, K.: ' Schaum's outlines of UML ', 2nd (McGraw-Hill, 2005)
28. Johnsonbaugh, R.: ' Discrete mathematics ', revised (Macmillan, 1986)