BPMN 2.0 execution semantics formalized as graph rewrite rules

Lecture Notes in Business Information Processing

Volumn 67 LNBIP, Issue , 2010, Pages 16-30

  Dijkman, Remco ^a   Van Gorp, Pieter ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; COMPUTER SIMULATION; ENGINES;

AS GRAPH; EXECUTION SEMANTICS; REWRITE RULES; SERVICE ORCHESTRATION AND CHOREOGRAPHY; WORKFLOW ENGINES;

SEMANTICS;

EID: 84876244902     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-16298-5_4     Document Type: Conference Paper

References (20)

1. Object Management Group: Business process model and notation beta 1 for version 2.0. Technical Report dtc/2009-08-14, Object Management Group, Needham, MA, USA (2009)
2. Workflow Management Coalition: Process definition interface - XML process definition language version 2.1a. Technical Report WFMC-TC-1025, Workflow Management Coalition, Hingham, MA, USA (2008)
3. Workflow Management Coalition: XPDL implementations (June 2010), http://www.wfmc.org/xpdl-implementations.html (accessed May 21, 2010)
4. Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. I. World Scientific Publishing Co., Inc., River Edge (1997)
5. Jakumeit, E., Buchwald, S., Kroll, M.: GrGen.NET. International Journal on Software Tools for Technology Transfer, STTT (2010)
6. Heckel, R.: Tutorial introduction to graph transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 458-459. Springer, Heidelberg (2008)
7. Habel, A., Pennemann, K.h.: Correctness of high-level transformation systems relative to nested conditions† Mathematical. Structures in Comp. Sci. 19(2), 245-296 (2009)
8. Van Gorp, P., Mazanek, S., Rensink, A.: Transformation Tool Contest - Awards (2010), http://is.ieis.tue.nl/staff/pvgorp/events/TTC2010/?page=Awards
9. Van Gorp, P.: BPMN semantics: online virtual machine (2010), http://is.ieis.tue.nl/staff/pvgorp/share/?page=ConfigureNewSession&vdiID=364
10. Budinsky, F., Brodsky, S.A., Merks, E.: Eclipse Modeling Framework. Pearson Education, London (2003)
11. Wong, P.Y., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 355-374. Springer, Heidelberg (2008)
12. Wong, P.Y., Gibbons, J.: Formalisations and applications of BPMN. Science of Computer Programming (2009) (in Press, Corrected Proof)
13. Dijkman, R., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in bpmn. Information and Software Technology (IST) 50(12), 1281-1294 (2008)
14. Prandi, D., Quaglia, P., Zannone, N.: Formal analysis of BPMN via a translation into COWS. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 249-263. Springer, Heidelberg (2008)
15. Raedts, I., Petkovic, M., Usenko, Y., van der Werf, J., Groote, J., Somers, L.: Transformation of BPMN models for behaviour analysis. In: Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, pp. 126-137. INSTICC Press (2007)
16. Dumas, M., Grosskopf, A., Hettel, T., Wynn, M.: Semantics of standard process models with or-joins. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 41-58. Springer, Heidelberg (2007)
17. Takemura, T.: Formal semantics and verification of BPMN transaction and compensation. In: Proceedings of the IEEE Asia-Pacific Conference on Services Computing, pp. 284-290. IEEE Computer Society, Los Alamitos (2008)
18. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)
19. van der Aalst, W.: Verification of workflow nets. In: Proceedings of the 18th International Conference on Application and Theory of Petri Nets, pp. 407-426 (1997)
20. Prandi, D., Quaglia, P.: Stochastic COWS. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 245-256. Springer, Heidelberg (2007)