Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Rapid Integration of Software Engineering Techniques

RISE 2005: Rapid Integration of Software Engineering Techniques pp 218–233Cite as

Towards Service-Based Business Process Modeling, Prototyping and Integration

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3943))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Chapter  Google Scholar 

  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. 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. 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. 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. 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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  8. Business Process Execution Language for Web Service version 1.1, http://www-128.ibm.com/developerworks/library/specification/ws-bpel/

  9. Web Services Description Language (WSDL) 1.1, http://www.w3.org/TR/2001/NOTE-wsdl-20010315

  10. Workflow Management Coalition, Workflow Reference Model and Standards, http://www.wfmc.org/

  11. Chen, A., Buchs, D.: COOPN Workflow Patterns. Technical Report, Computer Science Department, University of Geneva

    Google Scholar 

  12. Buchs, D., Guelfi, N.: A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE TSE 26(7), 635–652 (2000)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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. 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 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Geneva, CH-1211, Geneva 4, Switzerland

    Ang Chen & Didier Buchs

Authors
  1. Ang Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Didier Buchs
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratory for Advanced Software Systems, University of Luxembourg, 6, rue Richard Coudenhove-Kalergi, L-1359, Luxembourg-Kirchberg, Luxembourg

    Nicolas Guelfi

  2. Department of Computer Science, University of Crete, Greece

    Anthony Savidis

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation