lnu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Enhancing Software Qualities in Multi-Agent Systems using Self-Adaptation
Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM. (CeLeKT)
Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.ORCID-id: 0000-0002-1162-0817
2012 (engelsk)Inngår i: Proceedings of European Workshop on Multi-Agent Systems EUMAS 2012, Asia-Pacific Society for Computers in Education, 2012, s. 1-15Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Asia-Pacific Society for Computers in Education, 2012. s. 1-15
HSV kategori
Identifikatorer
URN: urn:nbn:se:lnu:diva-25910OAI: oai:DiVA.org:lnu-25910DiVA, id: diva2:623723
Konferanse
European Workshop on Multi-Agent Systems (EUMAS, 17-19 December, 2012, Dublin
Prosjekter
AMULETS
Merknad

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

Tilgjengelig fra: 2013-05-28 Laget: 2013-05-28 Sist oppdatert: 2016-12-19bibliografisk kontrollert

Open Access i DiVA

fulltext(712 kB)274 nedlastinger
Filinformasjon
Fil FULLTEXT02.pdfFilstørrelse 712 kBChecksum SHA-512
d42fc73019e2b2035573c2248ad69ba95696a5b4fac56037deb25ae8424d7acf0c53d843beb59813f4a647519515ebc5d6777c0054ca561823a6a07e0a89c1df
Type fulltextMimetype application/pdf

Personposter BETA

Gil de la Iglesia, DidacWeyns, Danny

Søk i DiVA

Av forfatter/redaktør
Gil de la Iglesia, DidacWeyns, Danny
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 275 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 191 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf