Enhancing Software Qualities in Multi-Agent Systems using Self-Adaptation
2012 (English)In: Proceedings of European Workshop on Multi-Agent Systems EUMAS 2012, Asia-Pacific Society for Computers in Education, 2012, 1-15 p.Conference paper (Refereed)
Engineering multi-agent systems (MAS) is known to be a complex task. One of the reasons lays in the complexity to combine multiple concerns that a MAS is expected to address, such as system functionality, coordination, robustness, etc. A well-recognized approach to manage system complexity is the use of self-adaptive (SA) mechanisms. Self-adaptation allows to adjust the system behavior in order to achieve certain software qualities (optimization, fault-tolerance, etc.). The key idea behind self-adaptation is complexity management through separation of concerns. In this paper we introduce SA-MAS, an architectural approach that integrates the functionalities provided by a MAS with software qualities oered by a SA solution. The paper presents a reference model for SA-MAS and applies it to a Mobile learning case, in which we deal with robustness properties. In addition, we apply formal verication techniques as an approach to guarantee the requirements of the SA-MAS application.
Place, publisher, year, edition, pages
Asia-Pacific Society for Computers in Education, 2012. 1-15 p.
IdentifiersURN: urn:nbn:se:lnu:diva-25910OAI: oai:DiVA.org:lnu-25910DiVA: diva2:623723
European Workshop on Multi-Agent Systems (EUMAS, 17-19 December, 2012, Dublin
On the conferens webpage with the title "Formal Verification of Robustness in a Self-Adaptive MAS: Mobile Learning Case Study"2013-05-282013-05-282016-08-15Bibliographically approved