MORPH: A reference architecture for configuration and behaviour self-adaptation
An architectural approach to self-adaptive systems involves runtime change of system configuration (i.e., the system's components, their bindings and operational parameters) and behaviour update (i.e., component orchestration). Thus, dynamic reconfiguration and discrete event control theory are...
Guardado en:
Autor principal: | |
---|---|
Otros Autores: | , , , , |
Formato: | Acta de conferencia Capítulo de libro |
Lenguaje: | Inglés |
Publicado: |
Association for Computing Machinery, Inc
2015
|
Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
Aporte de: | Registro referencial: Solicitar el recurso aquí |
LEADER | 06410caa a22008177a 4500 | ||
---|---|---|---|
001 | PAPER-13302 | ||
003 | AR-BaUEN | ||
005 | 20230518204337.0 | ||
008 | 190411s2015 xx ||||fo|||| 10| 0 eng|d | ||
024 | 7 | |2 scopus |a 2-s2.0-84960347471 | |
040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
100 | 1 | |a Braberman, V. | |
245 | 1 | 0 | |a MORPH: A reference architecture for configuration and behaviour self-adaptation |
260 | |b Association for Computing Machinery, Inc |c 2015 | ||
506 | |2 openaire |e Política editorial | ||
504 | |a Arshad, N., Heimbigner, D., Wolf, A.L., Deployment and dynamic reconfiguration planning for distributed software systems (2007) Software Quality Journal | ||
504 | |a Bennaceur, A., Inverardi, P., Issarny, V., Spalazzese, R., Automated synthesis of connectors to support software evolution (2012) ERCIM News | ||
504 | |a Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P., MBP: A model based planner (2001) IJCAI | ||
504 | |a Cassandras, C.G., Lafortune, S., (2010) Introduction to Discrete Event Systems, , Springer | ||
504 | |a Cimatti, A., Pistore, M., Roveri, M., Traverso, P., Weak, strong, and strong cyclic planning via symbolic model checking (2003) Artif. Intell. | ||
504 | |a Cobleigh, J.M., Giannakopoulou, D., Pəsəreanu, C.S., Learning assumptions for compositional verification (2003) TACAS | ||
504 | |a Di Marco, A., Inverardi, P., Spalazzese, R., Synthesizing self-adaptive connectors meeting functional and performance concerns (2013) SEAMS | ||
504 | |a D'Ippolito, N., Braberman, V.A., Piterman, N., Uchitel, S., Synthesizing nonanomalous Event-based controllers for liveness goals (2013) TOSEM | ||
504 | |a Filieri, A., Hoffmann, H., Maggio, M., Automated design of self-adaptive software with control-theoretical formal guarantees (2014) ICSE | ||
504 | |a Garlan, D., Cheng, S., Huang, A., Schmerl, B.R., Steenkiste, P., Rainbow: Architecture-based self-adaptation with reusable infrastructure (2004) IEEE Computer | ||
504 | |a Gat, E., Bonnasso, R.P., Murphy, R., Press, A., On three-layer architectures (1997) AIMR | ||
504 | |a Ghezzi, C., Greenyer, J., La Manna, V.P., Synthesizing dynamically updating controllers from changes in scenario-based specifications (2012) SEAMS | ||
504 | |a Giannakopoulou, D., Pasareanu, C.S., Context synthesis (2011) SFM | ||
504 | |a Issarny, V., Bennaceur, A., Bromberg, Y., Middleware-layer connector synthesis: Beyond state of the art in middleware interoperability (2011) SFM | ||
504 | |a Kramer, J., Magee, J., The evolving philosophers problem: Dynamic change management (1990) TSE | ||
504 | |a Kramer, J., Magee, J., Self-managed systems: An architectural challenge (2007) FOSE | ||
504 | |a (2010) Artificial Intelligence: Foundations of Computational Agents, , P. D. L. and M. A. K. Cambridge Uni. Press | ||
504 | |a Lamsweerde, A.V., Goal-oriented requirements engineering: A guided tour (2001) RE | ||
504 | |a Ramadge, P.J., Wonham, W.M., The control of discrete Event systems (1989) Proc. IEEE | ||
504 | |a Swanson, J., Cohen, M.B., Dwyer, M.B., Garvin, B.J., Firestone, J., Beyond the rainbow: Self-adaptive failure avoidance in configurable systems (2014) FSE | ||
504 | |a Sykes, D., Heaven, W., Magee, J., Kramer, J., From goals to components: A combined approach to self-management (2008) SEAMS | ||
504 | |a Tajalli, H., Garcia, J., Edwards, G., Medvidovic, N., Plasma: A plan-based layered architecture for software model-driven adaptation (2010) ASEA4 - ACM Special Interest Group on Software Engineering (SIGSOFT) | ||
520 | 3 | |a An architectural approach to self-adaptive systems involves runtime change of system configuration (i.e., the system's components, their bindings and operational parameters) and behaviour update (i.e., component orchestration). Thus, dynamic reconfiguration and discrete event control theory are at the heart of architectural adaptation. Although controlling configuration and behaviour at runtime has been discussed and applied to architectural adaptation, architectures for self-adaptive systems often compound these two aspects reducing the potential for adaptability. In this paper we propose a reference architecture that allows for coordinated yet transparent and independent adaptation of system configuration and behaviour. © 2015 ACM. |l eng | |
593 | |a Departamento de Computación, FCEN, Universidad de Buenos Aires, Argentina | ||
593 | |a Department of Computing, Imperial College London, United Kingdom | ||
690 | 1 | 0 | |a SELF-ADAPTIVE SYSTEMS |
690 | 1 | 0 | |a SOFTWARE ARCHITECTURE |
690 | 1 | 0 | |a ADAPTIVE SYSTEMS |
690 | 1 | 0 | |a BEHAVIORAL RESEARCH |
690 | 1 | 0 | |a CONTROL THEORY |
690 | 1 | 0 | |a DYNAMIC MODELS |
690 | 1 | 0 | |a SOFTWARE ARCHITECTURE |
690 | 1 | 0 | |a SOFTWARE ENGINEERING |
690 | 1 | 0 | |a ARCHITECTURAL APPROACH |
690 | 1 | 0 | |a DISCRETE EVENT CONTROL |
690 | 1 | 0 | |a DYNAMIC RE-CONFIGURATION |
690 | 1 | 0 | |a OPERATIONAL PARAMETERS |
690 | 1 | 0 | |a REFERENCE ARCHITECTURE |
690 | 1 | 0 | |a SELF ADAPTATION |
690 | 1 | 0 | |a SELF-ADAPTIVE SYSTEM |
690 | 1 | 0 | |a SYSTEM CONFIGURATIONS |
690 | 1 | 0 | |a ADAPTIVE CONTROL SYSTEMS |
700 | 1 | |a D'Ippolito, N. | |
700 | 1 | |a Kramer, J. | |
700 | 1 | |a Sykes, D. | |
700 | 1 | |a Uchitel, S. | |
700 | 1 | |a ACM Special Interest Group on Software Engineering (SIGSOFT) | |
711 | 2 | |d 31 August 2015 |g Código de la conferencia: 118130 | |
773 | 0 | |d Association for Computing Machinery, Inc, 2015 |h pp. 9-16 |p Int. Workshop Control Theory Softw. Eng., CTSE - Proc. |n 1st International Workshop on Control Theory for Software Engineering, CTSE 2015 - Proceedings |z 9781450338141 |t 1st International Workshop on Control Theory for Software Engineering, CTSE 2015 | |
856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-84960347471&doi=10.1145%2f2804337.2804339&partnerID=40&md5=051cc3fb297c8d7eb9737fce520a236b |y Registro en Scopus |
856 | 4 | 0 | |u https://doi.org/10.1145/2804337.2804339 |y DOI |
856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_97814503_v_n_p9_Braberman |y Handle |
856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814503_v_n_p9_Braberman |y Registro en la Biblioteca Digital |
961 | |a paper_97814503_v_n_p9_Braberman |b paper |c PE | ||
962 | |a info:eu-repo/semantics/conferenceObject |a info:ar-repo/semantics/documento de conferencia |b info:eu-repo/semantics/publishedVersion | ||
999 | |c 74255 |