From Business Process Models to Process-Oriented Software Systems

ACM Transactions on Software Engineering and Methodology

Volumn 19, Issue 1, 2009, Pages 1-37

  Dumas, Marlon ^a   Van Der Aalst, Wil M P ^b   Ter Hofstede, Arthur H M ^a   Mendling, Jan ^a   Ouyang, Chun ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

BPEL; BPMN; Business process modeling; Design; Languages; Web services

Indexed keywords

EID: 84900571578     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/1555392.1555395     Document Type: Article

References (36)

1. Ammarguellat, Z. 1992. A control-flow normalization algorithm and its complexity. IEEE Trans. Softw. Eng. 18, 3, 237-251
2. Becker, J., Kugeler, M., and Rosemann, M., Eds. 2003. Process Management. A Guide for the Design of Business Processes. Springer-Verlag
3. Brambilla, M., Ceri, S., Fraternal, P., and Manolescu, I. 2006. Process-modeling in Web applications. ACM Trans. Softw. Eng. Methodol. 15, 4, 360-409
4. Desel, J. and Esparza, J., Eds. 1995. Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol. 40. Cambridge University Press, Cambridge, UK
5. Dijkman, R., Dumas, M., and Ouyang, C. 2008. Semantics and analysis of business process models in BPMN. Article in press in Inf. Softw. Tech
6. Erosa, A. and Hendren, L. 1994. Taming control flow: A structured approach to eliminating goto statements. in Proceedings of the IEEE Computer Society International Conference on Computer Languages. IEEE Computer Society, 229-240
7. Gardner, T. 2003. UML modeling of automated business processes with a mapping to BPEL4WS. In Proceedings of the 1st European Workshop on Object Orientation and Web Services. Springer
8. Giner, P., Torres, V., and Pelechano, V. 2007. Bridging the gap between BPMN and WS-BPEL: M2M TRANSFORMATIONS IN PRACTICE. IN Proceedings of the 3rd International Workshop on Model-Driven Web Engineering (MDWE). CEUR Workshop Proceedings, vol. 261
9. Hong, S., Lee, J., Djuric, A. A. P., and Cho, W.-D. 2007. Design methodology for domain specific parameterizable particle filter realizations. IEEE Trans. Circ. Syst. 54, 9, 1987-2000
10. Johnson, R., Pearson, D., and Pingali, K. 1994. The program structure tree: Computing control regions in linear time. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM Press, 171-185
11. Jordan, D. and Evdemon, J. 2007. Web Services Business Process Execution Language Version 2.0. Committee Specification. OASIS WS-BPEL TC
12. Keller, G. and Teufel, T. 1998. SAP(R) R/3 Process Oriented Implementation: Iterative Process Prototyping. Addison-Wesley
13. Kiepuszewski, B., Ter Hofstede A. H. M., and Bussler, C. 2000. On structured workflow modeling. in Proceedings of 12th International Conference on Advanced Information Systems Engineering. Lecture Notes in Computer Science, vol. 1789. Springer-Verlag, 431-445
14. Kiepuszewski, B., Ter Hofstede A. H. M., and Van Der Aalst, W. M. P. 2003. Fundamentals of control flow in workflows. Acta Inf. 39, 3, 143-209
15. Koehler, J. and Hauser, R. 2004. Untangling unstructured cyclic flows: A solution based on continuations. In Proceedings of the OTM Confederated International Conferences, CoopIS, DOA, and ODBASE, R. Meersman et al., Eds. Lecture Notes in Computer Science, vol. 3290. 121-138
16. Koschmider, A. and Von Mevius, M. 2005. A Petri net based approach for process model-driven deduction of BPEL code. In Proceedings of the OTM Workshops, R. Meersman et al., Eds. Lecture Notes in Computer Science, vol. 3762. Springer, 495-505
17. Liu, R. and Kumar, A. 2005. An analysis and taxonomy of unstructured workflows. In Proceedings of the International Conference on Business Process Management (BPM'05). Lecture Notes in Computer Science, vol. 3649. Springer-Verlag, 268-284
18. Mendling, J., Lassen, K., and Zdun, U. 2006. Transformation strategies between block-oriented and graph-oriented process modeling languages. In Multikonferenz Wirtschaftsinformatik 2006. Band 2, F. Lehner et al., Eds. GITO-Verlag, Berlin, Germany, 297-312
19. Murata, T. 1989. Petri nets: Properties, analysis and applications. Proc. IEEE 77, 4, 541-580
20. Oulsnam, G. 1982. Unravelling unstructured programs. Comput. J. 25, 3, 379-387
21. Ouyang, C., Dumas, M., Breutel, S., and Ter Hofstede, A. H. M. 2006a. Translating standard process models to BPEL. In Proceedings of 18th International Conference on Advanced Information Systems Engineering. Lecture Notes in Computer Science, vol. 4001. Springer-Verlag, 417-432
22. Ouyang, C., Dumas, M., Ter Hofstede, A. H. M., and Van Der Aalst, W. M. P. 2006b. From BPMN process models to BPEL Web services. In Proceedings of 4th International Conference on Web Services. IEEE Computer Society, 285-292
23. Ouyang, C., Dumas, M., Ter Hofstede, A. H. M., and Van Der Aalst, W. M. P. 2008. Pattern-based translation of BPMN process models to BPEL services. Int. J. Web Services Res. 5, 1, 42-61
24. Ouyang, C., Verbeek, H. M. W., Van Der Aalst, W. M. P., Breutel, S., Dumas, M., and Ter Hofstede, A. H. M. 2007. FORMAL SEMANTICS and ANALYSIS OF CONTROL FLOW IN WS-BPEL. Sci. Comput. Program. 67, 2-3, 162-198
25. Pakin, S. 2007. The design and implementation of a domain-specific language for network performance testing. IEEE Trans. Paral. Distrib. Syst. 18, 10, 1436-1449
26. Ramshaw, L. 1988. Eliminating go to's while preserving program structure. J. ACM 35, 4, 893-920
27. Recker, J., Indulska, M., Rosemann, M., and Green, P. 2005. Do process modeling techniques get better? A comparative ontological analysis of BPMN. In Proceedings of the 16th Australasian Conference on Information Systems, D. B. B. Campbell and J. Underwood, Eds. Australasian Chapter of the Association for Information Systems
28. Recker, J. and Mendling, J. 2006. On the translation between BPMN and BPEL: Conceptual mismatch between process modeling languages. In Proceedings of Workshops and Doctoral Consortium for the 18th International Conference on Advanced Information Systems Engineering. Namur University Press
29. Rosemann, M. 2003. Preparation of process modeling. In Process Management. A Guide for the Design of Business Processes, J. Becker et al., Eds. Springer-Verlag, 41-78
30. Skogan, D., Gronmo, R., and Solheim, I. 2004. Web service composition in UML. In Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC'04). IEEE Computer society, 47-57
31. Van Der Aalst, W. 1997. Verification of workflow nets. In Proceedings of the 18th International Conference on Application and Theory of Petri Nets. Lecture Notes in Computer Science, vol. 1248. Springer-Verlag, 407-426
32. Van Der Aalst, W. M. P., Jrgensen, J., and Lassen, K. 2005. Let's go all the way: From requirements via colored workflow nets to a BPEL implementation of a new bank system. In Proceedings of the OTM Confederated International Conferences, CoopIS, DOA, and ODBASE. Lecture Notes in Computer Science, vol. 3760. Springer-Verlag, 22-39
33. Van Der Aalst, W. M. P. and Lassen, K. 2008. Translating unstructured workflow processes to readable BPEL: Theory and implementation. Inf. Softw. Tech. 50, 3, 131-159
34. Van Der Aalst, W. M. P., Ter Hofstede, A. H. M., Kiepuszewski, B., and Barros, A. P. 2003. Workflow patterns. Distrib. Paral. Datab. 14, 3, 5-51
35. White, S. 2005. Using BPMN to Model a BPEL Process. BPTrends 3, 3, 1-18
36. Zhao, W., Hauser, R., Bhattacharya, K., Bryant, B., and Cao, F. 2006. Compiling business processes: Untangling unstructured loops in irreducible flow graphs. Int. J. Web Grid Serv. 2, 1, 68-91