Towards Service-Based Business Process Modeling, Prototyping and Integration

  • Ang Chen
  • Didier Buchs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3943)


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.


Business Process Enactment System Business Process Modeling Process Instance Prototype Generation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    Business Process Execution Language for Web Service version 1.1,
  9. 9.
    Web Services Description Language (WSDL) 1.1,
  10. 10.
    Workflow Management Coalition, Workflow Reference Model and Standards,
  11. 11.
    Chen, A., Buchs, D.: COOPN Workflow Patterns. Technical Report, Computer Science Department, University of GenevaGoogle Scholar
  12. 12.
    Buchs, D., Guelfi, N.: A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE TSE 26(7), 635–652 (2000)Google Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    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)Google Scholar
  16. 16.
    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)CrossRefGoogle Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Ang Chen
    • 1
  • Didier Buchs
    • 1
  1. 1.Computer Science DepartmentUniversity of GenevaGeneva 4Switzerland

Personalised recommendations