Role activity diagrams as finite state processes

Proceedings - 2nd International Symposium on Parallel and Distributed Computing, ISPDC 2003

Volumn , Issue , 2003, Pages 15-22

  Badica, Costin ^a   Badica, Amelia ^a   Litoiu, Valentin ^a  

^a UNIVERSITY OF CRAIOVA   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; DISTRIBUTED COMPUTER SYSTEMS; SEMANTICS; SYSTEMS ANALYSIS;

BUSINESS MANAGEMENT; BUSINESS PROCESS; COMPUTATIONAL PROCESS; FINITE STATE PROCESS; FORMAL SEMANTICS; MATHEMATICAL LANGUAGES; ROLE ACTIVITY DIAGRAMS; SCIENCE COMMUNITY;

FORMAL METHODS;

EID: 33847232380     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISPDC.2003.1267638     Document Type: Conference Paper

References (24)

1. C. Bolton and J. Davies. Activity graphs and processes. In W. Grieskamp, T. Santen, and B. Stoddart, editors, Proc. Integrated Formal Methods (IFM 2000), number 1945 in Lecture Notes in Computer Science, pages 77-96. Springer Verlag, 2000.
2. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
3. C. Badica, M. Brezovan, and C. Fox. Business process modelling in inspire using petri nets. Periodica Politehnica, Transactions on Automatic Control and Computer Science, 47(61):41-46, 2002.
4. C. Badica and A. Badica. Understanding, modelling and verification: Emerging problems in business processes. Annals of the University of Craiova, Electrical Engineering Series, II(26):3-10, 2002.
5. C. Badica, A. Badica, and V. Litoiu. A new formal idefbased modelling of business processes. accepted for publication in the Proc. of the First Balkan Conference in Informatics, BCI'2003, Thessaloniki, Greece, 2003.
6. C. Badica and C. Fox. Business modelling using process algebras. Bath, UK, 2001. OR'43 (BPCME'01 stream).
7. L. Console, C. Picardi, and M. Ribaudo. Process agebras for systems diagnosis. Artificial Intelligence, 142:19-51, 2002.
8. S. K. Dawkins. Role activity diagrams for safety process definition. Seattle, WA, System Safety Society, P. O. Box 70, Unionville, VA 22567-0070, USA, 1998. International System Safety Conference.
9. D. Giannakapoulou. Model Checking for Concurrent Software Architectures. PhD thesis, Department of Computing, Imperial College of Science, Technology and Medicine, 1999.
10. J. Hillston. Compositional Performance Modelling. Cambridge University Press, 1996.
11. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
12. A. W. Holt, H. R. Ramsey, and J. D. Grimes. Coordination system technology as the basis for a programming environment. Electrical Communication, 57(4):307-314, 1983.
13. W. Janssen. Model checking for managers. In Theoretical and Practical Aspects of SPIN Model Checking: And International SPIN Workshops, number 1680 in Lecture Notes in Computer Science, pages 92-107. Springer Verlag, 1999.
14. C. Karamanolis, D. Giannakapoulou, J. Magee, and S. Wheater. Modelling and analysis of workflow processes. Technical report, Department of Computing, Imperial College of Science, Technology and Medicine, 1999.
15. J. Lee. The pif process interchange format and framework. The Knowledge Engineering Review, 13(1):91-120, 1998.
16. J. Magee and J. Kramer. Concurrency. State Models and Java Programs. John Wiley & Sons, 1999.
17. A. I. Martinez-Garcia and B. C. Warboys. From rads to dess: A mapping from process models to discrete event simulation. In Proc. of the ProSim'98 Workshop, Portland Oregon, USA, 1998.
18. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
19. J. Murdoch and J. A. McDermid. Modeling engineering design processes with role activity diagrams. Journal of Integrated Design and Process Science, 4(2):45-65, 2000.
20. M. Ould. Business Processes: Modeling and Analysis for Re-engineering and Improvement. John Wiley & Sons, 1995.
21. K. Phalp, P. Henderson, G. Abeysinghe, and B. Walters. Rolenact-role based enactable models of business processes. Information and Software Technology, 40(3):45-65, 1998.
22. R. W. S. Rodrigues. Formalising uml activity diagrams using finite state processes. York, UK, 2000. UML'2000, Workshop on Dynamic Behaviour in UML Models: Semantics Questions, On Line Proceedings.
23. M. Schroeder. Verification of business processes for a correspondence handling center using ccs. In Proc. European Symposium on Validation and Verification of Knowledge Based Systems and Components, pages 253-264, Oslo, Norway, 1999.
24. C. Stirling. Modal and Temporal Properties of Processes. Springer Verlag, 2001.