A journey to highly dynamic, self-adaptive service-based applications

Automated Software Engineering

Volumn 15, Issue 3-4 SPEC. ISS., 2008, Pages 313-341

  Di Nitto, Elisabetta ^a   Ghezzi, Carlo ^a   Metzger, Andreas ^b   Papazoglou, Mike ^c   Pohl, Klaus ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF DUISBURG ESSEN   (Germany)

^c TILBURG UNIVERSITY   (Netherlands)

Author keywords

Adaptive systems; Self adaptation; Service oriented computing; Services

Indexed keywords

ADAPTIVE SYSTEMS; ADMINISTRATIVE DATA PROCESSING; AGGLOMERATION; COMPUTER SYSTEMS; ENVIRONMENTAL REGULATIONS; INFORMATION SERVICES; MANAGEMENT INFORMATION SYSTEMS; SOFTWARE ENGINEERING; STANDARDIZATION;

ABSTRACTION MECHANISMS; BUSINESS GOALS; CURRENT STATES; DYNAMIC WORLDS; ELECTRONIC DEVICES; ENVIRONMENTAL CONDITIONS; INDIVIDUAL SERVICES; LEGAL REGULATIONS; MARKET OPPORTUNITIES; ONE HANDS; POSSIBLE FUTURES; SELF-ADAPTATION; SELF-ADAPTIVE; SERVICE CONCEPTS; SERVICE-ORIENTED ARCHITECTURES; SERVICE-ORIENTED COMPUTING; SERVICES; SOFTWARE SYSTEMS; SOFTWARE TECHNOLOGIES; USER REQUIREMENTS;

LEGACY SYSTEMS;

EID: 55849098077     PISSN: 09288910     EISSN: 15737535     Source Type: Journal    
DOI: 10.1007/s10515-008-0032-x     Document Type: Article

References (80)

1. G.D. Abowd M. Ebling H.W. Gellersen G. Hunt H. Lei 2002 Guest editors' introduction: Context-aware computing IEEE Pervasive Comput. 01 3 22 23
2. Andrews, T. et al.: Business process execution language for Web services. Tech. rep., IBM (2003) http://www.ibm.com/developerworks/library/ws-bpel
3. Antón, A.: Goal-based requirements analysis. In: Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96), April 15-18, 1996, Colorado Springs, Colorado, USA, pp. 136-144. IEEE Computer Society
4. Arsanjani, A.: Service-oriented modeling and architecture. IBM developerWorks article (November 2004) http://www.ibm.com/developerworks/ library/ws-soa-design1
5. O. Babaoglu G. Canright A. Deutsch G. Di Caro F. Ducatelle L. Gambardella N. Ganguly M. Jelasity R. Montemanni A. Montresor T. Urnes 2006 Design patterns from biology for distributed computing ACM Trans. Auton. Adapt. Syst. 1 1 26 66 http://doi.acm.org/10.1145/1152934.1152937
6. Bai, X., Chen, Y., Shao, Z.: Adaptive web services testing. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), pp. 233-236 (2007a)
7. Bai, X., Xu, D., Dai, G., Tsai, W., Chen, Y.: Dynamic reconfigurable testing of service-oriented architecture. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), vol. 1, pp. 368-375 (2007b)
8. Baresi, L., Guinea, S.: Towards dynamic monitoring of ws-bpel processes. In: 3rd International Conference on Service-Oriented Computing (ICSOC 2005), pp. 269-282 (2005)
9. Baresi, L., Di Nitto, E.: Test and Analysis of Web Services. Springer, Berlin (2007)
10. L. Baresi E. Di Nitto C. Ghezzi 2006 Toward open-world software: Issue and challenges Comput. 39 10 36 43
11. L. Baresi D. Bianculli C. Ghezzi S. Guinea P. Spoletini 2007 Validation of web service compositions IET Softw. 1 6 219 232
12. C. Batini D. Bolchini S. Ceri M. Matera A. Maurino P. Paolini 2007 The UM-MAIS methodology for multi-channel adaptive Web information systems World Wide Web 10 4 349 385
13. Benbernou, S., Meziane, H., Hacid, M.S.: Run-time monitoring for privacy-agreement compliance. In: 5th International Conference on Service-Oriented Computing (ICSOC 2007), pp. 353-364 (2007)
14. Bertolino, A., Polini, A.: The audition framework for testing web services interoperability. In: EUROMICRO-SEAA, pp. 134-142. IEEE Computer Society, New York (2005)
15. Bianculli, D., Ghezzi, C., Spoletini, P.: A model checking approach to verify BPEL4WS workflows. In: IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2007), pp. 13-20 (2007)
16. Bultan, T., Fu, X., Su, J.: Run-time monitoring in service-oriented architectures. In: Baresi, L., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 57-85. Springer, Berlin (2007)
17. Burlton, R.: Business Process Management: Profiting from Process. SAMS publishing, Indianapolis (2001)
18. Canfora, G., Di Penta, M.: SOA: Testing and self-checking. In: International Workshop on Web Services-Modeling and Testing (WS-MaTE), pp. 3-12 (2006a)
19. G. Canfora M. Di Penta 2006 Testing services and service-centric systems: Challenges and opportunities IT Prof. 8 2 10 17
20. Charfi, A., Mezini, M.: Hybrid web service composition: Business processes meet business rules. In: 4th International Conference on Service Oriented Computing (ICSOC 2004)
21. Chhetri, M., Lin, J., Goh, S., Zhang, J., Kowalczyk, R., Yan, J.: A coordinated architecture for the agent-based service level agreement negotiation of Web service composition. In: Australian Software Engineering Conference (ASWEC'06), pp. 90-99 (2006)
22. Colombo, E., Mylopoulos, J., Spoletini, P.: Modeling and analyzing context-aware composition of services. In: 3rd International Conference on Service Oriented Computing (ICSOC 2005)
23. Colombo, M., Di Nitto, E., Mauri, M.: Scene: A service composition execution environment supporting dynamic changes disciplined through rules. In: ICSOC, pp. 191-202 (2006)
24. Comuzzi, M., Pernici, B.: An architecture for flexible Web service QoS negotiation. In: 9th IEEE International Enterprise Distributed Object Computing Conference (EDOC'05), pp. 70-82 (2005)
25. G. Cugola E. Di Nitto A. Fuggetta 2001 The JEDI event-based infrastructure and its application to the development of the OPSS WFMS IEEE Trans. Softw. Eng. 27 9 827 850
26. F. Curbera 2007 Components contracts in service-oriented architectures IEEE Comput. 11 74 80
27. Dai, G., Bai, X., Wang, Y., Dai, F.: Contract-based testing for Web services. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), vol. 1, pp. 517-524 (2007)
28. de Almeida, L.F.J., Vergilio, S.R.: Exploring perturbation based testing for web services. In: IEEE International Conference on Web Services (ICWS 2006), pp. 717-726 (2006)
29. Deussen, P., Din, G., Schieferdecker, I.: A TTCN-3 based online test and validation platform for Internet services. In: 6th International Symposium on Autonomous Decentralized Systems (ISADS), pp. 177-184 (2003)
30. Devescovi, D., Di Nitto, E., Dubois, D., Mirandola, R.: Self-organization algorithms for autonomic systems in the selflet approach. In: 1st International Conference on Autonomic Computing and Communication Systems (Autonomics '07), pp. 1-10 (2007)
31. A. Dey 2001 Understanding and using context Pers. Ubiquitous Comput. 5 1 4 7
32. Di Nitto, E., Di Penta, M., Gambi, A., Ripa, G., Villani, M.: Negotiation of service level agreements: An architecture and a search-based approach. In: 5th International Conference on Service-Oriented Computing (ICSOC 2007), pp. 295-306 (2007)
33. Di Penta, M., Bruno, M., Esposito, G., Mazza, V., Canfora, G.: Web services regression testing. In: Baresi, L., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 205-234. Springer, New York (2007)
34. Emmerich, W., Sventek, J., Aoyama, M.: The impact of research on the development of middleware technology. ACM Trans. Softw. Eng. Methodol. 17(4) (2008)
35. Erl, T.: Service-Oriented Architecture. Prentice-Hall, Englewood Cliffs (2004)
36. Foster, I., Kesselman, C.: The Grid: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, Los Altos (2004)
37. Foster, I., Kesselman, C., Nick, J., Tuecke, S.: The physiology of the grid: An open grid services architecture for distributed systems integration (2002). citeseer.ist.psu.edu/foster02physiology.html
38. Foster, H., Uchitel, S., Magee, J., Kramer, J.: LTSA-WS: A tool for model-based verification of web service compositions and choreography. In: 28th International Conference on Software Engineering (ICSE '06), pp. 771-774 (2006)
39. Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL Web services. In: 13th International Conference on World Wide Web (WWW 2004), pp. 621-630 (2004)
40. A. Fuggetta 1993 A classification of case technology Computer 26 12 25 38 http://dx.doi.org/10.1109/2.247645
41. Ghezzi, C., Guinea, S.: Run-time monitoring in service-oriented architectures. In: Baresi, L., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 237-264. Springer, New York (2007)
42. D. Harel H. Lachover A. Naamad A. Pnueli M. Politi R. Sherman A. Shtull-Trauring M. Trakhtenbrot 1990 STATEMATE: A working environment for the development of complex reactive systems IEEE Trans. Softw. Eng. 16 4 403 414
43. Heckel, R., Mariani, L.: Automatic conformance testing of web services. In: Fundamental Approaches to Software Engineering (FASE 05). LNCS, pp. 34-48 (2005)
44. IBM-MB, IBM websphere message broker (2008). http://www-306.ibm.com/ software/integration/wbimessagebroker/
45. Jackson, M.: Problem Frames: Analyzing and Structuring Software Development Problems. Addison-Wesley Longman, Reading (2000)
46. Jaeger, M., Rojec-Goldmann, G., Muhl, G.: QoS aggregation for web service composition using workflow patterns. In: 8th IEEE International Enterprise Distributed Object Computing Conference (EDOC '04), pp. 149-159 (2004). http://dx.doi.org/10.1109/EDOC.2004.19
47. Jarke, M., Pohl, K.: Establishing visions in context: Toward a model of requirements processes. In: 14th International Conference on Information Systems (ICIS'93), pp. 23-34 (1993)
48. Josuttis, N.: SOA in Practice: The Art of Distributed System Design. O'Reilly Media, Sebastopol (2007)
49. Kavantzas, N.: Web services choreography description language 1.0. Tech. rep., W3C (2004)
50. Kaye, D.: Loosely Coupled: The Missing Pieces of Web Services. RDS Press (2003)
51. Kazhamiakin, R., Pistore, M.: A parametric communication model for the verification of BPEL4WS compositions. In: 15th International Conference on World Wide Web (WWW 2006)
52. J. Kephart D. Chess 2003 The vision of autonomic computing IEEE Comput. 36 1 41 50
53. Kreger, H. et al.: Management using web services: A proposed architecture and roadmap. Tech. rep., IBM, HP and Computer Associates (2005). http://www-128.ibm.com/developerworks/library/specification/ws-mroadmap
54. A. Lazovik M. Aiello M. Papazoglou 2006 Planning and monitoring the execution of web service requests Int. J. Digit. Libr. 6 3 235 246
55. F. Leymann 2006 Choreography for the grid: Towards fitting BPEL to the resource framework Concurr. Comput. Pract. Exp. 18 10 1201 1217
56. Marzolla, M., Mirandola, R.: Performance prediction of Web service workflows. In: Third International Conference on Quality of Software Architectures (QoSA 2007). LNCS, vol. 4880, p. 127. Springer, New York (2007)
57. Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)
58. Miller, J., Mukerji, J.: Mda guide version 1.0.1. OMG report (2003)
59. J. Mylopoulos A. Borgida M. Jarke M. Koubarakis 1990 Telos: Representing knowledge about information systems ACM Trans. Inf. Syst. 8 4 325 362
60. Naur, P., Randell, B. (eds.): Software engineering: Report of a Conference Sponsored by the NATO Science Committee, Scientific Affairs Division, NATO (1968)
61. Papazoglou, M.: Web Services: Principles and Technology. Addison-Wesley, Reading (2007)
62. Papazoglou, M.: The challenges of service evolution. In: Advanced Information Systems Engineering Conference (CAISE 2008). Springer, New York (2008a)
63. Papazoglou, M.: Compliance requirements for business-process driven SOAs. In: IFIP World Computer Congress Conference (WCC 2008). Springer, New York (2008b)
64. M. Papazoglou D. Georgakopoulos 2003 Special issue: Service-oriented computing-Introduction Commun. ACM 46 10 24 28
65. M. Papazoglou B. Kratz 2007 Web services technology in support of business transactions Service Oriented Comput. Appl. 1 1 51 63
66. Papazoglou, M., Pohl, K.: Report on longer term research challenges in software and services. Results from two workshops held at the European Commission premises at 8th of November 2007 and 28th and 29th of January 2008, European Commission, http://www.cordis.lu, with contributions from Boniface, M., Ceri, S., Hermenegildo, M., Inverardi, P., Leymann, F., Maiden, N., Metzger, A., Priol, T. (2008)
67. D. Parnas 1972 On the criteria to be used in decomposing systems into modules Commun. ACM 15 12 1053 1058
68. Pernici, B. (ed.): Mobile Information Systems: Infrastructure and Design for Adaptivity and Flexibility. Springer, New York (2006)
69. Pistore, M., Traverso, P.: Assumption-based composition and monitoring of web services. In: Baresi, L., Di Nitto, E. (eds.) Test and Analysis of Web Services, pp. 307-335. Springer, New York (2007)
70. Pistore, M., Traverso, P., Bertoli, P., Marconi, A.: Automated synthesis of executable Web service compositions from BPEL4WS processes. In: Special Track, 14th International Conference on World Wide Web (WWW 2005)
71. Rolli, D., Luckner, S., Momm, C., Weinhardt, C.: A framework for composing electronic marketplaces-From market structure to service implementation. In: 3rd Workshop on e-Business (WeB 2004), Washington, DC, USA (2004)
72. Royce, W.: Managing the development of large software systems. In: IEEE WESCON, San Francisco, CA, USA, pp. 1-9 (1970)
73. A. Rozinat W.M.P. van der Aalst 2008 Conformance checking of processes based on monitoring real behavior Inf. Syst. 33 1 64 95
74. Ruth, M.E., Tu, S.: Towards automating regression test selection for web services. In: 16th International Conference on World Wide Web (WWW 2007), pp. 1265-1266 (2007)
75. Solanki, M., Cau, A., Zedan, H.: Augmenting semantic Web service descriptions with compositional specification. In: 13th International Conference on World Wide Web (WWW 2004)
76. Spanoudakis, G., Mahbub, K., Zisman, A.: A platform for context aware runtime web service discovery. In: 2007 IEEE International Conference on Web Services (ICWS 2007), pp. 233-240 (2007)
77. Traverso, P., Pistore, M.: Automatic composition of semantic Web services into executable processes. In: 3rd International Semantic Web Conference (ISWC 2004)
78. W.M.P. van der Aalst 2005 Business alignment: Using process mining as a tool for delta analysis and conformance testing Requir. Eng. 10 3 198 211
79. Yang, J., Papazoglou, M.: Service components for managing the life-cycle of service compositions. Inf. Syst. 28(1) (2004)
80. Zachos, K., Maiden, N., Zhu, X., Jones, S.: Discovering web services to specify more complete system requirements. In: 19th International Conference on Advanced Information Systems Engineering (CAiSE 2007), pp. 142-157 (2007)