Abstract
Business process modeling, validation and verification are complex tasks due to the frequent change of requirements in the social environment to which the process contributes. In particular, transactional business processes need more attention in stages of modeling and verification because of their additional complexities in managing the specific behavior of transactions. This contribution proposes an approach to model and validate transactional business processes by means of compositing workflow patterns constructed using Concurrent Object-Oriented algebraic Petri Nets. Moreover, a concrete framework for business process validation, prototyping and integration is proposed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
van der Aalst, W.M.P.: Three Good reasons for Using a Petri-net-based Workflow Management System. In: Wakayama, T., Kannapan, S., Khoong, C.M., Navathe, S., Yates, J. (eds.) Information and Process Integration in Enterprises: Rethinking Documents. The Kluwer International Series in Engineering and Computer Science, vol. 428, pp. 161–182. Kluwer Academic Publishers, Boston (1998)
van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language (Revised Version). QUT Technical report, FIT-TR-2003-04, Queensland University of Technology, Brisbane (2003)
Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow Data Patterns. QUT Technical report, FIT-TR-2004-01, Queensland University of Technology, Brisbane (2004)
Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow Resource Patterns. BETA Working Paper Series, WP 127, Eindhoven University of Technology, Eindhoven (2004)
van der Aalst, W.M.P.: Patterns and XPDL: A Critical Evaluation of the XML Process Definition Language. QUT Technical report, FIT-TR-2003-06, Queensland University of Technology, Brisbane (2003)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases 14(3), 5–51 (2003)
Moldt, D., Rölke, H.: Pattern Based Workflow Design Using Reference Nets. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 246–260. Springer, Heidelberg (2003)
Business Process Execution Language for Web Service version 1.1, http://www-128.ibm.com/developerworks/library/specification/ws-bpel/
Web Services Description Language (WSDL) 1.1, http://www.w3.org/TR/2001/NOTE-wsdl-20010315
Workflow Management Coalition, Workflow Reference Model and Standards, http://www.wfmc.org/
Chen, A., Buchs, D.: COOPN Workflow Patterns. Technical Report, Computer Science Department, University of Geneva
Buchs, D., Guelfi, N.: A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE TSE 26(7), 635–652 (2000)
Biberstein, O., Buchs, D., Guelfi, N.: Object-oriented nets with algebraic specifications: The CO-OPN/2 formalism. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, p. 73. Springer, Heidelberg (2001)
Chachkov, S., Buchs, D.: Interfacing Software Libraries from Non-deterministic Prototypes. In: Rapid System Prototyping, Darmstadt, Germany, pp. 92–98. IEEE Computer Society Press, Los Alamitos (2002)
Chachkov, S., Buchs, D.: From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller. In: Rapid System Prototyping, Monterey, CA, pp. 142–148. IEEE Computer Society Press, Los Alamitos (2001)
Al-Shabibi, A., Buchs, D., Buffo, M., Chachkov, S., Chen, A., Hurzeler, D.: Prototyping Object-Oriented Specifications. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 473–482. Springer, Heidelberg (2003)
Vachon, J., Guelfi, N., Romanovsky, A.: Using COALA for the Development of a Distributed Object-based Application. In: Proceedings of the 2nd International Symposium on Distributed Objects & Applications (DAO 2000), Antwerp, Belgium (2000)
Vachon, J., Buchs, D., Buffo, M., Di Marzo Serugendo, G., Randell, B., Romanovsky, A., Stroud, R.J., Xu, J.: Coala - a formal language for coordinated atomic actions. In: 3rd Year Report, ESPRIT Long Term Research Project 20072 on Design for Validation, LAAS, France (November 1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, A., Buchs, D. (2006). Towards Service-Based Business Process Modeling, Prototyping and Integration. In: Guelfi, N., Savidis, A. (eds) Rapid Integration of Software Engineering Techniques. RISE 2005. Lecture Notes in Computer Science, vol 3943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11751113_16
Download citation
DOI: https://doi.org/10.1007/11751113_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34063-8
Online ISBN: 978-3-540-34064-5
eBook Packages: Computer ScienceComputer Science (R0)