From business process models to process-oriented software systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

From business process models to process-oriented software systems

Full text

Pdf (1.38 MB)

Source

ACM Transactions on Software Engineering and Methodology (TOSEM) archive
Volume 19 , Issue 1 (August 2009) table of contents

Article No. 2

Year of Publication: 2009

ISSN:1049-331X

Authors

Chun Ouyang	Queensland University of Technology, Brisbane, Australia
Marlon Dumas	University of Tartu and Queensland University of Technology, Brisbane, Australia
Wil M. P. Van Der Aalst	Eindhoven University of Technology, Eindhoven
Arthur H. M. Ter Hofstede	Queensland University of Technology, Brisbane, Australia
Jan Mendling	Queensland University of Technology, Brisbane, Australia

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 170, Downloads (12 Months): 468, Citation Count: 1

Additional Information:

appendices and supplements abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1555392.1555395 What is a DOI?

APPENDICES and SUPPLEMENTS

Ouyang Appendix

Online appendix to from business process models to process-oriented software systems. The appendix supports the information on article 2.

ABSTRACT

Several methods for enterprise systems analysis rely on flow-oriented representations of business operations, otherwise known as business process models. The Business Process Modeling Notation (BPMN) is a standard for capturing such models. BPMN models facilitate communication between domain experts and analysts and provide input to software development projects. Meanwhile, there is an emergence of methods for enterprise software development that rely on detailed process definitions that are executed by process engines. These process definitions refine their counterpart BPMN models by introducing data manipulation, application binding, and other implementation details. The de facto standard for defining executable processes is the Business Process Execution Language (BPEL). Accordingly, a standards-based method for developing process-oriented systems is to start with BPMN models and to translate these models into BPEL definitions for subsequent refinement. However, instrumenting this method is challenging because BPMN models and BPEL definitions are structurally very different. Existing techniques for translating BPMN to BPEL only work for limited classes of BPMN models. This article proposes a translation technique that does not impose structural restrictions on the source BPMN model. At the same time, the technique emphasizes the generation of readable (block-structured) BPEL code. An empirical evaluation conducted over a large collection of process models shows that the resulting BPEL definitions are largely block-structured. Beyond its direct relevance in the context of BPMN and BPEL, the technique presented in this article addresses issues that arise when translating from graph-oriented to block-structure flow definition languages.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Zahira Ammarguellat, A Control-Flow Normalization Algorithm and its Complexity, IEEE Transactions on Software Engineering, v.18 n.3, p.237-251, March 1992 [doi>10.1109/32.126773]
	2	Jorg Becker , Michael Rosemann , Martin Kugeler, Process Management, Springer-Verlag New York, Inc., Secaucus, NJ, 2003
	3	Marco Brambilla , Stefano Ceri , Piero Fraternali , Ioana Manolescu, Process modeling in Web applications, ACM Transactions on Software Engineering and Methodology (TOSEM), v.15 n.4, p.360-409, October 2006 [doi>10.1145/1178625.1178627]
	4	Jörg Desel , Javier Esparza, Free choice Petri nets, Cambridge University Press, New York, NY, 1995
	5	Remco M. Dijkman , Marlon Dumas , Chun Ouyang, Semantics and analysis of business process models in BPMN, Information and Software Technology, v.50 n.12, p.1281-1294, November, 2008 [doi>10.1016/j.infsof.2008.02.006]
	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	Richard Johnson , David Pearson , Keshav Pingali, The program structure tree: computing control regions in linear time, Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, p.171-185, June 20-24, 1994, Orlando, Florida, United States
	11	Jordan, D. and Evdemon, J. 2007. Web Services Business Process Execution Language Version 2.0. Committee Specification. OASIS WS-BPEL TC. http://www.oasis-open.org/committees/download.php/22475/wsbpel-v2.0-CS01.pdf.
	12	Gerhard Keller , Thomas Teufel, Sap R/3 Process Oriented Implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1998
	13	Bartek Kiepuszewski , Arthur H. M. ter Hofstede , Christoph Bussler, On Structured Workflow Modelling, Proceedings of the 12th International Conference on Advanced Information Systems Engineering, p.431-445, June 05-09, 2000
	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	Mantell, K. 2005. From UML to BPEL. http://www.ibm.com/developerworks/webservices/library/ws-uml2bpel.
	19	Mendling, J. 2007. Detection and prediction of errors in EPC business process models. Ph.D. thesis, Vienna University of Economics and Business Administration.
	20	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.
	21	Murata, T. 1989. Petri nets: Properties, analysis and applications. Proc. IEEE 77, 4, 541--580.
	22	Omg. 2005. Unified Modeling Language: Superstructure. UML Superstructure Specification version 2.0, formal/05-07-04. OMG. http://www.omg.org/cgi-bin/doc?formal/05-07-04.
	23	Omg. 2006. Business Process Modeling Notation (BPMN) version 1.0. OMG final adopted specification. http://www.bpmn.org/.
	24	Oulsnam, G. 1982. Unravelling unstructured programs. Comput. J. 25, 3, 379--387.
	25	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.
	26	Chun Ouyang , Marlon Dumas , Arthur H. M. ter Hofstede , Wil M. P. van der Aalst, From BPMN Process Models to BPEL Web Services, Proceedings of the IEEE International Conference on Web Services, p.285-292, September 18-22, 2006 [doi>10.1109/ICWS.2006.67]
	27	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.
	28	Chun Ouyang , Eric Verbeek , Wil M. P. van der Aalst , Stephan Breutel , Marlon Dumas , Arthur H. M. ter Hofstede, Formal semantics and analysis of control flow in WS-BPEL, Science of Computer Programming, v.67 n.2-3, p.162-198, July, 2007 [doi>10.1016/j.scico.2007.03.002]
	29	Scott Pakin, The Design and Implementation of a Domain-Specific Language for Network Performance Testing, IEEE Transactions on Parallel and Distributed Systems, v.18 n.10, p.1436-1449, October 2007 [doi>10.1109/TPDS.2007.1065]
	30	Lyle Ramshaw, Eliminating go to's while preserving program structure, Journal of the ACM (JACM), v.35 n.4, p.893-920, Oct. 1988 [doi>10.1145/48014.48021]
	31	Recker, J., Indulska, M., Rosemann, M., and Green, P. 2005. Do process modeling techniques get better&quest; 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.
	32	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.
	33	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.
	34	David Skogan , Roy Gronmo , Ida Solheim, Web Service Composition in UML, Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International, p.47-57, September 20-24, 2004 [doi>10.1109/EDOC.2004.30]
	35	Wil M. P. van der Aalst, Verification of Workflow Nets, Proceedings of the 18th International Conference on Application and Theory of Petri Nets, p.407-426, June 23-27, 1997
	36	van der Aalst, W. M. P., Jørgensen, 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.
	37	Wil M. P. van der Aalst , Kristian Bisgaard Lassen, Translating unstructured workflow processes to readable BPEL: Theory and implementation, Information and Software Technology, v.50 n.3, p.131-159, February, 2008 [doi>10.1016/j.infsof.2006.11.004]
	38	W. M. P. Van Der Aalst , A. H. M. Ter Hofstede , B. Kiepuszewski , A. P. Barros, Workflow Patterns, Distributed and Parallel Databases, v.14 n.1, p.5-51, July 2003 [doi>10.1023/A:1022883727209]
	39	White, S. 2005. Using BPMN to Model a BPEL Process. BPTrends 3, 3, 1--18.
	40	Wei Zhao , Rainer Hauser , Kamal Bhattacharya , Barrett R. Bryant , Fei Cao, Compiling business processes: untangling unstructured loops in irreducible flow graphs, International Journal of Web and Grid Services, v.2 n.1, p.68-91, February 2006 [doi>10.1504/IJWGS.2006.008880]