Dieter König
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.
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- T. Basten and W. M. P. v. d. Aalst. Inheritance of behavior. J. Log. Algebr. Program., 47(2):47--145, 2001.Google ScholarCross Ref
- B. Benatallah, F. Casati, and F. Toumani. Representing, analysing and managing Web service protocols. Data Knowl. Eng., 58(3):327--357, 2006. Google ScholarDigital Library
- D. Beyer, A. Chakrabarti, and T. A. Henzinger. Web service interfaces. In A. Ellis and T. Hagino, editors, Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005, pages 148--159. ACM, 2005. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- M. Carbone, K. Honda, and N. Yoshida. A calculus of global interaction based on session types. Electr. Notes Theor. Comput. Sci., 171(3):127--151, 2007. Google ScholarDigital Library
- G. Castagna, N. Gesbert, and L. Padovani. A theory of contracts for web services. In G. C. Necula and P. Wadler, editors, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pages 261--272. ACM, 2008. Google ScholarDigital Library
- 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.Google ScholarCross Ref
- 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.Google Scholar
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
Index Terms
- Extending the compatibility notion for abstract WS-BPEL processes
Recommendations
A hybrid approach for generating compatible WS-BPEL partner processes
BPM'06: Proceedings of the 4th international conference on Business Process ManagementThe Business Process Execution Language for Web Services provides an technology to aggregate encapsulated functionalities for defining high-value Web services. For a distributed application in a B2B interaction, the partners simply need to expose their ...
A WSDL-based type system for asynchronous WS-BPEL processes
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services, and especially to WSDL and WS-BPEL, two of the most used XML-based standard languages for web services. We focus on a ...
Behavioral Interface Conformance Checking for WS-BPEL Processes
MCETECH '08: Proceedings of the 2008 International MCETECH Conference on e-TechnologiesWeb services can be described at various levels and using various notations, e.g., operations (WSDL), orchestration (WS-BPEL), multi-partners collaborations (WS-CDL). The first two provide descriptions similar to those found in typical programming ...
Comments