Toward extracting π-calculus from UML sequence and state diagrams

Electronic Notes in Theoretical Computer Science

Volumn 101, Issue , 2004, Pages 51-72

  Pokozy Korenblat, Katerina ^a   Priami, Corrado ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

Process algebras; Sequence diagram; Specification; State diagram; UML; calculus

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; LARGE SCALE SYSTEMS; SOFTWARE ENGINEERING; SPECIFICATIONS;

PROCESS ALGEBRAS; SEQUENCE DIAGRAMS; STATE DIAGRAMS; UNIFIED MODELING LANGUAGE (UML); Π-CALCULUS;

DIFFERENTIATION (CALCULUS);

EID: 23844539095     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.09.007     Document Type: Conference Paper

References (19)

1. Alur, R., Etessami, K., Yannakakis M.: Inference of message sequence charts. Proc. ICSE'OO, Limerick, Ireland (2000)
2. Aredo, D.B.: Semantics of UML Sequence Diagrams in PVS. Proc. UML2000
3. Booch, G., Rumbaugh, J. and Jacobson, I.: UML notation guide, version 1.1. Rational Software Corporation, Santa Clara, CA (1997)
4. Broy, M. et al.: From MSCs to statecharts. Distributed and parallel embedded systems. Kluwer Academic Publisher (1999)
5. Canevet, C., Gilmore, S., Hillston, J., and Stevens, P.: Performance modelling with UML and stochastic process algebras. Proc. UK PEW (2002)
6. Caraguili C., Piazza D., Mura I. et al.: Specification in UML of case studies. DEGAS project deliverable 24, http://www.omnys.it/degas/ (2002)
7. Caraguili C., Priami C. et al.: Static and Dynamic Analysis of case studies. DEGAS project deliverable 25, http://www.omnys.it/degas/ (2003)
8. Dumond, Y., Girardet, D. and Oquendo, F.: A Relationship Between Sequence and Statechart Diagrams. Proc. «UML»2000, York, UK (2000)
9. Gogolla M., Ziemann P. and Kuske S.: Towards an Integrated Graph Based Semantics for UML, Proc. GT-VMT 2002, Barcelona, Spain (2002)
10. Heckel R. and Sauer S.: Strengthening UML Collaboration Diagrams by State Transformations. Proc. FASE 2001
11. Latella, D., Majzik, I., Massink, M.: Toward a formal operational semantics of UML statechart diagrams. Proc. FMOODS'99, Florence, Italy (1999)
12. Mauw, S. and Reniers M.A.: Operational semantics for MSC'96. Computer networks (Amsterdam, Netherlands), Vol. 31, N17 (1999)
13. Milner, R.: Communicating and Mobile Systems: the π-calculus. Cambridge Univ. Press (1999)
14. Nottegar, C., Priami, C. and Degano, P.: Performance Evaluation of Mobile Processes via Abstract Machines. IEEE Trans. on Software Engineering,Vol. 27/10 (2001)
15. Pettit IV, R.G. and Gomaa, H.: Validation of Dynamic Behavior in UML Using Colored Petri Nets. Proc. UML2000
16. Priami, C.: Stochastic π-calculus. The Computer Journal. Vol. 38, N 6 (1995)
17. Roubtsova, E. and Kuiper R. Process semantics for UML component specifications to assess inheritance. Proc. GT&VMT'02, Elsevier Journal, Electronic Notes in Theoretical Computer Science 72(4), Barcelona, Spain (2002)
18. Uchitel, S. and Kramer J.: A Workbench for Synthesising Behaviour Models from Scenarios. Proc. ICSE'01, Toronto, Canada. ACM Press, (2001)
19. Whittle, J. and Schumann J.: Generating Statechart designs from scenarious. ICSE'00, Limerick, Ireland (2000)