ABSTRACT
Considering software developed in a component based fashion, one important aspect about software reconfiguration is to decide how to change the software structure. In some applications, to manually describe the reconfiguration plan to be executed can be a very complex task for developers, like those based in rules and supported by an expert system. Furthermore, this plan must be correct in relation to the programming model, the application architectural restrictions and it must leave the application in a consistent state. In order to reconfigure some application structure, considering aspects related to the application consistency, this work proposes an approach that employs Artificial Intelligence techniques to solve this issue. After a desired configuration has been chosen for some context, the task is to decide how to achieve the desired state, generating a reconfiguration plan, in a consistent manner and, after that, execute it. The plan is generated based on a model of cause and effect, which describes the set of reconfiguration actions from the underlying component model, that has reflective capacity to execute the reconfiguration plan.
- J.-R. Abrial. The B-book: assigning programs to meanings. Cambridge University Press, New York, NY, USA, 1996. Google ScholarDigital Library
- P.-C. David, T. Ledoux, M. Léger, and T. Coupaye. FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures. Annals of Telecommunications, 64:45--63, 2009. 10.1007/s12243-008-0073-y.Google ScholarCross Ref
- H. Geffner. The model-based approach to autonomous behavior: A personal view. In M. Fox and D. Poole, editors, Proceedings of the Twenty-Fourth Conference on Artificial Intelligence, AAAI, Atlanta, Georgia, USA. AAAI Press, July 2010.Google Scholar
- F. Kon, F. Costa, G. Blair, and R. H. Campbell. The case for reflective middleware. Commun. ACM, 45:33--38, June 2002. Google ScholarDigital Library
- J. Kramer and J. Magee. The evolving philosophers problem: dynamic change management. Software Engineering, IEEE Transactions on, 16(11):1293--1306, nov 1990. Google ScholarDigital Library
- J. Kramer and J. Magee. Self-managed systems: an architectural challenge. In 2007 Future of Software Engineering, FOSE '07, pages 259--268, Washington, DC, USA, 2007. IEEE Computer Society. Google ScholarDigital Library
- A. Lanoix, J. Dormoy, and O. Kouchnarenko. Combining proof and model-checking to validate reconfigurable architectures. Electronic Notes in Theoretical Computer Science, 279(2):43--57, 2011. Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). Google ScholarDigital Library
- M. Léger, T. Ledoux, and T. Coupaye. Reliable dynamic reconfigurations in a reflective component model. In CBSE, pages 74--92, 2010. Google ScholarDigital Library
- D. Nau, M. Ghallab, and P. Traverso. Automated Planning: Theory & Practice. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2004. Google ScholarDigital Library
- S. J. Russell and P. Norvig. Artificial Intelligence - A Modern Approach. Pearson Education, 3 edition, 2010. Google ScholarDigital Library
- D. Sykes. Autonomous Architectural Assembly And Adaptation. PhD in computing, Imperial College of Science, Technology and Medicine - Department of Computing, February 2010.Google Scholar
- H. Tajalli, J. Garcia, G. Edwards, and N. Medvidovic. Plasma: a plan-based layered architecture for software model-driven adaptation. In Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pages 467--476, New York, NY, USA, 2010. ACM. Google ScholarDigital Library
Index Terms
- A declarative approach for software compositional reconfiguration
Recommendations
Automating the reconfiguration for self-adaptable software
WCOP '12: Proceedings of the 17th international doctoral symposium on Components and ArchitectureConsidering a runtime compositional software adaptation, one important aspect about the engineering of self-adaptive systems is to decide how to reconfigure the software, that is, how to change its structure. After a desired configuration has been ...
Using a model to generate reconfiguration plans at runtime
CBSE '14: Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineeringIn this paper, we present a reconfiguration procedure that generates a software reconfiguration sequence at runtime, being architecturally-consistent in respect to the components, compositions and connections provided by the underlying component model. ...
Domain-independent temporal planning in a planning-graph-based approach
Many planning domains have to deal with temporal features that can be expressed using durations that are associated to actions. This paper presents a temporal planning approach that combines the principles of Graphplan and TGP, and uses the information ...
Comments