Giovanni Denaro
Mauro Pezzè
Davide Tosi
Skip Abstract Section
Abstract
Service-oriented applications do not fully benefit from standard APIs yet, and many applications fail to use interchangeably all the services that implement a standard service API. This article presents an approach to develop adaptation strategies that improve service interchangeability for service-oriented applications based on standard APIs. In our approach, an adaptation strategy consists of sets of parametric adaptation plans (called test-and-adapt plans), which execute test cases to reveal the occurrence of interchangeability problems, and activate runtime adaptors according to the test results. Throughout this article, we formalize the structure of the parametric test-and-adapt plans and of their execution semantics, present an algorithm for identifying correct execution orders through sets of test-and-adapt plans, provide empirical evidence of the occurrence of interchangeability problems for sample applications and services, and discuss the effectiveness of the approach in terms of avoided failures, runtime overheads and development costs.
- Baresi, L. and Guinea, S. 2011. Self-supervising bpel processes. IEEE Trans. Softw. Eng. 37, 2, 247--263. Google Scholar
Digital Library
- Bartolini, C., Bertolino, A., Elbaum, S., and Marchetti, E. 2009. Whitening SOA testing. In Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'09). ACM, New York, 161--170. Google ScholarDigital Library
- Bartolini, C., Bertolino, A., Elbaum, S., and Marchetti, E. 2011. Bringing white-box testing to service oriented architectures through a service oriented approach. J. Syst. Softw. 84, 655--668. Google ScholarDigital Library
- Becker, S., Brogi, A., Gorton, I., Overhage, S., Romanovsky, A., and Tivoli, M. 2006. Towards an Engineering Approach to Component Adaptation. Lecture Notes in Computer Science, vol. 3938, Springer-Verlag, 193--215. Google ScholarDigital Library
- Bertolino, A., Inverardi, P., Pelliccione, P., and Tivoli, M. 2009. Automatic synthesis of behavior protocols for composable web-services. In Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'09). ACM, New York, 141--150. Google ScholarDigital Library
- Beyer, D., Chakrabarti, A., and Henzinger, T. A. 2005. An interface formalism for web services. In Proceedings of the 1st International Workshop on Foundations of Interface Technologies (FIT). ENTCS. Elsevier.Google Scholar
- Bracciali, A., Brogi, A., and Canal, C. 2005. A formal approach to component adaptation. J. Syst. Softw. 74, 1, 45--54. Google ScholarDigital Library
- Brambilla, M., Ceri, S., Facca, F. M., Celino, I., Cerizza, D., and Della Valle, E. 2007. Model-driven design and development of semantic web service applications. ACM Trans. Internet Tech. 8, 3:1--3:31. Google ScholarDigital Library
- Brogi, A., Corfini, S., and Popescu, R. 2008. Semantics-based composition-oriented discovery of web services. ACM Trans. Internet Tech. 8, 19:1--19:39. Google ScholarDigital Library
- Brogi, A. and Popescu, R. 2006. Automated generation of BPEL adapters. In Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC). Lecture Notes in Computer Science, vol. 4294, Springer-Verlag, Berlin, 27--39. Google ScholarDigital Library
- Brogi, A., Popescu, R., and Tanca, M. 2010. Design and implementation of sator: A web service aggregator. ACM Trans. Softw. Eng. Meth. 19, 10:1--10:21. Google ScholarDigital Library
- Camara, J., Martin, J. A., Salaun, G., Cubo, J., Ouederni, M., Canal, C., and Pimentel, E. 2009. ITACA: An integrated toolbox for the automatic composition and adaptation of web services. In Proceedings of the 31st International Conference on Software Engineering. IEEE Computer Society, Los Alamitos, CA, 627--630. Google ScholarDigital Library
- Canal, C., Poizat, P., and Salaun, G. 2008. Model-based adaptation of behavioral mismatching components. IEEE Trans. Softw. Eng. 34, 4, 546--563. Google ScholarDigital Library
- Cardellini, V., Casalicchio, E., Grassi, V., Lo Presti, F., and Mirandola, R. 2009. Qos-driven runtime adaptation of service oriented architectures. In Proceedings of the the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'09). ACM, New York, 131--140. Google ScholarDigital Library
- Chan, W., Cheung, S., and Leung, K. 2006. A metamorphic testing approach for online testing of service-oriented software applications. Int. J. Web Serv. Res. 4, 2, 61--81.Google ScholarCross Ref
- Charfi, A., Dinkelaker, T., and Mezini, M. 2009. A plug-in architecture for self-adaptive web service compositions. In Proceedings of the IEEE International Conference on Web Services (ICWS). IEEE Computer Society, Los Alamitos, CA, USA, 35--42. Google ScholarDigital Library
- Chen, P., Critchlow, M., Garg, A., Van der Westhuizen, C., and van der Hoek, A. 2004. Differencing and Merging within an Evolving Product Line Architecture. Lecture Notes in Computer Science, vol. 3014, Springer Verlag, 269--281.Google Scholar
- Chow, K. and Notkin, D. 1996. Semi-automatic update of applications in response to library changes. In Proceedings of the 1996 International Conference on Software Maintenance (ICSM'96). IEEE Computer Society, Los Alamitos, CA, 359--369. Google ScholarDigital Library
- Chu, M., Murphy, C., and Kaiser, G. 2008. Distributed in vivo testing of software applications. In Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation (ICST'08). IEEE Computer Society, Los Alamitos, CA, 509--512. Google ScholarDigital Library
- Cobleigh, J. M., Osterweil, L. J., Wise, A., and Lerner, B. S. 2002. Containment units: a hierarchically composable architecture for adaptive systems. SIGSOFT Softw. Eng. Notes 27, 6, 159--165. Google ScholarDigital Library
- Cubo, J., Sama, M., Raimondi, F., and Rosenblum, D. 2009. A model to design and verify context-aware adaptive service composition. In Proceedings of the IEEE International Conference on Services Computing (SCC'09). IEEE Computer Society, Los Alamitos, CA, 184--191. Google ScholarDigital Library
- Denaro, G., Pezzè, M., and Tosi, D. 2009. Ensuring interoperable service-oriented systems through engineered self-healing. In Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'09). ACM, New York, 253--262. Google ScholarDigital Library
- Dig, D., Negara, S., Mohindra, V., and Johnson, R. 2008. ReBa: refactoring-aware binary adaptation of evolving libraries. In Proceedings of the 30th International Conference on Software Engineering (ICSE'08). ACM, New York, 441--450. Google ScholarDigital Library
- Dumas, M., Spork, M., and Wang, K. 2006. Adapt or perish: Algebra and visual notation for service interface adaptation. In Proceedings of the 4th International Conference on Business Process Management (BPM). Lecture Notes in Computer Science, vol. 4012. Springer, Berlin /Heidelberg, 65--80. Google ScholarDigital Library
- Elkhodary, A., Esfahani, N., and Malek, S. 2010. Fusion: a framework for engineering self-tuning self-adaptive software systems. In Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'10). ACM, New York, 7--16. Google ScholarDigital Library
- Foster, H., Emmerich, W., Kramer, J., Magee, J., Rosenblum, D., and Uchitel, S. 2007. Model checking service compositions under resource constraints. In Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'07). ACM, New York, 225--234. Google ScholarDigital Library
- Foster, H., Uchitel, S., Magee, J., and Kramer, J. 2004. Compatibility verification for web service choreography. In Proceedings of the International Conference on Web Services (ICWS). IEEE Computer Society, Los Alamitos, CA, 738--741. Google ScholarDigital Library
- Garlan, D., Cheng, S.-W., Huang, A.-C., Schmerl, B., and Steenkiste, P. 2004. Rainbow: Architecture-based self-adaptation with reusable infrastructure. Computer 37, 10, 46--54. Google ScholarDigital Library
- George, S., Evans, D., and Davidson, L. 2002. A biologically inspired programming model for self-healing systems. In Proceedings of the 1st Workshop on Self-Healing Systems (WOSS). ACM, New York, 102--104. Google ScholarDigital Library
- Haller, A., Cimpian, E., Mocan, A., Oren, E., and Bussler, C. 2005. WSMX - A semantic service-oriented architecture. In Proceedings of the International Conference on Web Services (ICWS). IEEE Computer Society, Los Alamitos, CA, 321--328. Google ScholarDigital Library
- Inverardi, P., Mostarda, L., Tivoli, M., and Autili, M. 2005. Synthesis of correct and distributed adaptors for component-based systems: an automatic approach. In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE). ACM, New York, 405--409. Google ScholarDigital Library
- Kaminski, P., Müller, H., and Litoiu, M. 2006. A design for adaptive web service evolution. In Proceedings of the International Workshop on Self-adaptation and Self-managing Systems (SEAMS). ACM, New York, NY, USA, 86--92. Google ScholarDigital Library
- Kephart, J. O. and Chess, D. M. 2003. The vision of autonomic computing. IEEE Computer 36, 1, 41--50. Google ScholarDigital Library
- Klyne, G. and Carroll, J. J. 2004. Resource Description Framework (RDF): Concepts and abstract syntax, W3C recommendation 10 Feb. 2004. http://www.w3.org/TR/rdf-concepts.Google Scholar
- Kongdenfha, W., Motahari Nezhad, H. R., Benatallah, B., Casati, F., and Saint-Paul, R. 2009. Mismatch patterns and adaptation aspects: A foundation for rapid development of web service adapters. IEEE Trans. Serv. Comput. 2, 2, 94--107. Google ScholarDigital Library
- Martin, D., Burstein, M., Lassila, O., Paolucci, M., Payne, T., and McIlraith, S. 2003. Describing web services using OWL-S and WSDL. http://www.daml.org/services/owl-3/1.0/owl-s-wsdl.html.Google Scholar
- Motahari Nezhad, H. R., Benatallah, B., Martens, A., Curbera, F., and Casati, F. 2007. Semi-automated adaptation of service interactions. In Proceedings of the International Conference on World Wide Web (WWW). ACM, New York, 993--1002. Google ScholarDigital Library
- Oreizy, P., Gorlick, M. M., Taylor, R. N., Heimhigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D., and Wolf, A. 1999. An architecture-based approach to self-adaptive software. IEEE Intell. Syst. 14, 3, 54--62. Google ScholarDigital Library
- Paolucci, M. and Wagner, M. 2006. Grounding OWL-S in WSDL-S. In Proceedings of the International Conference on Web Services (ICWS). IEEE Computer Society, Los Alamitos, CA. Google ScholarDigital Library
- Poladian, V., Sousa, J. P., Garlan, D., and Shaw, M. 2004. Dynamic configuration of resource-aware services. In Proceedings of the International Conference on Software Engineering (ICSE). IEEE Computer Society, Los Alamitos, CA, 604--613. Google ScholarDigital Library
- Ponnekanti, S. R. and Fox, A. 2003. Application-service interoperation without standardized service interfaces. In Proceedings of the 1st IEEE International Conference on Pervasive Computing and Communications (PERCOM'03). IEEE Computer Society, Los Alamitos, CA, 30--40. Google ScholarDigital Library
- Ponnekanti, S. R. and Fox, A. 2004. Interoperability among independently evolving web services. In Proceedings of the 5th ACM/IFIP/USENIX International Conference on Middleware (Middleware'04). Springer-Verlag, Berlin, 331--351. Google ScholarDigital Library
- Robillard, M. P. 2008. Topology analysis of software dependencies. ACM Trans. Softw. Eng. Method. 17, 18:1--18:36. Google ScholarDigital Library
- Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., and Fensel, D. 2005. Web service modeling ontology. Appl. Ontol. 1, 1, 77--106. Google ScholarDigital Library
- Salehie, M. and Tahvildari, L. 2009. Self-adaptive software: Landscape and research challenges. ACM Trans. Autonom. Adapt. Syst. 4, 14:1--14:42. Google ScholarDigital Library
- Smith, M. K., McGuinness, D. L., and Welty, C. 2004. OWL Web Ontology Language guide, W3C recommendation 10 Feb. 2004. http://www.w3.org/TR/owl-guide.Google Scholar
- Solanki, M., Cau, A., and Zedan, H. 2004. Augmenting semantic web service descriptions with compositional specification. In Proceedings of the 13th international conference on World Wide Web (WWW'04). ACM, New York, 544--552. Google ScholarDigital Library
- Valetto, G. and Kaiser, G. 2003. Using process technology to control and coordinate software adaptation. In Proceedings of the 25th International Conference on Software Engineering (ICSE'03). IEEE Computer Society, Los Alamitos, CA, 262--272. Google ScholarDigital Library
- Wang, Q., Quan, L., and Ying, F. 2004. Online testing of web-based applications. In Proceedings of the 28th Annual International Computer Software and Applications Conference - Workshops and Fast Abstracts - Volume 02 (COMPSAC'04). IEEE Computer Society, Los Alamitos, CA, 166--169. Google ScholarDigital Library
- Xing, Z. and Stroulia, E. 2007. Api-evolution support with diff-catchup. IEEE Trans. Softw. Eng. 33, 12, 818--836. Google ScholarDigital Library
- Yellin, D. M. and Strom, R. E. 1997. Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst. 19, 2, 292--333. Google ScholarDigital Library
- Zaremski, A. M. and Wing, J. M. 1997. Specification matching of software components. ACM Trans. Softw. Eng. Meth. 6, 4, 333--369. Google ScholarDigital Library
Index Terms
- Test-and-adapt: An approach for improving service interchangeability
Recommendations
Where to adapt dynamic service compositions
WWW '09: Proceedings of the 18th international conference on World wide webPeer services depend on one another to accomplish their tasks, and their structures may evolve. A service composition may be designed to replace its member services whenever the quality of the composite service fails to meet certain quality-of-service (...
An approach to adapt service requests to actual service interfaces
SEAMS '08: Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systemsResearch about service oriented architectures produced, in the last years, some frameworks that enable the development of self-adaptive service compositions supporting dynamic binding. A developer can specify, at design time, an abstract service. At run ...
MAS organisations to adapt your composite service
MONA '10: Proceedings of the 3rd International Workshop on Monitoring, Adaptation and BeyondAdapting composite web-services is a concern of many researchers from the services community and a requirement of the industry. We propose the CASAS (Composable, Adaptive, Service, Agent System) framework that provides mechanisms to monitor and pro-...
Comments