Extending the compatibility notion for abstract WS-BPEL processes

Proceeding of the 17th International Conference on World Wide Web 2008, WWW'08

Volumn , Issue , 2008, Pages 785-794

  König, Dieter ^a   Lohmann, Niels ^b   Moser, Simon ^a   Stahl, Christian ^c   Wolf, Karsten ^b  

^a IBM   (Germany)

^b UNIVERSITY OF ROSTOCK   (Germany)

^c HUMBOLDT UNIVERSITY   (Germany)

Author keywords

Languages; Theory; Verification

Indexed keywords

QUERY LANGUAGES; VERIFICATION; WORLD WIDE WEB;

ABSTRACT PROCESS; BEHAVIORAL EQUIVALENCE; BUSINESS PROCESS; EXECUTABLE PROCESS; IT INFRASTRUCTURES; OBSERVABLE BEHAVIOR; SYNTACTICAL RULES; THEORY;

SPECIFICATIONS;

EID: 57349132864     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1367497.1367603     Document Type: Conference Paper

References (22)

1. W. VI. 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, G. Stahl, and K. Wolf. Multiparty contracts: Agreeing and implementing interorganizational processes. Infomiatik-Beriehte 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. Guizar, N. Kartha, C.K. Liu, R.Khalaf, D.K0̈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. B. Benatallah, F. Casati, and F. Toumani. Representing, analysing and managing Web service protocols. Data Knowl. Eng., 58(3):327-357, 2006.
7. 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.
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. 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.
14. 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.
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.