How Style checking can improve business process models

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006

Volumn , Issue , 2006, Pages 47-56

  Gruhn, Volker ^a   Laue, Ralf ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS MODEL; EVENT DRIVEN PROCESS CHAIN; GRAPHICAL LANGUAGES; TRANSLATION ALGORITHMS; TRANSLATION PROCESS; UML ACTIVITY DIAGRAMS; VERIFICATION TECHNIQUES;

INFORMATION SYSTEMS; TRANSLATION (LANGUAGES);

MODEL CHECKING;

EID: 84880287322     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. Aalst, W.: Woflan: a Petri-net-based workflow analyzer. Syst. Anal. Model. Simul. 35 (1999) 345-357
2. Matousek, P.: Verification of Business Process Models. PhD thesis (2003)
3. Eshuis, R.: Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis, University of Twente, Enschede (2002)
4. Barjis, J., Shishkov, B., Dietz, J.L.: Validation of business components via simulation. In: proceedings of the 4th International Eurosim 2001 Congress. (2001)
5. van Dongen, B.F., Aalst, W., Verbeek, H.M.W.: Verification of EPCs: Using reduction rules and Petri nets. In: CAiSE. (2005) 372-386
6. van Dongen, B.F., Jansen-Vullers, M.H.: EPC verification in the ARIS for MySAP reference model database. In: BETA Working Paper Series, WP 142, Eindhoven University of Technology, Eindhoven. (2005)
7. Aalst, W.: Formalization and verification of event-driven process chains. Information & Software Technology 41 (1999) 639-650
8. Langner, P., Schneider, C., Wehler, J.: Relating event-driven process chains to boolean petri nets. Report (1997)
9. Kindler, E.: On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. In: Business Process Management. (2004) 82-97
10. Dehnert, J., Aalst, W.: Bridging The Gap Between Business Models And Workflow Specifications. Int. J. Cooperative Inf. Syst. 13 (2004) 289-332
11. Rittgen, P.: Quo vadis EPK in ARIS? Wirtschaftsinformatik 42 (2000) 27-35
12. Wynn, M.T., Edmond, D., Aalst, W., ter Hofstede, A.H.M.: Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. In: ICATPN. (2005) 423-443
13. Cuntz, N., Freiheit, J., Kindler, E.: On the Semantics of EPCs: Faster calculation for EPCs with small state spaces. In: EPK 2005, Geschä ftsprozessmanagement mit Ereignisgesteuerten Prozessketten. (2005) 7-23
14. Aalst, W., Desel, J., Kindler, E.: On the semantics of EPCs: A vicious circle. In: EPK 2004, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten. (2002) 71-79
15. Holl, A., Valentin, G.: Structured business process modeling (SBPM). In: Information Systems Research in Scandinavia (IRIS 27) (CD-ROM). (2004)
16. Laue, R.: ebus.informatik.uni-leipzig.de/~laue (2005)
17. Aalst, W.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8 (1998) 21-66
18. Gruhn, V., Laue, R.: Einfache EPK-Semantik durch praxistaugliche Stilregeln. In: EPK 2005, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten. (2005) 176-189
19. Cuntz, N., Kindler, E.: On the semantics of EPCs: Efficient calculation and simulation. In: EPK 2004: Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Proceedings. (2004) 7-26
20. Aalst, W., Hofstede, A.: YAWL: Yet another workflow language. Technical Report FIT-TR-2002-06, Queensland University of Technology, Brisbane (2002)
21. Störrle, H.: Semantics of UML 2.0 Activities. In: Symposium on Visual Languages - Human Centric Computing (VL/HCC'04, Proceedings), IEEE (2004) 235-242