The Community for Technology Leaders
RSS Icon
Issue No.03 - May-June (2012 vol.38)
pp: 609-628
V. Andrikopoulos , IAAS, Univ. of Stuttgart, Stuttgart, Germany
In an environment of constant change and variation driven by competition and innovation, a software service can rarely remain stable. Being able to manage and control the evolution of services is therefore an important goal for the Service-Oriented paradigm. This work extends existing and widely adopted theories from software engineering, programming languages, service-oriented computing, and other related fields to provide the fundamental ingredients required to guarantee that spurious results and inconsistencies that may occur due to uncontrolled service changes are avoided. The paper provides a unifying theoretical framework for controlling the evolution of services that deals with structural, behavioral, and QoS level-induced service changes in a type-safe manner, ensuring correct versioning transitions so that previous clients can use a versioned service in a consistent manner.
Web services, service-oriented architecture, service-oriented computing, software service, service-oriented paradigm, software engineering, programming languages, XML, Guidelines, Protocols, Business, Availability, Quality of service, Software, service compatibility., Services engineering, service evolution, versioning
V. Andrikopoulos, "On the Evolution of Services", IEEE Transactions on Software Engineering, vol.38, no. 3, pp. 609-628, May-June 2012, doi:10.1109/TSE.2011.22
[1] Q. Yu, X. Liu, A. Bouguettaya, and B. Medjahed, "Deploying and Managing Web Services: Issues, Solutions, and Directions," VLDB J., vol. 17, no. 3, pp. 537-572, May 2008.
[2] M.P. Papazoglou, "The Challenges of Service Evolution," Proc. 20th Int'l Conf. Advanced Information Systems Eng., pp. 1-15, 2008.
[3] K.H. Bennett and V.T. Rajlich, "Software Maintenance and Evolution: A Roadmap," Proc. Conf. Future of Software Eng., pp. 73-87, 2000.
[4] J. Estublier, D. Leblang, A. van der Hoek, R. Conradi, G. Clemm, W. Tichy, and D. Wiborg-Weber, "Impact of Software Engineering Research on the Practice of Software Configuration Management," ACM Trans. Software Eng. Methodology, vol. 14, no. 4, pp. 383-430, 2005.
[5] K. Brown and M. Ellis, "Best Practices for Web Services Versioning," webservices/ libraryws-version/, Jan. 2004.
[6] K. Jerijærvi and J. Dubray, "Contract Versioning, Compatibility and Composability," contract-versioning-comp2 , Dec. 2008.
[7] C. Peltz and A. Anagol-Subbarao, "Design Strategies for Web Services Versioning,", 2004.
[8] R. Conradi and B. Westfechtel, "Version Models for Software Configuration Management," ACM Computing Surveys, vol. 30, no. 2, pp. 232-282, 1998.
[9] P. Leitner, A. Michlmayr, F. Rosenberg, and S. Dustdar, "End-to-End Versioning Support for Web Services," Proc. IEEE Int'l Conf. Services Computing, vol. 1, pp. 59-66, July 2008.
[10] M.B. Juric, A. Sasa, B. Brumen, and I. Rozman, "WSDL and UDDI Extensions for Version Support in Web Services," J. Systems and Software, vol. 82, no. 8, pp. 1326-1343, Aug. 2009.
[11] M. Endrei, M. Gaon, J. Graham, K. Hogg, and N. Mulholland, "Moving Forward with Web Services Backward Compatibility," ml?ca=drs- , May 2006.
[12] R. Weinreich, T. Ziebermayr, and D. Draheim, "A Versioning Model for Enterprise Services," Proc. 21st Int'l Conf. Advanced Information Networking and Applications Workshops, vol. 2, pp. 570-575, 2007.
[13] R. Fang, L. Lam, L. Fong, D. Frank, C. Vignola, Y. Chen, and N. Du, "A Version-Aware Approach for Web Service Directory," Proc. IEEE Int'l Conf. Web Services, pp. 406-413, July 2007.
[14] D. Parachuri and S. Mallick, "Service Versioning in SOA," soa-services/white- papers/pages index.aspx, Dec. 2008.
[15] A. Narayan and I. Singh, "Designing and Versioning Compatible Web Services," websphere/ library/techarticles/0705_narayan 0705_narayan. html, Mar. 2007.
[16] D. Orchard ed. "Extending and Versioning Languages: XML Languages [ed. Draft]," World Wide Web Consortium (W3C), , July 2007.
[17] K. Becker, A. Lopes, D.S. Milojicic, J. Pruyne, and S. Singhal, "Automatically Determining Compatibility of Evolving Services," Proc. IEEE Int'l Conf. Web Services, pp. 161-168, 2008.
[18] R. Kazhamiakin ed., "CD-IA-3.2.1 Initial Definition of Validation Scenarios," S-Cube Consortium, http:/, Oct. 2009.
[19] A. Gehlert and A. Metzger eds., "CD-JRA-1.3.2 Quality Reference Model for SBA," S-Cube Consortium, http:/www.s-cube-, Mar. 2008.
[20] M. Belguidoum and F. Dagnat, "Formalization of Component Substitutability," Electronic Notes in Theoretical Computer Science, vol. 215, pp. 75-92, 2008.
[21] V. Andrikopoulos, S. Benbernou, and M.P. Papazoglou, "Managing the Evolution of Service Specifications," Proc. 20th Int'l Conf. Advanced Information Systems Eng., pp. 359-374, 2008.
[22] G. Castagna, N. Gesbert, and L. Padovani, "A Theory of Contracts for Web Services," ACM Trans. Programming Languages and Systems, vol. 31, no. 5, pp. 1-61, 2009.
[23] I. Epifani, C. Ghezzi, R. Mirandola, and G. Tamburrelli, "Model Evolution by Run-Time Parameter Adaptation," Proc. IEEE 31st Int'l Conf. Software Eng., pp. 111-121, 2009.
[24] M. Comuzzi and B. Pernici, "A Framework for QoS-Based Web Service Contracting," ACM Trans. Web, vol. 3, no. 3, pp. 1-52, 2009.
[25] V. Andrikopoulos, S. Benbernou, and M.P. Papazoglou, "Evolving Services from a Contractual Perspective," Proc. 21st Int'l Conf. Advanced Information Systems Eng., pp. 290-304, 2009.
[26] M.P. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann, "Service-Oriented Computing: State of the Art and Research Challenges," Computer, vol. 40, no. 11, pp. 38-45, Nov. 2007.
[27] B. Benatallah, F. Casati, and F. Toumani, "Representing, Analysing and Managing Web Service Protocols," Data & Knowledge Eng., vol. 58, no. 3, pp. 327-357, 2006.
[28] S.H. Ryu, F. Casati, H. Skogsrud, B. Benatallah, and R. Saint-Paul, "Supporting the Dynamic Evolution of Web Service Protocols in Service-Oriented Architectures," ACM Trans. Web, vol. 2, no. 2, pp. 1-46, 2008.
[29] M. Mancioppi, M. Carro, W. Heuvel, and M.P. Papazoglou, "Sound Multi-Party Business Protocols for Service Networks," Proc. Sixth Int'l Conf. Service-Oriented Computing, pp. 302-316, 2008.
[30] J.E. Johnson, D.E. Langworthy, L. Lamport, and F.H. Vogt, "Formal Specification of a Web Services Protocol," Electronic Notes in Theoretical Computer Science, vol. 105, pp. 147-158, Dec. 2004.
[31] M. Dumas, M. Spork, and K. Wang, "Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation," Proc. Fourth Int'l Conf. Business Process Management, pp. 65-80, 2006.
[32] A. Brogi and R. Popescu, "Automated Generation of BPEL Adapters," Proc. Int'l Conf. Service Oriented Computing, pp. 27-39, 2006.
[33] H.R.M. Nezhad, B. Benatallah, A. Martens, F. Curbera, and F. Casati, "Semi-Automated Adaptation of Service Interactions," Proc. 16th Int'l Conf. World Wide Web, pp. 993-1002, 2007.
[34] J. Ponge, B. Benatallah, F. Casati, and F. Toumani, "Analysis and Applications of Timed Service Protocols," ACM Trans. Software Eng. and Methodology, vol. 19, no. 4, pp. 1-38, 2010.
[35] V. Andrikopoulos, A Theory and Model for the Evolution of Software Services, CentER Dissertation Series. Tilburg Univ. Press, 2010.
[36] B.H. Liskov and J.M. Wing, "A Behavioral Notion of Subtyping," ACM Trans. Programming Languages and Systems, vol. 16, no. 6, pp. 1811-1841, 1994.
[37] B. Meyer, Object-Oriented Software Construction, second ed. Prentice Hall PTR, 1997.
[38] J.F. Allen, "Maintaining Knowledge about Temporal Intervals," Comm. ACM, vol. 26, no. 11, pp. 832-843, 1983.
[39] J.M. Küster, C. Gerth, and G. Engels, "Dynamic Computation of Change Operations in Version Management of Business Process Models," Proc. Sixth European Conf. Modelling Foundations and Applications, pp. 201-216, June 2010.
[40] J. Vara, D. Granada, V. Andrikopoulos, and E. Marcos, "Modeling and Comparing Service Descriptions," Technical Report TR-29032010, Univ. Rey Juan Carlos, Dept. of Computing Languages and Systems II, , June 2010.
[41] F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T.J. Grose, Eclipse Modeling Framework. Addison-Wesley Professional, Aug. 2003.
[42] A. Hevner, S. March, J. Park, and S. Ram, "Design Science in Information Systems Research," MIS Quarterly, vol. 28, no. 1, pp. 75-105, 2004.
[43] I. Robinson, "Consumer-Driven Contracts: A Service Evolution Pattern," The ThoughtWorks Anthology: Essays on Software Technology and Innovation, pp. 101-120, Pragmatic Bookshelf, , Mar. 2008.
[44] M.P. Papazoglou, Web Services: Principles and Technology. Prentice Hall, July 2007.
[45] A. Stuckenholz, "Component Evolution and Versioning State of the Art," ACM SIGSOFT Software Eng. Notes, vol. 30, no. 1, p. 7, 2005.
[46] S. Becker, A. Brogi, S. Overhage, E. Romanovsky, and M. Tivoli, "Towards an Engineering Approach to Component Adaptation," Architecting Systems with Trustworthy Components, vol. 3938, pp. 193-215, Springer-Verlag, 2006.
[47] C. Canal, P. Poizat, and G. Salaün, "Model-Based Adaptation of Behavioral Mismatching Components," IEEE Trans. Software Eng., vol. 34, no. 4, pp. 546-563, July/Aug. 2008.
[48] D. Ardagna, M. Comuzzi, E. Mussi, B. Pernici, and P. Plebani, "PAWS: A Framework for Executing Adaptive Web-Service Processes," IEEE Software, vol. 24, no. 6, pp. 39-46, Nov./Dec. 2007.
[49] W. Kongdenfha, R. Saint-paul, B. Benatallah, and F. Casati, "An Aspect-Oriented Framework for Service Adaptation," Proc. Int'l Conf. Service Oriented Computing, pp. 15-26, 2006.
[50] M. Colombo, E.D. Nitto, and M. Mauri, "SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined through Rules," Proc. Int'l Conf. Service Oriented Computing, pp. 191-202, 2006.
[51] D. Ardagna and B. Pernici, "Adaptive Service Composition in Flexible Processes," IEEE Trans. Software Eng., vol. 33, no. 6, pp. 369-384, June 2007.
[52] S.R. Ponnekanti and A. Fox, "Interoperability among Independently Evolving Web Services," Proc. Fifth ACM/IFIP/USENIX Int'l Conf. Middleware, pp. 331-351, 2004.
[53] P. Kaminski, M. Litoiu, and H. Müller, "A Design Technique for Evolving Web Services," Proc. Conf. Center for Advanced Studies on Collaborative Research, pp. 303-317, 2006.
[54] Z. Xing and E. Stroulia, "Differencing Logical UML Models," Automated Software Eng., vol. 14, no. 2, pp. 215-259, 2007.
[55] M. Alanen and I. Porres, "Difference and Union of Models," UML 2003—The Unified Modeling Language, vol. 2863/2003, pp. 2-17, Springer, 2003.
43 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool