Analysing and determining substitutability of different granularity Web services

REFERENCES

• B. Benatallah, F. Casati, and F. Toumani, Representing, analysing and managing Web service protocols, Data Knowl. Eng. 58(3) (2006), pp. 327–357. doi: 10.1016/j.datak.2005.07.006
   Web of Science ®Google Scholar
• M.B. Blake, W. Tan, and F. Rosenberg, Composition as a service, IEEE Internet Comput. 14(1) (2010), pp. 78–82. doi: 10.1109/MIC.2010.2
   Web of Science ®Google Scholar
• F. Bonchi, A. Brogi, S. Corfini, and F. Gadducci, A behavioural congruence for Web services, International Symposium on Fundamentals of Software Engineering, Tehran, Iran, 2007.
   Google Scholar
• L. Bordeaux, G. Salaun, D. Berardi, and M. Mecella, When are two web services compatible? Proceeding of VLDB-TES, Toronto, Canada, 2004.
   Google Scholar
• M. Brandt and F. Henglein, Coinductive axiomatization of recursive type equality and subtyping, Fundam. Inform. 33 (1998), pp. 309–338.
   Google Scholar
• M. Bravetti and G. Zavattaro, Towards a unifying theory for choreography conformance and contract compliance, Proceedings of 6th Symposium on Software Composition, Braga, Portugal, 2007.
   Google Scholar
• R. Dapoigny, and P. Barlatier, Towards a conceptual structure based on type theory, The International Conference on Computational Science (ICCS) 2008, Krakow, Poland, 2008.
   Google Scholar
• N. Desai, Z. Cheng, A.K. Chopra, and M.P. Singh, Toward verification of commitment protocols and their compositions, Proceedings of 6th international joint conference on Autonomous agents and multiagent systems, Honolulu, Hawaii, USA, 2007.
   Google Scholar
• O. Ezenwoye, S. Busi, and S.M. Sadjadi, Dynamically reconfigurable data-intensive service composition, WEBIST (2010), Valencia, Spain, 2010.
   Google Scholar
• H. Foster, S. Uchitel, J. Magee, and J. Kramer, Compatibility verification for Web service choreography, The International Conference on Web Service (ICWS), San Diego, California, USA, 2004.
   Google Scholar
• S.J. Gay and M. Hole, Types for correct communication in client-server systems, Technical report, Department of Computer Science, Royal Holloway, University of London, 2000.
   Google Scholar
• B. Jiang, W.K. Chan, Z. Zhang, and T.H. Tse, Where to adapt dynamic service compositions, WWW (2009), Madrid, Spain, 2009.
   Google Scholar
• X. Li, Y. Fan, Q.Z. Sheng, Z. Maamar, and H. Zhu, A Petri Net approach to analyzing behavioral compatibility and similarity of Web services, IEEE Trans. Syst. Man Cybern. A, Syst. Humans 41(3) (2011), pp. 510–521. doi: 10.1109/TSMCA.2010.2093884
   Web of Science ®Google Scholar
• Z. Luo, Manifest fields and module mechanisms in intensional type theory. In Types for Proofs and Programs, Proceedings of International Conference of TYPES’08, Torino, Italy, 2009.
   Google Scholar
• A. Martens, On compatibility of web services, Petri Net Newsl. 65 (2003), pp. 12–20.
   Google Scholar
• B. Nordstrom, K. Petersson, and J.M.Smith, Programming in Martin-Löf Type Theory: An Introduction, Oxford University Press, Oxford, 1999.
   Google Scholar
• J. Pathak, S. Basu, and V. Honavar, On context-specific substitutability of Web services, Proceedings of 5th IEEE International Conference on Web Services (ICWS), Beijing, China, 2007.
   Google Scholar
• C. Stahl, P. Massuthe, and J. Bretschneider, Deciding substitutability of services with operating guidelines, T. Petri Nets and Other Models of Concurrency (TOPNOC) 2 (2009), pp. 172–191.
   Google Scholar
• Y. Taher, D. Benslimane, M.-C. Fauvet, and Z. Maamar, Towards an approach for Web services substitution, 10th International Database Engineering and Applications Symposium, Delhi, India, 2006.
   Google Scholar
• W. Tsai, W. Song, Y. Chen, and R. Paul, Dynamic system reconfiguration via service composition for dependable computing, Monterey Workshop, Laguna Beach, CA, USA, 2005.
   Google Scholar
• A. Vallecillo, V.T. Vasconcelos, A. Ravara, Typing the behavior of software components using session types, Fundam. Inform. 4 (2006), pp. 583–598.
   Google Scholar
• Y. Wei and M.B. Blake, Service-oriented computing and cloud computing: Challenges and opportunities, Internet Comput. 14(6) (2010), pp. 72–75. doi: 10.1109/MIC.2010.147
   Web of Science ®Google Scholar
• A. Wombacher, P. Fankhauser, B. Mahleko, and E. Neuhold, Matchmaking for business processes based on choreographies, Int. J. Web Serv. Res. 1(4) (2004), pp. 14–32.
   Google Scholar
• Y. Yan, P. Poizat, and L. Zhao, Repair vs. recomposition for broken service compositions, ICSOC (2010), San Francisco, CA, USA, 2010.
   Google Scholar
• Y. Yu-yu, L. Ying, D. Shui-guang, and Y. Jian-wei, Determining on consistency and compatibility of web services behavior, Acta Electron. Sin. 37(3) (2009), pp. 433–438 (in Chinese).
   Google Scholar
• L.J. Zhang, J. Zhang, and H. Cai, Services Computing, Springer & Tsinghua University Press, Berlin, 2007.
   Google Scholar