Using π-calculus to formalize UML activity diagram for business process modeling

Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003

Volumn , Issue , 2003, Pages 47-54

  Yang, Dong ^a   Zhang, ShenSheng ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

Business communication; Calculus; Computer architecture; Process control; Programming; Software safety; Software standards; Software tools; Standards development; Unified modeling language

Indexed keywords

CALCULATIONS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL METHODS; MATHEMATICAL PROGRAMMING; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; SAFETY ENGINEERING; SEMANTICS; SOFTWARE DESIGN; SOFTWARE ENGINEERING; STANDARDIZATION; SYSTEMS ANALYSIS; SYSTEMS ENGINEERING; UNIFIED MODELING LANGUAGE;

BUSINESS COMMUNICATIONS; CALCULUS; SOFTWARE SAFETY; SOFTWARE STANDARDS; STANDARDS DEVELOPMENT;

PROCESS CONTROL;

EID: 84943410384     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2003.1194782     Document Type: Conference Paper

References (16)

1. Schader, M., Korthaus, A, .Modeling Business Processes as Part of the BOOSTER Approach to Business Object-Oriented Systems Development Based on UML, EDOC '98.
2. OMG Unified Modeling Language Specification (version 1.4), 2001,9, http://www.omg.org
3. Booch, G., J. Rumbaugh and I. Jacobson, "The Unified Modeling Language User Guide", Addison Wesley, 1999.
4. E. Borger, A. Cavarra, and E. Riccobene. An ASM Semantics for UML Activity Diagrams. 8th International Conference, AMAST 2000, volume 1816 of LNCS, pages 293-308. Springer-Verlag, 2000.
5. Roberto W. S. Rodrigues,Formalising UML Activity Diagrams using Finite State Processes, UML2000 workshop.
6. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
7. Robin Milner, Communicating and Mobile Systems: the π - calculus, Cambridge University Press, May 1999
8. R. Milner, J. Parrow, and D. Walker. A calculus for mobile processes. Journal of Information and Computation, 100:1 77, 1992.
9. Milner R., The Polyadic π - calculus : A Tutorial. in: Logic and Algebra of Specification, Bauer, Brauer, Schwichtenberg (eds.), 203-246, Springer, (1993).
10. Colin stirling, Modal and Temporal logic for processes, Lecture Notes in Computer Science 1043, 149-237, 1996
11. B. Victor and F. Moller. The Mobility Workbench - A Tool for the π - calculus . In D. Dill, ed., Proceedings of the Conference on Computer-Aided Verification (CAV'94), volume 818 of LNCS, pages 428-440. SpringerVerlag, 1994.
12. B. Victor and F. Moller.,The Mobility Workbench User's Guide, http://www.docs.uu.se/~victor/mwb.shtml
13. Rance Cleaveland, Joachim Parrow, and Bernhard Steffen. The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems. ACM Transactions on Programming Languages and Systems, 15(1):36-72, January 1993. 153
14. W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
15. Martin Gogolla and Mark Richters, Expressing UML Class Diagr ams Properties with OCL,LNCS 2263, p. 85, 2002.
16. A. Schleicher, B. Westfechtel, and D. JSger. Modeling dynamic software processes in UML. Technical Report AIB 98-11, RWTH Aachen, Germany, 1998