Adaptation space exploration for service-oriented applications

Science of Computer Programming

Volumn 80, Issue PART B, 2014, Pages 356-384

  Mirandola, Raffaela ^b   Potena, Pasqualina ^a   Scandurra, Patrizia ^a  

^a UNIVERSITY OF BERGAMO   (Italy)

^b POLITECNICO DI MILANO   (Italy)

Author keywords

Functional extra functional requirements; Optimization techniques; Service oriented applications; Software adaptation and evolution

Indexed keywords

ECONOMIC AND SOCIAL EFFECTS; OPTIMIZATION; QUALITY CONTROL; SOFTWARE RELIABILITY; SPACE RESEARCH;

FUNCTIONAL REQUIREMENT; FUNCTIONAL/EXTRA-FUNCTIONAL REQUIREMENTS; META-HEURISTIC SEARCH TECHNIQUES; OPERATIONAL ENVIRONMENTS; OPTIMIZATION TECHNIQUES; PERFORMANCE AND RELIABILITIES; SERVICE ORIENTED APPLICATION; SOFTWARE ADAPTATION AND EVOLUTIONS;

APPLICATION PROGRAMS;

EID: 84889883001     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2013.09.017     Document Type: Article

References (60)

1. M. Harman, W.B. Langdon, Y. Jia, D.R. White, A. Arcuri, and J.A. Clark The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper) ASE 2012 1 14
2. R. Mirandola, and P. Potena Self-adaptation of service based systems based on cost/quality attributes tradeoffs Proc. of SYNACS 2010 - Workshop on Software Services: Frameworks and Platforms 2010
3. N.B. Harrison, and P. Avgeriou How do architecture patterns and tactics interact? A model and annotation J. Syst. Softw. 83 10 2010 1735 1758
4. N. Esfahani, and S. Malek On the role of architectural styles in improving the adaptation support of middleware platforms ECSA 2010 433 440
5. S. Balsamo, A. Di Marco, P. Inverardi, and M. Simeoni Model-based performance prediction in software development: A survey IEEE Trans. Softw. Eng. 5 2004 295 310
6. F. Rosenberg, M. Müller, P. Leitner, A. Michlmayr, A. Bouguettaya, and S. Dustdar Metaheuristic optimization of large-scale QoS-aware service compositions Proceedings of the 2010 IEEE International Conference on Services Computing 2010 97 104
7. OSOA Service Component Architecture (SCA) www.osoa.org
8. R. Mirandola, P. Potena, and P. Scandurra An optimization process for adaptation space exploration of service-oriented applications SOSE 2011 IEEE 146 151
9. A. Bucchiarone, C. Cappiello, E. Di Nitto, R. Kazhamiakin, V. Mazza, and M. Pistore Design for adaptation of service-based applications: main issues and requirements ICSOC/ServiceWave 2009 Workshops LNCS 2010 467 476
10. M. Salehie, and L. Tahvildari Self-adaptive software: Landscape and research challenges ACM Trans. Auton. Adapt. Syst. 4 2 May 2009 Article 14
11. S.C. Geyik, B.K. Szymanski, P. Zerfos, and D.C. Verma Dynamic composition of services in sensor networks IEEE SCC 2010 242 249
12. F. Lécué, A. Delteil, A. Léger, and O. Boissier Web service composition as a composition of valid and robust semantic links Int. J. Coop. Inf. Syst. 18 01 2009 1 62
13. J. Xu Rule-based automatic software performance diagnosis and improvement Perform. Eval. 67 8 2010 585 611
14. T. Parsons A framework for detecting performance design and deployment antipatterns in component based enterprise systems DSM 2005 ACM
15. V. Cortellessa, A. Martens, R. Reussner, and C. Trubiani A process to effectively identify "Guilty" performance antipatterns FASE 2010
16. L. Grunske Identifying "good" architectural design alternatives with multi-objective optimization strategies ICSE 2006 ACM
17. A. Martens, H. Koziolek, S. Becker, and R. Reussner Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms WOSP/SIPEW 2010
18. D.A. Menascé, J.M. Ewing, H. Gomaa, S. Malex, and J.P. Sousa A framework for utility-based service oriented design in SASSY ACM DL WOSP/SIPEW 2010 Proc. 2010 27 36
19. R. Kazman, L. Bass, G. Abowd, and M. Webb SAAM: A method for analyzing the properties of software architectures ICSE 94 1994 81 90
20. L. Dobrica, and E. Niemela A survey on software architecture analysis methods IEEE Trans. Softw. Eng. 28 7 2002 638 653
21. N. Harrison, and P. Avgeriou Implementing reliability: the interaction of requirements, tactics and architecture patterns Architecting Dependable Systems VII Lecture Notes in Computer Science vol. 6420 2010 97 122
22. H. Gomaa, K. Hashimoto, M. Kim, S. Malek, and D.A. Menascé Software adaptation patterns for service-oriented architectures SAC 2010 462 469
23. E. Riccobene, P. Potena, and P. Scandurra Reliability prediction for service component architectures with the SCA-ASM component model V. Cortellessa, H. Muccini, O. Demirörs, EUROMICRO-SEAA 2012 IEEE Computer Society 125 132
24. Apache Tuscany http://tuscany.apache.org/ 2010
25. L. Seinturier, P. Merle, R. Rouvoy, D. Romero, V. Schiavoni, and J.-B. Stefani A component-based middleware platform for reconfigurable service-oriented architectures Softw. Pract. Exp. 42 5 2012 559 583
26. E. Börger, and R. Stärk Abstract State Machines: A Method for High-Level System Design and Analysis 2003 Springer-Verlag
27. The ASMETA toolset website http://asmeta.sf.net/ 2006
28. P. Arcaini, A. Gargantini, E. Riccobene, and P. Scandurra A model-driven process for engineering a toolset for a formal method Softw. Pract. Exp. 41 2 2011 155 166
29. The SCA-ASM design framework [Online], available https://asmeta.svn.sf. net/svnroot/asmeta/code/experimental/SCAASM
30. D. Brugali, L. Gherardi, E. Riccobene, and P. Scandurra Coordinated execution of heterogeneous service-oriented components by Abstract State Machines FACS Lecture Notes in Computer Science vol. 7253 2011 Springer Berlin, Heidelberg 331 349
31. L. Seinturier, P. Merle, D. Fournier, N. Dolet, V. Schiavoni, and J. Stefani Reconfigurable SCA applications with the frascati platform Proc. of International Conference on Services Computing 2009 IEEE 268 275
32. A. Martens, and H. Koziolek Performance-oriented design space exploration Proc. of WCOP08 2008
33. V. Cortellessa, F. Marinelli, and P. Potena An optimization framework for "build-or-buy" decisions in software architecture Comput. Oper. Res. 35 10 2008 3090 3106 (Pubitemid 351337667)
34. C. Blum, and A. Roli Metaheuristics in combinatorial optimization: Overview and conceptual comparison ACM Comput. Surv. 35 3 2003 268 308
35. A. Martens, and H. Koziolek Automatic, model-based software performance improvement for component-based software designs Electron. Notes Theor. Comput. Sci. 253 1 2009 77 93
36. S. Kim, D. Kim, L. Lu, and S. Park Quality-driven architecture development using architectural tactics J. Syst. Softw. 8 2009 1211 1231
37. P. Arcaini, A. Gargantini, E. Riccobene, and P. Scandurra A model-driven process for engineering a toolset for a formal method Softw. Pract. Exp. 41 2 2011 155 166
38. A. Gargantini, E. Riccobene, and P. Scandurra A metamodel-based language and a simulation engine for abstract state machines J. Univers. Comput. Sci. 14 12 2008 1949 1983
39. A. Carioni, A. Gargantini, E. Riccobene, and P. Scandurra A scenario-based validation language for asms Proceedings of the 1st International Conference on Abstract State Machines, B and Z ABZ 08 2008 Springer-Verlag 71 84
40. A. Carioni, A. Gargantini, E. Riccobene, and P. Scandurra Model-driven system validation by scenarios Languages for Embedded Systems and Their Applications (Best of FDL08) Lecture Notes in Electrical Engineering 2009 Springer-Verlag 57 69
41. A. Gargantini, and E. Riccobene ASM-based testing: coverage criteria and automatic test sequence generation J. Univers. Comput. Sci. 7 2001 262 265
42. P. Arcaini, A. Gargantini, and E. Riccobene AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications Proc. of the Abstract State Machines, Alloy, B and Z, Second International Conference ABZ 2010 Lecture Notes in Computer Science vol. 5977 2010 Springer 61 74
43. C. Attiogbé, P. André, and G. Ardourel Checking component composability W. Löwe, M. Südholt, Software Composition LNCS 2006 18 33 (Pubitemid 44502845)
44. M. Marzolla The qnetworks toolbox: A software package for queueing networks analysis K. Al-Begain, D. Fiems, W.J. Knottenbelt, Analytical and Stochastic Modeling Techniques and Applications, 17th International Conference, Proceedings ASMTA 2010, Cardiff, UK Lecture Notes in Computer Science vol. 6148 2010 Springer 102 116
45. G. Franks, P. Maly, M. Woodside, D.C. Petriu, and A. Hubbard Layered Queueing Network Solver and Simulator User Manual 2006 LQN Software Documentation
46. I. Epifani, C. Ghezzi, R. Mirandola, and G. Tamburrelli Model evolution by run-time parameter adaptation Proc. of ICSE09 2009 111 121
47. Y. Censor Pareto optimality in multiobjective problems Appl. Math. Optim. 4 1977 41 59
48. R. Marler, and J. Arora Survey of multi-objective optimization methods for engineering Struct. Multidiscip. Optim. 26 2004 369 395
49. [Online], available www.lindo.com
50. S. Gokhale Architecture-based software reliability analysis: overview and limitations IEEE Trans. Dependable Secure Comput. 4 1 2007 32 40 (Pubitemid 46384619)
51. J.M. Voas, and K.W. Miller Software testability: the new verification IEEE Softw. 12 1995 17 28
52. D. Hamlet, D. Mason, and D. Woit Theory of software reliability based on components Proceedings of the 23rd International Conference on Software Engineering, ICSE 01 2001 361 370 (Pubitemid 32485666)
53. R. Mirandola, P. Potena, and P. Scandurra An optimization process for adaptation space exploration of service-oriented applications: the stock trading system case study Tech. rep., University of Bergamo, Italy http://cs.unibg.it/ potena/OptProcess/TRSTS.pdf
54. V. Cortellessa, F. Marinelli, and P. Potena Automated selection of software components based on cost/reliability tradeoff Proc. of 3rd European Workshop on Software Architecture (EWSA 2006) Lecture Notes in Computer Science vol. 4344 2006 66 81
55. J. Voas, and K. Miller Software testability: the new verification IEEE Softw. 12 3 1995 17 28
56. K. Vallidevi, and B. Chitra Effective self adaptation by integrating adaptive framework with architectural patterns Proc. of the 1st Amrita ACM-W Celebration on Women in Computing in India, A2CWiC 10 2010 ACM
57. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal Pattern-Oriented Software Architecture, vol. 1: A System of Patterns 1996 Wiley
58. B.W. Boehm Software Engineering Economics 1st ed. 1981 Prentice Hall PTR
59. K. Czarnecki, and U. Eisenecker Generative Programming: Methods, Tools, and Applications 2000 Addison-Wesley
60. N.B. Harrison, and P. Avgeriou Incorporating fault tolerance tactics in software architecture patterns Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, SERENE 08 2008 9 18