Skip to main content
SpringerLink
Log in

Algorithms Based on Pattern Analysis for Verification and Adapter Creation for Business Process Composition

  • Conference paper
Book cover On the Move to Meaningful Internet Systems: OTM 2008 (OTM 2008)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5331))

Abstract

With more automation in inter-organizational supply chains and proliferation of Web services technology, the need for organizations to link their business services and processes is becoming increasingly important. Ideally, such linking must be automated and also possible to do on-the-fly in an ad hoc manner. In this paper, we view business processes in terms of standard patterns, and describe a pattern compatibility matrix and rules that allow us to simplify the task of checking compatibility between two or more processes because these prerequisite rules can be applied to each pattern separately, thus reducing the search space. We give an algorithm for applying these rules to check process compatibility. If two processes are compatible, we determine whether an adapter is required, and if so, a minimal adapter is generated by another algorithm. Two variants of the algorithm (PBA and PBA-MIN) are implemented, and experimental results and comparisons with an existing algorithm are given.

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

Access this chapter

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Benatallah, B., Casati, F., Grigori, D., Nezhad, H.R.M., Toumani, F.: Developing adapters for web services integration. In: Proceedings CAiSE 2005 (2005)

    Google Scholar 

  2. Berardi, D., et al.: Automatic composition of transition-based semantic web services with messaging. In: Proceedings of VLDB 2005, pp. 613–624 (2005)

    Google Scholar 

  3. Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaption. The Journal of Systems and Software 74 (2005)

    Google Scholar 

  4. Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing web services choreographies. Electronic Notes in Theoretical Computer Science 105 (2004)

    Google Scholar 

  5. Brogi, A., Popescu, R.: Automated generation of BPEL adapters. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 27–39. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  6. Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: Proceedings International WWW 2003 Conference (2003)

    Google Scholar 

  7. Busi, N., et al.: Choreography and orchestration conformance for system design. In: Proceedings of 8th Int’l Conference on Coordination Models and Languages (2006)

    Google Scholar 

  8. Cardoso, J.: Evaluating the process control-flow complexity measure. In: Proceedings IEEE International Conference on Web Services, pp. 804–805 (2005)

    Google Scholar 

  9. Dumas, M., Spork, M., Wang, K.: Adapt or perish: Algebra and visual notation for service interface adaptation. In: Proceedings BPM 2006, Vienna, Austria (September 2006)

    Google Scholar 

  10. Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proceedings of International WWW 2004 conference (2004)

    Google Scholar 

  11. Fuchs, M.: Adapting web services in a heterogeneous environment. In: Proc. IEEE International Conference on Web Services (ICWS 2004) (June 2004)

    Google Scholar 

  12. Gorrieri, R., Guidi, C., Lucchi, R.: Reasoning About Interaction Patterns in Choreography. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 333–348. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  13. Hanson, J., Nandi, P., Kumaran, S.: Conversation support for business process integration. In: EDOC 2002, pp. 65–74 (2002)

    Google Scholar 

  14. Holzmann, G.: SPIN Model Checker. Addison-Wesley, Reading (2004)

    Google Scholar 

  15. Kiepuszewski, B., Hofstede, A.H.M., Bussler, C.: On structured workflow modeling. In: Proceedings CAiSE 2000. LNCS, vol. 1797. Springer, Heidelberg (2000)

    Google Scholar 

  16. Lohmann, N., et al.: Analyzing interacting BPEL processes. In: Proceedings BPM 2006, Vienna, Austria, September 2006, pp. 17–32 (2006)

    Google Scholar 

  17. Mendling, J., et al.: A Quantitative analysis of faulty EPCs in the SAP reference model. BPM Center Report, Eindhoven University of Technology (2006)

    Google Scholar 

  18. Milner, R.: Communication and concurrency. Prentice-Hall, Englewood Cliffs (2004)

    MATH  Google Scholar 

  19. Moser, S., et al.: A hybrid approach for generating compatible WS-BPEL partner processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 458–464. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  20. Nakajima, S.: Verification of web service flows with model-checking techniques. In: Proc. First international Symposium on Cyber Worlds (CW 2002), Washington, DC, p. 0378 (2002)

    Google Scholar 

  21. Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proceedings of the 11th Int’l WWW Conference (WWW 2002) (2002)

    Google Scholar 

  22. Nezhad, M., et al.: Semi-automated adaptation of service interactions. In: Proceedings of the 16th international WWW Conference (WWW 2007), pp. 993–1002 (2007)

    Google Scholar 

  23. Newcomer, E., Lomow, G.: Understanding SOA with web services. Addison-Wesley, Reading (2005)

    Google Scholar 

  24. OASIS Web Services Business Process Execution Language (WSBPEL), Version 2.0 (April 2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html

  25. OWL-S: Semantic Markup for Web Services, http://www.daml.org/services/owl-s/1.2/overview/

  26. Patil, A., Oundhakar, S., Sheth, A., Verma, K.: Meteor-S web service annotation framework. In: Proceedings WWW 2004, pp. 553–562 (2004)

    Google Scholar 

  27. Stollberg, M.: Reasoning tasks and mediation on choreography and orchestration in WSMO. In: Proceedings of the 2nd International WSMO Implementation Workshop (WIW 2005), Innsbruck, Austria (June 2005)

    Google Scholar 

  28. Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing workflow processes using Woflan. The Computer Journal 44(4), 246–279 (2001)

    Article  MATH  Google Scholar 

  29. W3C Candidate Recommendation: Web Services ChoreographyDescription Language Version 1.0 (November 2005), http://www.w3.org/TR/ws-cdl-10/

  30. Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. on Programming Languages and Systems 19(2), 292–333 (1997)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Supply Chain and Information Systems, Smeal College of Business, Penn State University, University Park, PA, 16802, USA

    Akhil Kumar & Zhe Shan

Authors
  1. Akhil Kumar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhe Shan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. STARLab, Bldg G/10, Vrije Universiteit Brussel (VUB), Pleinlaan 2, 1050, Brussels, Belgium

    Robert Meersman

  2. School of Computer Science and Information Technology, Bld 10.10, RMIT University, 376-392 Swanston Street, VIC 3001, Melbourne, Australia

    Zahir Tari

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kumar, A., Shan, Z. (2008). Algorithms Based on Pattern Analysis for Verification and Adapter Creation for Business Process Composition. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems: OTM 2008. OTM 2008. Lecture Notes in Computer Science, vol 5331. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88871-0_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88871-0_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88870-3

  • Online ISBN: 978-3-540-88871-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation