Analyzing behavioral substitution of Web services based on π-calculus

ICWS 2010 - 2010 IEEE 8th International Conference on Web Services

Volumn , Issue , 2010, Pages 441-448

  Kuang, Li ^a   Xia, Yingjie ^a   Deng, Shuiguang ^b   Wu, Jian ^b  

^a HANGZHOU NORMAL UNIVERSITY   (China)

^b ZHEJIANG UNIVERSITY   (China)

Author keywords

calculus; Behavioral analysis; Bi simulation theory; Services substitution; Web services

Indexed keywords

BEHAVIORAL ANALYSIS; SERVICES SUBSTITUTION; SIMULATION THEORY;

WEB SERVICES;

CALCULATIONS;

EID: 77957265739     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2010.54     Document Type: Conference Paper

References (38)

1. D.Tidwell. "Web services: the Web's next revolution". IBM Web ServiceTutorial. 2000.
2. R.Chinnici et al. "Web services Description Language (WSDL) Version 2.0". http://www.w3.org/TR/wsdl20/.2007.
3. Martin, D. et al. OWL-S: Semantic Markup for Web services. http://www.w3.org/Submission/OWL-S/. 2004.
4. Alves, A. et al. Web services Business Process Execution Language Version 2.0. http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html. 2007.
5. Kavantzas, N. et al. Web services Choreography Description Language Version 1.0. http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/. 2004.
6. Bordeaux, L. and Salaun, G. and Berardi, D. and Mecella, M. When are two web services compatible?. In Proceeding of VLDB-TES. 15-28. 2004.
7. Wombacher, A., Fankhauser, P., Mahleko, B., Neuhold, E. Matchmaking for business processes based on choreographies. International Journal of Web services Research, 1(4):14-32. 2004.
8. Hidders, J. et al. When are two workflows the same?. In: Proceedings of the 2005 Australasian symposium on Theory of computing. 3-11. 2005.
9. Beyer, D., Chakrabarti, A. and Henzinger, T.A. "Web Service Interfaces". In Proc. of the 14th International World Wide Web Conference (WWW), 2005.
10. Benatallah, B., Casati, F., Toumani, F. Representing, analysing and managing Web service protocols. I Data & Knowledge Engineering, 58(3), 527-1357 2006.
11. Pathak, J., Basu, S. and Honavar, V. On Context- Specific Substitutability of Web Services. In: Proceedings of 5th IEEE International Conference on Web Services (ICWS), 192-199.2007.
12. Z. Shen, J. Su. Web Service Discovery Based on Behavior Signatures. Proceedings of the 2005 IEEE International Conference on Services Computing: 279- 286. 2005. (Pubitemid 44461244)
13. A.Wombacher, P. Fankhauser, E. Neuhold. Transforming BPEL into annotated Deterministic Finite State Automata for Service Discovery. IEEE International Conference on Web Services (ICWS 2004): 316-323. 2004.
14. Mecella, M. and Presicce, F.P. and Pernici, B. Modeling e-service orchestration through Petrinets. Lecture Notes in Computer Science, 2444: 38-47.2002.
15. Hamadi, R., Benatallah, B. A Petri Net-based Model for Web Service Composition. In Proceedings of Proceedings of the 14th Australasian database conference.191-200.2003.
16. Narayanan, S., McIlraith, S. Analysis and simulation of Web services. Computer Networks, 42(5): 675-693. 2003.
17. Martens, A. On compatibility of web services. Petri Net Newsletter. 65:12-20.2003.
18. Zhang, J. and Chang, CK and Chung, J.Y. and Kim, SW. WS-Net: A Petri-net based specification model for web services. In Proceedings of IEEE International Conference on Web Services. 420-427.2004.
19. Tang, Y. and Chen, L. and He, K.T. and Jing, N. SRN: an extended Petri-net-based workflow model for Web service composition. In: Proceedings of IEEE International Conference on Web Services (ICWS).591-599. 2004.
20. Martens, A. Analyzing Web service Based Business Processes. In: Proceedings of Fundamental Approaches to Software Engineering (FASE). 19-33. 2005. (Pubitemid 41273668)
21. Bonchi, F. et al. A Behavioural Congruence for Web services. In: Proceedings of International Symposium on Fundamentals of Software Engineering. 240-256. 2007.
22. Stahl, C., Massuthe, P. and Bretschneider, J. Deciding Substitutability of Services with Operating Guidelines. Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process- Aware Information Systems, 2(5460): 172-191, 2009.
23. Stahl, C. and Wolf, K. Deciding service composition and substitutability using extended operating guidelines. Data & Knowledge Engineering. 2009.
24. van der Aalst, W.M.P. and de Medeiros, A.K.A. and Weijters, A. Process Equivalence: Comparing Two Process Models Based on Observed Behavior. In: Proceedings of Business Process Management (BPM), 129-144. 2006. (Pubitemid 44568323)
25. Salaun, G. and Bordeaux, L. and Schaerf, M. Describing and reasoning on web services using process algebra. International Journal of Business Process Integration and Management. 1(2):116-128.2006. (Pubitemid 44151041)
26. Kuang, L., Li, Y., Deng, S., Wu, J., Shi, W., Wu, Z. Expressing Service and Query Behavior Using pi- Calculus for Matchmaking. In: Proceedings of Proceedings of IEEE/WIC/ACM International Conference on Web Intelligence (WI). 629-632.2006. (Pubitemid 351576920)
27. Deng, S.G., Wu, Z., Zhou, M., Li, Y., Wu, J. Modeling service compatibility with Pi-calculus for choreography. In Proceedings of International Conference on Conceptual Modeling (ER). 26-39. 2006. (Pubitemid 44850561)
28. Decker, G. and Puhlmann, F. and Weske, M. Formalizing service interactions. Lecture Notes in Computer Science. 4102:414-419.2006. (Pubitemid 44568345)
29. Agarwal, S. and Studer, R. Automatic matchmaking of web services. In: Proceedings of IEEE International Conference on Web Services (ICWS). 45-54. 2006. (Pubitemid 46946777)
30. Puhlmann, F. and Weske, M. Interaction Soundness for Service Orchestrations. In: Proceedings of International Conference on Service-Oriented Computing (ICSOC). 302-313.2006.
31. Brogi, A. and Canal, C. and Pimentel, E. and Vallecillo, A. Formalizing Web service Choreographies. Electronic Notes in Theoretical Computer Science. 105(10): 73-94. 2004.
32. Lucchi, R. and Mazzara, M. A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming. 70(1):96-118.2007. (Pubitemid 44647974)
33. Bravetti, M., Zavattaro, G.: Contract Based Multi-party Service Composition. In Proc. of FSEN 2007. Volume 4767 of LNCS, Springer-Verlag, 207-222.2007.
34. Castagna, G., Gesbert, N., Padovani, L.: A Theory of Contracts for Web Services. SIGPLAN Not. 43(1), 261-272. 2008.
35. Carbone, M., Honda, K., and Yoshida, N.: Structured communication- centered programming for web services. In ESOP '07, 16th European Symposium on Programming. LNCS 4421.Springer.2007. (Pubitemid 350262657)
36. Bravetti, M. and Zavattaro, G.: Towards a unifying theory for choreography conformance and contract compliance. In Proc. of the 6th Intl. Symposium on Software Composition. Springer.2007. (Pubitemid 351152955)
37. Milner, R. A Calculus of Communicating Systems, LNCS 92. Springer. 1980.
38. Barros, A. and Dumas, M. and Hofstede, A.H.M. Service interaction patterns. Lecture notes in computer science. 3649: 302-318.2005. (Pubitemid 41490770)