A method for verifiable and validatable business process modeling

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

Volumn 5316 LNCS, Issue , 2008, Pages 59-115

  Börger, Egon ^a   Thalheim, Bernhard ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVITY DIAGRAM (AD); BUSINESS PROCESS MODELING; BUSINESS PROCESSING; RULE-BASED; UML 2.0;

INFORMATION THEORY; PROCESS ENGINEERING;

SOFTWARE ENGINEERING;

EID: 55249110428     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89762-0_3     Document Type: Conference Paper

References (42)

1. OMG Unified Modeling Language superstructure (final adopted specification, version 2.0) (2003), http://www.omg.org
2. Web Services Business Process Execution Language version 2.0. OASIS Standard, (April 11,2007), http://docs.oasis-open.org/wsbpel/2.0/0S/wsbpel-v2.0- OS.html
3. Barros, A., Dumas, M., ter Hofstede, A.H.M.: Service interaction patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005, vol. 3649, pp. 302-318. Springer, Heidelberg (2005)
4. Barros, A., Borger, E.: A compositional framework for service interaction patterns and interaction flows. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 5-35. Springer, Heidelberg (2005)
5. Batory, D., Borger, E.: Modularizing theorems for software product lines: The Jbook case study,Universal Computer Science,Special ASM Issue(2008): Coupling Design and Verification in Software Product Lines. In: Hartmann, S., Kern- Isberner, G. (eds.) FoIKS 2008. LNCS, vol. 4932, pp. 1-4. Springer, Heidelberg (2008)
6. Batory, D., O'MaUey, S.: The design and implementation of hierarchical software systems with reusable components. In: ACM TOSEM, ASM (October 1992)
7. Börger, E.: High-level system design and analysis using Abstract State Machines. In: Hutter, D., Traverse, P. (eds.) FM-Trends 1998, vol. 1641, pp. 1-43. Springer, Heidelberg (1999)
8. Börger, E.: The ASM refinement method. Formal Aspects of Computing 15, 237- 257 (2003)
9. Börger, E.: Construction and analysis of ground models and their refinements as a foundation for validating computer based systems. Formal Aspects of Computing 19, 225-241 (2007)
10. Börger, E.: Modeling workflow patterns from first principles. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 1-20. Springer, Heidelberg (2007)
11. Börger, E., Fruja, G., Gervasi, V., Stärk, R.: A high-level modular definition of the semantics of C#. Theoretical Computer Science 336(2-3), 235-284 (2005)
12. Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
13. Börger, E., Stärk, R.F.: Exploiting Abstraction for Specification Reuse. The Jsva/C# Case Study. In: de Boer. F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 42-76. Springer, Heidelberg (2004)
14. Börger, E., Thalheim, B.: On defining the behavior of OR-joins in business process models( in preparation)
15. BPMI.org. Business Process Modeling Notation Specification v. 1.0. dtc/2006-02-01 (2006), http://www.omg.org/technology/documents/spec-catalog.htm
16. BPMI.org. Business Process Modeling Notation Specification v. 1.1. formal/2008- 01-17 (2008), http://www.0mg.0rg/spec/BPMN/l.1/PDF
17. Dijkman, R.M., Dumas, M., Ouyang, C: Formal semantics and analysis of BPMN process models using Petri nets. Technical Report 7115, Queensland University of Technology, Brisbane (2007)
18. Farahbod, R., et al.: The CoreASM Project, :http://www.coreasm.org
19. Farahbod, R., Gervasi, V., Glässer, U.: CoreASM: An Extensible ASM Execution Engine. Fundamenta Informaticae XXI (2006)
20. Farahbod, R., Glasser, U., Vajiliollahi, M.: Specification and validation of the business process execution language for web services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol. 3052, pp. 78-94. Springer, Heidelberg (2004)
21. Farahbod, R., Glässer, U., Vajihollahi, M.: An Abstract Machine Architecture for Web Service Based Business Process Management. Int. J. Business Process Integration and Management 1(4), 279-291 (2006)
22. Freund, J.: BPM-softwaie-2008. Berlin, Germany (2008), http://www.comunda.com:
23. Grosskopf, A.: xBPMN. Formal control flow specification of a BPMN based process execution language. Master's thesis, HPI at Universität Potsdam, pp. 1-142 (July 2007)
24. Gruhn, V., Laue, R.: How style checking can improve business process models. In: Proc. 8th International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus (May 2006)
25. Gruhn, V., Laue, R.: What business process modelers can learn from programmers. Science of Computer Programming 65, 4-13 (2007)
26. Knuth, D.E.: Literate Programming. Number 27 in CSLI Lecture Notes. Center for the Study of Language and Information at Stanford/ California (1992)
27. Lavagno, L., Sangiovanni-Vincentelli, A., Sentovitch, E.M.: Models of computation for system design. In: Börger, E. (ed.) Architecture Design and Validation Methods, pp. 243-295. Springer, Heidelberg (2000)
28. Listiani, M.: Review on business process modeling notation. Master's thesis. Institute of Telematics of Hamburg University of Technology (July 2008)
29. Ouyang, C., Dumas, M., van der Aalst, W.M.P., Hofstede, A.H.M.: From business process models to process-oriented software systems: The BPMN to BPEL way. Technical Report 06-27, BPMcenter (2006) http://is.tm.tue.nl/staff/ wvdaalst/BPMcenter/
30. R.ecker, J., Mendling, J.: Research Issues in Systems Analysis and Design, Databases and Software Development. In: Chapter Lost in Business Process Model Translations.How a Structured Approach helps to Identify Conceptual Mismatch, pp. 227-259. IGI Publishing, Hershey (2007)
31. Russel, N., ter Hofstede, A., Edmond, D., van der Aalst, W.M.P.: Workflow data patterns. BPM-04-01 at BPMcenter.org (2004)
32. Russel, N., ter Hofstede. A., Edmond, D., van der Aalst, W.M.P.: Workflow resource patterns. In: BPM-04-07 at BPMcenter.org (2004)
33. Russel, N., ter Hofstede, A., van der Aalst, W.M.P., Mulyar, N.: Workflow control- flow patterns: A revised view. BPM-06-22 July (2006), at http://is.tm.tue.nl/staff/wvdaalst/BPMcenter/
34. Schattkowsky, T., Förster, A.: On the pitfalls of UML 2 activity modeling. In: International Workshop on Modeling in Software Engineering (MISE 2007), IEEE Computer Society Press, Los Alamitos (2007)
35. Stärk, R.F., Schmid, J., Börger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)
36. Storrle, H., Hausman, J.H.: Towards a formal semantics of UML 2.0 activities. In: Proc. Software Engineering 2005, (2005)
37. van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases 14(3), 5-51 (2003)
38. White, S.A.: Process modeling notations and workflow patterns (2007). pbmn.org/Documents (download September)
39. Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A., R.ussel, N.: On the suitability of BPMN for business process modelling. In:4th Int. Conf. on Business Process Management (2006) (submitted)
40. Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A., Russel, N.: Pattern-based analysis of BPMN - an extensive evaluation of the control-flow, the data and the resource perspectives (revised version). BPM-06-17 at BPMcenter.org (2006)
41. Wong, P.Y.H., Gibbons, J.: A process semantics fo BPMN. Preprint Oxford University Computing Lab URL (July 2007), :http://web.comlab.ox.ac.uk/oucl/work/ peter.wong/pub/bpmn-extended.pdf
42. Wynn, M.T., Edmond, D., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 423-443. Springer, Heidelberg (2005)