ABSTRACT
We present an approach to reasoning on complex adaptive software architectures able to dynamically design and change features of the model according to changed behavioral properties or context variables and parameters. The approach consists of a metamodel composed by a Knowledge Graph(KG) and case-based reasoning to find a path connecting state, context and action on the KG. The metamodel allows to derive a runtime architectural model of adaptive application from high level goals and operational requirements, and enable runtime composition of the layout of a decentralized and distributed complex application. To validate the metamodel we also propose an instantiation in two real scenarios in order to exploit both requirements and architectural model.
- Book review: Case-based reasoning by janet kolodner (morgan kaufmann publishers, 1993). SIGART Bull., 7(3):20--22, July 1996. Reviewer-Zeleznikow, John. Google ScholarDigital Library
- P. Arcaini, E. Riccobene, and P. Scandurra. Modeling and analyzing MAPE-K feedback loops for self-adaptation. In 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015, Florence, Italy, May 18-19, 2015, pages 13--23, 2015. Google ScholarDigital Library
- M. Autili, P. D. Benedetto, and P. Inverardi. Context-aware adaptive services: The PLASTIC approach. In Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pages 124--139, 2009. Google ScholarDigital Library
- M. Autili, P. Inverardi, and M. Tivoli. CHOREOS: large scale choreographies for the future internet. In 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE 2014, Antwerp, Belgium, February 3-6, 2014, pages 391--394, 2014.Google ScholarCross Ref
- A. Bucchiarone, H. Ehrig, C. Ermel, P. Pelliccione, and O. Runge. Rule-based modeling and static analysis of self-adaptive systems by graph transformation. In Software, Services, and Systems, pages 582--601, 2015.Google ScholarCross Ref
- B. Cheng, R. de Lemos, H. Giese, P. Inverardi, J. Magee, J. Andersson, B. Becker, N. Bencomo, Y. Brun, B. Cukic, et al. Software engineering for self-adaptive systems: a research roadmap. Lecture Notes in Computer Science, pages 1--26, 2009. Google ScholarDigital Library
- J. Cubo, G. Ortiz, J. Boubeta-Puig, H. Foster, and W. Lamersdorf. Adaptive services for the future internet. J. UCS, 20(8):1046--1048, 2014.Google Scholar
- M. C. Huebscher and J. A. McCann. A survey of autonomic computing-degrees, models, and applications. ACM Computing Surveys (CSUR), 40(3):7, 2008. Google ScholarDigital Library
- J. Kramer and J. Magee. Self-managed systems: an architectural challenge. In Future of Software Engineering, 2007. FOSE'07, pages 259--268. IEEE, 2007. Google ScholarDigital Library
- P. K. McKinley, S. M. Sadjadi, E. P. Kasten, and B. H. Cheng. Composing adaptive software. Computer, pages 56--64, 2004. Google ScholarDigital Library
- M. Mongiello, A. L. Grieco, M. Sciancalepore, and E. Vogli. Adaptive architectural model for future internet applications. In Proc. of the 5th International Workshop on Adaptive services for future internet, 2015.Google Scholar
- M. Mongiello, P. Pelliccione, and M. Siancalepore. Ac-contract: run-time verification of context-aware systems. In Software Engineering for Adaptive and Self-Managing Systems, 2015. SEAMS '15. ICSE Workshop on, pages 106--115, May 2015. Google ScholarDigital Library
- P. Oreizy, N. Medvidovic, and R. N. Taylor. Architecture-based runtime software evolution. In Proceedings of the 20th international conference on Software engineering, pages 177--186. IEEE Computer Society, 1998. Google ScholarDigital Library
- P. Pelliccione, M. Tivoli, A. Bucchiarone, and A. Polini. An architectural approach to the correct and automatic assembly of evolving component-based systems. Journal of Systems and Software, 81(12):2237--2251, 2008. Google ScholarDigital Library
- R. de Lemos et al. Software engineering for self-adaptive systems: A second research roadmap. In Software Engineering for Self-Adaptive Systems II, volume 7475 of Lecture Notes in Computer Science, pages 1--32. Springer Berlin Heidelberg, 2013. Google ScholarDigital Library
- E. Riccobene and P. Scandurra. Formal modeling self-adaptive service-oriented applications. In Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, pages 1704--1710, 2015. Google ScholarDigital Library
- D. Weyns, M. U. Iftikhar, D. G. de la Iglesia, and T. Ahmad. A survey of formal methods in self-adaptive systems. In Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering, pages 67--79. ACM, 2012. Google ScholarDigital Library
Index Terms
- Case-based reasoning and knowledge-graph based metamodel for runtime adaptive architectural modeling
Recommendations
A Configurable UML Based Use Case Modeling Metamodel
ECBS-EERC '09: Proceedings of the 2009 First IEEE Eastern European Conference on the Engineering of Computer Based SystemsThere is a variety of approaches to use case modeling, especially regarding their textual description as their true form. Under certain circumstances, the use of each one of these approaches may be justified. A consistent application of a particular ...
Abductive case-based reasoning: Research Articles
This article introduces abductive case-based reasoning (CBR) and attempts to show that abductive CBR and deductive CBR can be integrated in clinical process and problem solving. Then it provides a unified formalization for integration of abduction, ...
Using Architectural Models to Manage and Visualize Runtime Adaptation
The architectural runtime configuration management approach provides an accurate model of adaptive software system behavior over time. ARCM improves the visibility and understandability of runtime adaptive processes while allowing human input into the ...
Comments