Exspect 6.4 an executable specification tool for hierarchical colored petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1825, Issue , 2000, Pages 455-464

  van der Aalst, Wil M P ^a   de Crom, Poul J N ^b   Goverde, Roy R H M J ^b   Van Hee, Kees M ^a,b   Hofman, Wout J ^b   Reijers, Hajo A ^a,b   Van Der Toorn, Robert A ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b Department of Information and Communication Technology ^*  (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC COMMERCE;

COLORED PETRI NETS; ELECTRONIC COMMERCE APPLICATIONS; EXECUTABLE SPECIFICATIONS; FLOW OF CONTROL; HIERARCHICAL COLORED PETRI NETS; MESSAGE SEQUENCE CHARTS; MODEL AND SIMULATION; SIMULATION ENGINE;

PETRI NETS;

EID: 84947264708     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44988-4_26     Document Type: Conference Paper

References (17)

1. van der Aalst, W.M.P.. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66, (1998).
2. van der Aalst, W.M.P.. Process-oriented Architectures for Electronic Commerce and Interorganizational Workflow. Information Systems, 24(8):639-671, (2000).
3. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison Wesley (1998).
4. de Crom, P.J.N.: The design of a new graphical user interface for ExSpect. Final report of the postgraduate program Software Technology. ISBN 90-5282-566-1. Stan Ackermans Instituut, Eindhoven (1995).
5. CCITT. CCITT Recommendation Z.120: Message Sequence Chart (MSC92). Technical report, CCITT, Geneva (1992).
6. Deloitte & Touche Bakkenist. ExSpect. Product Management ExSpect P.O. Box 23103, 1100 DP Amsterdam, The Netherlands. http//www.exspect.com/ (1999).
7. Deloitte & Touche Bakkenist. ExSpect 6 User Manual. Product Management ExSpect P.O. Box 23103, 1100 DP Amsterdam, The Netherlands (1997).
8. Deloitte & Touche Bakkenist. ExSpect Language Tutorial (rel 6.0). Product Management ExSpect P.O. Box 23103, 1100 DP Amsterdam, The Netherlands (1997).
9. van Hee, K.M. Information Systems Engineering: a Formal Approach. Cambridge University Press (1994).
10. van Hee, K.M., Somers, L.J., Voorhoeve, M. Executable Specifications for Distributed Information Systems, in E.D. Falkenberg, P. Lindgreen (eds.), Information System Concepts: an in-depth analysis, North Holland, pages 139-156 (1989).
11. van Hee, K.M., van der Toorn, R.A., van der Woude, J., Verkoulen, P.: A Framework for Component Based Software Architectures. In W.M.P. van der Aalst, J. Desel, and R. Kaschek, editors, Software Architecture Business Process Management (SABPM’99), pages 1-20, Heidelberg, Germany, June 1999, Forschungsbericht Nr. 390, University of Karlsruhe, Insitut AIFB, Karlsruhe, Germany (1999).
12. Microsoft. Component Object Model (COM). http://www.microsoft.com/com/.
13. Pallas Athena. PROTOS User Manual. Pallas Athena BV, Plasmolen, The Netherlands (1997).
14. Reijers, H.A. and Van der Aalst, W.M.P.: Short-term Simulation: Bridging the gap between operational control and decision making. In Proceedings of the IASTED International Conference on Modeling and Simulation 1999, May 5-8, Philadelphia. ACTA Press, Pittsburg PA, pages 417-421 (1999).
15. Software-Ley. COSA® User Manual. Software-Ley GmbH, Pullheim, Germany (1996).
16. SMIS group, Department of Computing Science, Eindhoven University of Technology. Woflan. http://www.win.tue.nl/~woflan.
17. Department of Computing Science, University of Aarhus. Tools on the Web. http://www.daimi.aau.dk/PetriNets/tools/.