Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Enhancing Software Qualities in Multi-Agent Systems using Self-Adaptation
Linnaeus University, Faculty of Science and Engineering, School of Computer Science, Physics and Mathematics. (CeLeKT)
Linnaeus University, Faculty of Science and Engineering, School of Computer Science, Physics and Mathematics.ORCID iD: 0000-0002-1162-0817
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, Published paper (Refereed)
Abstract [en]

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.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:lnu:diva-25910OAI: oai:DiVA.org:lnu-25910DiVA: diva2:623723
Conference
European Workshop on Multi-Agent Systems (EUMAS, 17-19 December, 2012, Dublin
Projects
AMULETS
Note

On the conferens webpage with the titleĀ "Formal Verification of Robustness in a Self-Adaptive MAS: Mobile Learning Case Study"

Available from: 2013-05-28 Created: 2013-05-28 Last updated: 2016-12-19Bibliographically approved

Open Access in DiVA

fulltext(712 kB)256 downloads
File information
File name FULLTEXT02.pdfFile size 712 kBChecksum SHA-512
d42fc73019e2b2035573c2248ad69ba95696a5b4fac56037deb25ae8424d7acf0c53d843beb59813f4a647519515ebc5d6777c0054ca561823a6a07e0a89c1df
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Gil de la Iglesia, DidacWeyns, Danny
By organisation
School of Computer Science, Physics and Mathematics
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 257 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 148 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf