Relation between UML2 activity diagrams and CSP algebra

WSEAS Transactions on Computers

Volumn 4, Issue 10, 2005, Pages 1234-1239

  Scuglik, Frantisek ^a  

^a BRNO UNIVERSITY OF TECHNOLOGY   (Czech Republic)

Author keywords

Automated translation; CSP; Formal Specification; UML; Verification

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS; INTERFACES (COMPUTER); OBJECT ORIENTED PROGRAMMING;

AUTOMATED TRANSLATION; COMMUNICATING SEQUENTIAL PROCESSES (CSP); FORMAL SPECIFICATION; UNIFIED MODELING LANGUAGE (UML);

SOFTWARE ENGINEERING;

EID: 24644452682     PISSN: 11092750     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. Clarke, E.M. jr., Grumberg, O., Peled, D.A.: Model checking, The MIT Press, London, 2000, ISBN 0-262-03270-8
2. Hoare C.A.R.: Communicating sequential processes, Prentice-Hall 1985, ISBN 0-13-153271-8
3. Schneider, Gay: Concurrent and real time systems, http://www.cs.rhbnc. ac.uk/books/concurrency/course/index.html, 2001
4. UML 2.0 Superstructure Specification, http://www.omg.org, 2004
5. Šcuglík František, Švéda Miroslav: Automatically Generated CSP Specifications, In: Proceedings of the IEEE TC-ECBS and IFIP WG 10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003, Huntsville, AL, US, US, 2003, p. 41-47
6. Muan Yong Ng, Michael J. Butler: Tool Support for Visualizing CSP in UML. ICFEM 2002:287-298
7. Charles Crichton, Jim Davies, Alessandra Cavarra, A Pattern for Concurrency in UML, Oxford University Computing Laboratory, England, December 2001
8. Christie Bolton, Jim Davies, Activity Graphs and Processes, In W. Grieskamp, T. Santen and W. Stoddart, editors, Proceedings of IFM 2000. Springer, 2000
9. K. Havelund, N. Shankar, Experiments in Theorem Proving and Model Checking, Formal Methods Europe FME '96, Springer-Verlag, Oxford, UK. March, 1996, Pages 662, 681
10. Peter Henderson, Bob Walter, Behavioural analysis of Komponent-Based Systéme, In: Information and Software technology, 2001, vol. 43, No 3., pp 161-169