Towards a methodology for semantic business process modeling and configuration

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

Volumn 4907 LNCS, Issue , 2009, Pages 176-187

  Weber, Ingo ^a   Hoffmann, Jörg ^b   Mendling, Jan ^c   Nitzsche, Jörg ^d  

^a SAP RESEARCH   (Germany)

^b UNIVERSITY OF INNSBRUCK   (Austria)

^c QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^d UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT; SEMANTICS;

BUSINESS PROCESS MANAGEMENTS; BUSINESS PROCESS MODELING; COMPOSITION TECHNIQUES; CONTROL FLOWS; EXECUTABLE PROCESS; IT INFRASTRUCTURES; POTENTIAL BENEFITS; PROCESS ACTIVITIES; PROCESS CONFIGURATIONS; PROCESS STEPS; PROCESS VALIDATIONS;

INFORMATION THEORY;

EID: 60349086416     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-93851-4_18     Document Type: Conference Paper

References (29)

1. Hepp, M., Hinkelmann, K., Karagiannis, D., Klein, R., Stojanovic, N. (eds.): Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SBPM 2007), Innsbruck, Austria (2007)
2. US Dept. of the Treasury, CIO Council: Treasury Enterprise Architecture Framework Version 1.0 (2000) [Retrieved September 4, 2007], http://www. eaframeworks.com/TEAF/teaf.doc
3. Leymann, F., Roller, D.: Production Workflow - Concepts and Techniques. Prentice-Hall, Englewood Cliffs (2000)
4. Dumas, M., ter Hofstede, A., van der Aalst, W.M.P. (eds.): Process Aware Information Systems: Bridging People and Software Through Process Technology. Wiley, Chichester (2005)
5. van Hee, K., Sidorova, N., Somers, L., Voorhoeve, M.: Consistency in model integration. Data & Knowledge Engineering 56, 4-22 (2006)
6. Frederiks, P.J.M., van der Weide, T.P.: Information modeling: The process and the required competencies of its participants. Data & Knowledge Engineering 58, 4-20 (2006)
7. Fantini, P., Savoldelli, A., Milanesi, M., Carizzoni, G., Koehler, J., Stein, S., Angeli, R., Hepp, M., Roman, D., Brelage, C., Born, M.: SUPER Deliverable D2.2: Semantic Business Process Life Cycle (August 6, 2007) (2007), http://www.ip-super.org/res/Deliverables/M12/D2.2.pdf
8. Becker, J., Kugeler, M., Rosemann, M. (eds.): Preparation of Process Modeling. Process Management: A Guide for the Design of Business Processes, pp. 41-78. Springer, Heidelberg (2003)
9. Born, M., Dörr, F., Weber, I.: User-friendly Semantic Annotation in Business Process Modeling. In: Hf-SDDM 2007: Workshop on Human-friendly Service Description, Discovery and Matchmaking, at WISE 2007, Nancy, France (to appear, 2007)
10. Markovic, I., Pereira, A.C.: A formal framework for reuse in business process modeling. In: Workshop on Advances in Semantics for Web services (semantics4ws), at BPM 2007, Brisbane, Australia (to appear, 2007)
11. van der Aalst, W.M.P.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997)
12. Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes using Woflan. The Computer Journal 44, 246-279 (2001)
13. Dehnert, J., van der Aalst, W.M.P.: Bridging The Gap Between Business Models And Workflow Specifications. International J. Cooperative Inf. Syst. 13, 289-332 (2004)
14. Mendling, J., van der Aalst, W.M.P.: Formalization and Verification of EPCs with OR-Joins Based on State and Context. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 439-453. Springer, Heidelberg (2007)
15. 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)
16. Pistore, M., Traverso, P., Bertoli, P.: Automated composition of web services by planning in asynchronous domains. In: 15th International Conference on Automated Planning and Scheduling (ICAPS 2005) (2005)
17. Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of the 18th IEEE Annual Symposium on the Foundations of Computer Science, pp. 46-57. IEEE Computer Society Press, Providence (1977)
18. Bertino, E., Ferrari, E., Atluri, V.: The Specification and Enforcement of Authorization Constraints in Workflow Management Systems. ACM Transactions on Information and System Security (TISSEC) 2 (1999)
19. Nitzsche, J., van Lessen, T., Karastoyanova, D., Leymann, F.: BPEL for Semantic Web Services (submitted, 2007)
20. Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Guízar, A., Kartha, N., Liu, C.K., Khalaf, R., König, D., Marin, M., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language version 2.0. Committee specification, OASIS (2007)
21. Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 (2001)
22. Recker, J., Mendling, J.: On the Translation between BPMN and BPEL: Conceptual Mismatch between Process Modeling Languages. In: Latour, T., Petit, M. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 521-532. Springer, Heidelberg (2006)
23. Mendling, J., Lassen, K., Zdun, U.: On the transformation of control flow between block-oriented and graph-oriented process modeling languages. International Journal of Business Process Integration and Management 2 (2007)
24. Ouyang, C., Dumas, M., Breutel, S., ter Hofstede, A.: Translating standard process models to BPEL. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 417-432. Springer, Heidelberg (2006)
25. Nitzsche, J., van Lessen, T., Karastoyanova, D., Leymann, F.: WSMO/X in the Context of Business Processes: Improvement Recommendations. International Journal of Web Information Systems (2007) ISSN: 1744-0084
26. Haller, A., Cimpian, E., Mocan, A., Oren, E., Bussler, C.: WSMX - a semantic service-oriented architecture. In: Proceedings of the International Conference on Web Services (ICWS 2005), Orlando, USA (2005)
27. Li, Z., Sun, W., Du, B.: Bpel4ws unit testing: Framework and implementation. International Journal of Business Process Integration and Management 2 (2007)
28. Chappell, D.A.: Enterprise Service Bus. O'Reilly, Sebastopol (2004)
29. Abramowicz, W., Filipowska, A., Kaczmarek, M., Kaczmarek, T.: Semantically enhanced Business Process Modelling Notation. In: [1]