Assessing service protocol adaptability based on protocol reduction and graph search

Concurrency and Computation: Practice and Experience

Volumn 23, Issue 9, 2011, Pages 880-904

  Zhou, Zhangbing ^a,b   Bhiri, Sami ^a   Zhuge, Hai ^c   Hauswirth, Manfred ^a  

^a NATIONAL UNIVERSITY OF IRELAND   (Ireland)

^b INSTITUT TELECOM   (France)

^c INSTITUTE OF COMPUTING TECHNOLOGY   (China)

Author keywords

adaptability assessment; mediated service interaction; service protocol

Indexed keywords

SEMANTICS;

ADAPTABILITY ASSESSMENT; COMPATIBILITY ANALYSIS; GRAPH SEARCH; MEDIATED SERVICE INTERACTIONS; SERVICE INTERACTION; SERVICE PROTOCOLS; SERVICE REQUESTORS; SYNTHESIZATION;

WEB SERVICES;

EID: 79957458166     PISSN: 15320626     EISSN: 15320634     Source Type: Journal    
DOI: 10.1002/cpe.1630     Document Type: Article

References (50)

1. Dumas M, Benatallah B, Nezhad HRM,. Web service protocols: Compatibility and adaptation. IEEE Data Engineering Bulletin 2008; 31 (3): 40-44.
2. Tan W, Fan Y, Zhou M,. A petri net-based method for compatibility analysis and composition of web services in business process execution language. IEEE Transactions on Automation Science and Engineering 2009; 6 (1): 94-106.
3. Vitvar T, Mocan A, Kerrigan M, Zaremba M, Moran M, Cimpian E, Haselwanter T, Fensel D,. Semantically-enabled service oriented architecture: Concepts, technology and application. Service Oriented Computing and Applications 2007; 1 (2): 129-154. (Pubitemid 46870985)
4. Benatallah B, Casati F, Grigori D, Nezhad HRM, Toumani F,. Developing adapters for web services integration. Proceedings of International Conference on Advanced Information System Engineering. Springer: Berlin, Heidelberg, 2005; 415-429. (Pubitemid 41336118)
5. Dumas M, Spork M, Wang K,. Adapt or perish: Algebra and visual notation for service interface adaptation. Proceedings of International Conference on Business Process Management. Springer: Berlin, Heidelberg, 2006; 65-80. (Pubitemid 44568319)
6. Zhou Z, Bhiri S, Gaaloul W, Hauswirth M,. Developing process mediator for supporting mediated web service interactions. Proceedings of the Sixth IEEE European Conference on Web Services. IEEE Computer Society: Washington, DC, U.S.A., 2008; 155-164.
7. Backer MD, Snoeck M, Monsieur G, Lemahieu W, Dedene G,. A scenario-based verification technique to assess the compatibility of collaborative business processes. Data and Knowledge Engineering 2009; 68 (6): 531-551.
8. Benatallah B, Casati F, Toumani F,. Representing, analysing and managing web service protocols. Data and Knowledge Engineering 2006; 58 (3): 327-357. (Pubitemid 43994224)
9. Nezhad HRM, Benatallah B, Martens A, Curbera F, Casati F,. Semi-automated adaptation of service interactions. Proceedings of the 16th International World Wide Web Conference. ACM: New York, NY, U.S.A., 2007; 993-1002. (Pubitemid 47582329)
10. Yellin DM, Strom RE,. Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems 1997; 19 (2): 292-333. (Pubitemid 127447777)
11. Fu X, Bultan T, Su J,. Synchronizability of conversations among web services. IEEE Transactions on Software Engineering 2005; 31 (12): 1042-1055. (Pubitemid 46395330)
12. Bertoli P, Kazhamiakin R, Paolucci M, Pistore M, Raik H, Wagner M,. Control flow requirements for automated service composition. Proceedings of the Seventh International Conference on Web Services. IEEE Computer Society: Washington, DC, U.S.A., 2009; 447-458.
13. Lohmann N,. Correcting deadlocking service choreographies using a simulation-based graph edit distance. Proceedings of the Sixth International Conference on Business Process Management. Springer: Berlin, Heidelberg, 2008; 132-147.
14. Baresi L, Nitto ED, Ghezzi C, Guinea S,. A framework for the deployment of adaptable web service compositions. Service-Oriented Computing and Applications 2007; 1 (1): 75-91. (Pubitemid 46980635)
15. Papazoglou MP,. The challenges of service evolution. Proceedings of the 20th International Conference on Advanced Information Systems Engineering. Springer: Berlin, Heidelberg, 2008; 1-15.
16. Nezhad HRM, Saint-Paul R, Benatallah B, Casati F,. Deriving protocol models from imperfect service conversation logs. IEEE Transactions on Knowledge and Data Engineering 2008; 20 (12): 1683-1698.
17. van der Aalst WMP, Weijters T, Maruster L,. Workflow mining: Discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering 2004; 16 (9): 1128-1142.
18. Zhuge H, Liu J,. Flexible retrieval of Web Services. Journal of Systems and Software 2004; 70 (1-2): 107-116.
19. van der Aalst WMP, Dumas M, Ouyang C, Rozinat A, Verbeek E,. Conformance checking of service behavior. ACM Transactions on Internet Technology 2008; 8 (3): 13-30.
20. Konig D, Lohmann N, Moser S, Stah C, Wolf K,. Extending the compatibility notion for abstract ws-bpel processes. Proceedings of the 17th International Conference on World Wide Web. ACM: New York, NY, U.S.A., 2008; 785-794.
21. Wu Q, Pu C, Sahai A, Barga R,. Categorization and optimization of synchronization dependencies in business processes. Proceedings of the 23rd International Conference on Data Engineering. IEEE: Istanbul, Turkey, 2007; 306-315. (Pubitemid 47422034)
22. Zhou Z, Bhiri S, Zhuge H, Hauswirth M,. Assessing service protocols adaptability using protocol reduction and graph-search with backtracking techniques. Proceedings of the Fifth International Conference on Semantics, Knowledge and Grids, Zhuhai, China, 2009; 224-231.
23. Charfi A, Dinkelaker T, Mezini M,. A plug-in architecture for self-adaptive web service compositions. Proceedings of the Seventh International Conference on Web Services. IEEE Computer Society: Washington, DC, U.S.A., 2009; 35-42.
24. Karastoyanova D, Leymann F,. Bpel'n'aspects: Adapting service orchestration logic. Proceedings of the Seventh International Conference on Web Services. IEEE Computer Society: Washington, DC, U.S.A., 2009; 222-229.
25. Web services business process execution language version 2.0. Available at: [11 April 2007 ].
26. Zhou Z, Bhiri S, Hauswirth M,. Control and data dependencies in business processes based on semantic business activities. Proceedings of the 10th International Conference on Information Integration and Web-based Applications and Services. ACM: New York, NY, U.S.A., 2008; 257-263.
27. Dragone L,. An ontology-based approach to validation of e-services under static and dynamic constraints. Proceedings of International Conference of Cooperative Information Systems. Springer: Berlin, Heidelberg, 2008; 157-174.
28. Lausen H, Polleres A, Roman D,. Web service modeling ontology (wsmo). Technical Report, W3C Member Submission, 2005.
29. Owl-s. Semantic markup for web services. W3C. Available at: [ 2006 ].
30. Karastoyanova D, Lessen TV, Leymann F, Nitzsche J, Wutke D,. Ws-bpel extension for semantic web services (bpel4sws). Technical Report, University of Stuttgart. No. 2008/03, 2008.
31. light. Proceedings of the Fifth International Conference of Business Process Management. Springer: Berlin, Heidelberg, 2007; 214-229.
32. Zhuge H, Cheung TY, keng Pung H,. A timed workflow process model. Journal of Systems and Software 2001; 55 (3): 231-243.
33. Guermouche N, Godart C,. Asynchronous timed web service-aware choreography analysis. Proceedings of the 21st International Conference on Advanced Information Systems Engineering. Springer: Berlin, Heidelberg, 2009; 364-378.
34. Ponge J,. Model-based analysis of time-aware web services interactions. PhD Thesis, Universit Blaise Pascal (Clermont-Ferrand, France) and The University of New South Wales, 2008.
35. van der Aalst WMP, Lohmann N, Massuthe P, Stahl C, Wolf K,. From public views to private views: Correctness-by-design for services. Proceedings of Web Services and Formal Methods, the Fourth International Workshop at WS-FM. Springer: Berlin, Heidelberg, 2007; 139-153.
36. Sadiq W, Orlowska ME,. Analyzing process models using graph reduction techniques. Proceedings of the 11th International Conference on Advanced Information Systems Engineering. Elsevier: Oxford, U.K., 2000; 117-134.
37. Li C, Reichert M, Wombacher A,. What are the problem makers: Ranking activities according to their relevance for process changes. Proceedings of the Seventh International Conference on Web Services. IEEE Computer Society: Washington, DC, U.S.A., 2009; 51-58.
38. Grigori D, Corrales JC, Bouzeghoub M,. Behavioral matchmaking for service retrieval. Proceedings of International Conference on Web Services. IEEE Computer Society: Washington, DC, U.S.A., 2006; 145-152. (Pubitemid 351209848)
39. Bracciali A, Brogi A, Canal C,. A formal approach to component adaptation. The Journal of Systems and Software 2005; 74 (1): 45-54.
40. Canal C, Poizat P, Salaun G,. Model-based adaptation of behavioral mismatching components. IEEE Transactions on Software Engineering 2008; 34 (4): 546-563.
41. Wang K, Dumas M, Ouyang C, Vayssiere J,. The service adaptation machine. Proceedings of the Sixth IEEE European Conference on Web Services. IEEE Computer Society: Washington, DC, U.S.A., 2008; 145-154.
42. Williams SK, Battle SA, Cuadrado JE,. Protocol mediation for adaptation in semantic web services. HP Technical Report HPL-2005-78, 2005.
43. Nagarajan M, Verma K, Sheth AP, Miller JA,. Ontology driven data mediation in web services. International Journal of Web Services Research 2007; 4 (4): 104-126.
44. Kuang L, Deng S, Wu J, Li Y,. Towards adaptation of service interface semantics. Proceedings of the Seventh International Conference on Web Services. IEEE Computer Society: Washington, DC, U.S.A., 2009; 279-286.
45. Harney J, Doshi P,. Selective querying for adapting hierarchical web service compositions using aggregate volatility. Proceedings of the Seventh International Conference on Web Services. IEEE Computer Society: Washington, DC, U.S.A., 2009; 43-50.
46. Jureta I, Herssens C, Faulkner S,. Context-driven autonomic adaptation of service level agreements. Proceedings of the Sixth International Conference on Service-oriented Computing. Springer: Berlin, Heidelberg, 2008; 362-377.
47. Poizat P, Mateescu R, Salaun G,. Adaptation of service protocols using process algebra and on-the-fly reduction techniques. Proceedings of the Sixth International Conference on Service-Oriented Computing. Springer: Berlin, Heidelberg, 2008; 84-99.
48. Kumar A, Shan Z,. Algorithms based on pattern analysis for verification and adapter creation for business process composition. Proceedings of International Conference of Cooperative Information Systems. Springer: Berlin, Heidelberg, 2008; 120-138.
49. Poizat P, Salaun G,. Adaptation of open component-based systems. Proceedings of the Ninth IFIP International Conference of Formal Methods for Open Object-based Distributed Systems. Springer: Berlin, Heidelberg, 2007; 141-156. (Pubitemid 350259399)
50. Xiong P, Zhou M, Pu C,. A petri net siphon based solution to protocol-level service composition mismatches. Proceedings of the Seventh International Conference on Web Services. IEEE Computer Society: Washington, DC, U.S.A., 2009; 952-958.