Extending the compatibility notion for abstract WS-BPEL processes

ABSTRACT

WS-BPEL defines a standard for executable processes. Executable processes are business processes which can be automated through an IT infrastructure. The WS-BPEL specification also introduces the concept of abstract processes: In contrast to their executable siblings, abstract processes are not executable and can have parts where business logic is disguised. Nevertheless, the WS-BPEL specification introduces a notion of compatibility between such an under-specified abstract process and a fully specified executable one. Basically, this compatibility notion defines a set of syntactical rules that can be augmented or restricted by profiles. So far, there exist two of such profiles: the Abstract Process Profile for Observable Behavior and the Abstract Process Profile for Templates. None of these profiles defines a concept of behavioral equivalence. Therefore, both profiles are too strict with respect to the rules they impose when deciding whether an executable process is compatible to an abstract one. In this paper, we propose a novel profile that extends the existing Abstract Process Profile for Observable Behavior by defining a behavioral relationship. We also show that our novel profile allows for more flexibility when deciding whether an executable and an abstract process are compatible.

REFERENCES

• 1: W. M. P. v. d. Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf. From public views to private views - correctness-by-design for services. In M. Dumas and R. Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007, Proceedings, volume 4937 of Lecture Notes in Computer Science, pages 139--153. Springer-Verlag, 2008.
• 2: W. M. P. v. d. Aalst, P. Massuthe, C. Stahl, and K. Wolf. Multiparty contracts: Agreeing and implementing interorganizational processes. Informatik-Berichte 213, Humboldt-Universität zu Berlin, Berlin, Germany, June 2007.
• 3: A. Alves, A. Arkin, S. Askary, C. Barreto, B. Bloch, F. Curbera, M. Ford, Y. Goland, A. Guízar, N. Kartha, C. K. Liu, R. Khalaf, D. König, M. Marin, V. Mehta, S. Thatte, D. v. d. Rijn, P. Yendluri, and A. Yiu. Web Services Business Process Execution Language Version 2.0. OASIS Standard, 11 April 2007, OASIS, Apr. 2007.
• 4: T. Ambühler. UML 2.0 profile for WS-BPEL with mapping to WS-BPEL. Master's thesis, Universität Stuttgart, Institut für Architektur von Anwendungssystemen, Stuttgart, Germany, Oct. 2005.
• 5: T. Basten and W. M. P. v. d. Aalst. Inheritance of behavior. J. Log. Algebr. Program., 47(2):47--145, 2001.
• 6: Boualem Benatallah , Fabio Casati , Farouk Toumani, Representing, analysing and managing web service protocols, Data & Knowledge Engineering, v.58 n.3, p.327-357, September 2006 [doi>10.1016/j.datak.2005.07.006]
• 7: Dirk Beyer , Arindam Chakrabarti , Thomas A. Henzinger, Web service interfaces, Proceedings of the 14th international conference on World Wide Web, May 10-14, 2005, Chiba, Japan [doi>10.1145/1060745.1060770]
• 8: F. Bonchi, A. Brogi, S. Corfini, and F. Gadducci. A behavioural congruence for web services. In F. Arbab and M. Sirjani, editors, International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, volume 4767 of Lecture Notes in Computer Science, pages 240--256. Springer, 2007.
• 9: L. Bordeaux, G. Salaün, D. Berardi, and M. Mecella. When are two Web services compatible? In M.-C. Shan, U. Dayal, and M. Hsu, editors, Technologies for E-Services, 5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers, volume 3324 of Lecture Notes in Computer Science, pages 15--28. Springer, 2004.
• 10: M. Bravetti and G. Zavattaro. Contract based multi-party service composition. In F. Arbab and M. Sirjani, editors, International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, volume 4767 of Lecture Notes in Computer Science, pages 207--222. Springer, 2007.
• 11: M. Bravetti and G. Zavattaro. A theory for strong service compliance. In A. L. Murphy and J. Vitek, editors, Coordination Models and Languages, 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, volume 4467 of Lecture Notes in Computer Science, pages 96--112. Springer, 2007.
• 12: N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and orchestration: A synergic approach for system design. In B. Benatallah, F. Casati, and P. Traverso, editors, Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings, volume 3826 of Lecture Notes in Computer Science, pages 228--240. Springer, 2005.
• 13: Marco Carbone , Kohei Honda , Nobuko Yoshida, A Calculus of Global Interaction based on Session Types, Electronic Notes in Theoretical Computer Science (ENTCS), v.171 n.3, p.127-151, June, 2007 [doi>10.1016/j.entcs.2006.12.041]
• 14: Giuseppe Castagna , Nils Gesbert , Luca Padovani, A theory of contracts for web services, Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 07-12, 2008, San Francisco, California, USA
• 15: G. Decker, O. Kopp, F. Leymann, and M. Weske. BPEL4Chor: Extending BPEL for modeling choreographies. In 2007 IEEE International Conference on Web Services ICWS 2007, July 9-13, 2007, Salt Lake City, Utah, USA, pages 296--303. IEEE Computer Society, 2007.
• 16: C. Fournet, C. A. R. Hoare, S. K. Rajamani, and J. Rehof. Stuck-free conformance. In R. Alur and D. Peled, editors, Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, volume 3114 of Lecture Notes in Computer Science, pages 242--254. Springer, 2004.
• 17: N. Lohmann. A feature-complete Petri net semantics for WS-BPEL 2.0. In M. Dumas and R. Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007, Proceedings, volume 4937 of Lecture Notes in Computer Science, pages 77--91. Springer-Verlag, 2008.
• 18: N. Lohmann, O. Kopp, F. Leymann, and W. Reisig. Analyzing BPEL4Chor: Verification and participant synthesis. In M. Dumas and R. Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007, Proceedings, volume 4937 of Lecture Notes in Computer Science, pages 46--60. Springer-Verlag, 2008.
• 19: N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg. Analyzing interacting BPEL processes. In Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, volume 4102 of Lecture Notes in Computer Science, pages 17--32. Springer-Verlag, Sept. 2006.
• 20: N. Lohmann, P. Massuthe, and K. Wolf. Operating guidelines for finite-state services. In J. Kleijn and A. Yakovlev, editors, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, volume 4546 of Lecture Notes in Computer Science, pages 321--341. Springer-Verlag, 2007.
• 21: S. Moser, A. Martens, M. Häbich, and J. Müller. A hybrid approach for generating compatible WS-BPEL partner processes. In S. Dustdar, J. L. Fiadeiro, and A. P. Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, volume 4102 of Lecture Notes in Computer Science, pages 458--464. Springer, 2006.
• 22: K. Schmidt. LoLA: A Low Level Analyser. In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets, 21st International Conference ICATPN 2000, number 1825 in Lecture Notes in Computer Science, pages 465--474. Springer-Verlag, June 2000.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.5 On-line Information Services
          Subjects: Web-based services

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Formal methods; Correctness proofs; Programming by contract
  D.3 PROGRAMMING LANGUAGES
      D.3.1 Formal Definitions and Theory
          Subjects: Semantics

General Terms:
Languages, Theory, Verification

Keywords:
WS-BPEL, abstract profile, compliance, petri nets