EPC workflow model to WIFA model conversion

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 4, Issue , 2006, Pages 2758-2763

  Tsai, Anni ^b   Wang, Jiacun ^a,c   Tepfenhart, William ^c   Rosca, Daniela ^c  

^a IEEE

^b Monmouth University ^*

^c MONMOUTH UNIVERSITY   (United States)

Author keywords

EPC; Formal methods; Modeling; Verification; Workflow management system

Indexed keywords

COMMAND AND CONTROL SYSTEMS; FORMAL METHODS; MATHEMATICAL MODELS; SEARCH ENGINES;

EVENT-DRIVEN PROCESS CHAINS (EPC); WELL-FORMEDNESS; WORKFLOW INTUITIVE FORMAL APPROACH (WIFA); WORKFLOW MANAGEMENT SYSTEM;

COMPUTER SIMULATION;

EID: 34548134127     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2006.385291     Document Type: Conference Paper

References (11)

1. Adam N.R., V. Atluri and W. Huang, "Modeling and Analysis of Workflows Using Petri Nets", Journal of Intelligent Information Systems, pp. 131-158, Match 1998.
2. van der Aalst W.M.P., "Three Good Reasons for Using a Petri Net-Based Workflow Management System", Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC'96), pp. "179-201, Nov 1996.
3. Wil van der Aalst, Jörg Desel, Eltkart Kindler: On the semantics of EPCs: A vicious circle. In: M. Nüttgens, F. Rump (eds.): EPK 2002 -Geschäftsprozessmanagement mit Ereignisgesteuerten Prossessketten, Trier, Germany, November 2002 Proceedings pp. 71-79.
4. G. Keller, M. Nuttgens, and A.W. Scheer. Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Processketten (EPK). Verö ffentlichungen, des Instituts für Wirtschaftsinformatik, Heft 89 (inGermnan), University of Saarland, Saarbrüeken, 1992.
5. Marinescu D.C., Internet-Based Workflow Management: Towards a Semantic Web, Wiley Series on Parallel and Distributed Computing, vol. 40, Wiley-Interscience, NY, 2002
6. Rosea D., S. Greenspan, C. Wild, "Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle", Automated Software Engineering Journal,Kluwer Academic Publishers, vol.9, pp.361-404, 2002.
7. Singh M.P., G. Meredith, C. Tomlinson, and P.C. Attie, "An Event Algebra for Specifying and Scheduling Workflows," Proceedings 4th International Conference on Datahase System for Advance Application, pp. 53-60, 1995.
8. Wang J., Timed Petri Nets: Theory and Application, Kluwer Academic Publishers, 1998, ISBN: 0-7923-8270-6.
9. Weske M., "Formal Foundation and conceptual design of dynamic adaptation in a workflow management system", Proceedings HICSS-34, 2001.
10. rd Conference on Business Process Management, Nancy, France, Sept. 6-8, 2005.
11. Wodtke D. and G. Weikum, "A Formal Foundation for Distributed Workflow Execution Based State Charts," Proceedings 18th International Conference on Database theory, 1997.