Abstract
In this paper we propose a new kind of adaptability assessment that determines whether service protocols of a requestor and a provider are adaptable, computes their adaptation degree, and identifies conditions that determine when they can be adapted. We also propose a technique that implements this adaptability assessment: (1) we construct a complete adaptation graph that captures all service interactions adaptable between these two service protocols. The emptiness or non-emptiness of this graph corresponds to the fact that whether or not they are adaptable; (2) we propose a novel path computation technique to generate all instance sub-protocols which reflect valid executions of a particular service protocol, and to derive all instance sub-protocol pairs captured by the complete adaptation graph. An adaptation degree is computed as a ratio between the number of instance sub-protocols captured by these instance sub-protocol pairs with respect to a service protocol and that of this service protocol; (3) and finally we identify a set of conditions based on these instance sub-protocol pairs. A condition is the conjunction of all conditions specified on the transitions of a given pair of instance sub-protocols. This assessment is a comprehensive means of selecting the suitable service protocol among functionally-equivalent candidates according to the requestor’s business requirements.
The work presented in this paper has been funded by Science Foundation Ireland under Grant No. SFI/08/CE/I1380 (DERI Lion-2).
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Backer, M.D., Snoeck, M., Monsieur, G., Lemahieu, W., Dedene, G.: A scenario-based verification technique to assess the compatibility of collaborative business processes. Data & Knowledge Engineering 68(6), 531–551 (2009)
Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. Data & Knowledge Engineering 58(3), 327–357 (2006)
Benatallah, B., Casati, F., Grigori, D., Nezhad, H.R.M., Toumani, F.: Developing Adapters for Web Services Integration. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 415–429. Springer, Heidelberg (2005)
Dumas, M., Spork, M., Wang, K.: Adapt or perish: Algebra and visual notation for service interface adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 65–80. Springer, Heidelberg (2006)
Dumas, M., Benatallah, B., Nezhad, H.R.M.: Web Service Protocols: Compatibility and Adaptation. IEEE Data Engineering Bulletin 31(3), 40–44 (2008)
Ioannidis, Y., Ramakrishnan, R., Winger, L.: Transitive closure algorithms based on graph traversal. ACM Trans. on Database Systems 18(3), 512–576 (1993)
Nezhad, H.R.M., Benatallah, B., Martens, A., Curbera, F., Casati, F.: Semi-Automated Adaptation of Service Interactions. In: Proc. of WWW, pp. 993–1002 (2007)
Nezhad, H.R.M., Saint-Paul, R., Benatallah, B., Casati, F.: Deriving Protocol Models from Imperfect Service Conversation Logs. IEEE Trans. on Knowledge and Data Engineering 12, 1683–1698 (2008)
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 Trans. on Automation Science and Engineering 6(1), 94–106 (2009)
van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow Mining: Discovering Process Models from Event Logs. IEEE Trans. on Knowledge and Data Engineering 16(9), 1128–1142 (2004)
Wu, Q., Pul, C., Sahai, A., Barga, R.: Categorization and Optimization of Synchronization Dependencies in Business Processes. In: Proc. of ICDE, pp. 306–315 (2007)
Yellin, D.M., Strom, R.E.: Protocol Specifications and Component Adaptors. ACM Trans. on Programming Languages and Systems 19(2), 292–333 (1997)
Zhou, Z., Bhiri, S., Gaaloul, W., Hauswirth, M.: Developing Process Mediator for Supporting Mediated Service Interactions. In: Proc. of ECOWS, pp. 155–164 (2008)
Zhou, Z., Bhiri, S., Hauswirth, M.: Control and Data Dependencies in Business Processes Based on Semantic Business Activities. In: Proc. of iiWAS, pp. 257–263 (2008)
Zhou, Z., Bhiri, S., Zhuge, H., Hauswirth, M.: Assessing Service Protocols Adaptability Using Protocol Reduction and Graph-Search with Backtracking Techniques. In: Proc. of SKG (2009)
Zhou, Z., Bhiri, S.: Assessment of Service Protocols Adaptability (2009) DERI technical report, http://www.deri.ie/fileadmin/documents/DERI-TR-2009-06-10.pdf
Zhuge, H., Cheung, T.Y., Pung, H.P.: A timed workflow process model. Journal of Systems and Software 55(3), 231–243 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhou, Z., Bhiri, S., Haller, A., Zhuge, H., Hauswirth, M. (2009). Assessment of Service Protocols Adaptability Using a Novel Path Computation Technique. In: Meersman, R., Dillon, T., Herrero, P. (eds) On the Move to Meaningful Internet Systems: OTM 2009. OTM 2009. Lecture Notes in Computer Science, vol 5870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05148-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-05148-7_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05147-0
Online ISBN: 978-3-642-05148-7
eBook Packages: Computer ScienceComputer Science (R0)