lnu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems
Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för medieteknik (ME). (CeLeKT)
Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).ORCID-id: 0000-0002-1162-0817
2015 (Engelska)Ingår i: ACM Transactions on Autonomous and Adaptive Systems, ISSN 1556-4665, E-ISSN 1556-4703, Vol. 10, nr 3, artikel-id 15Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

Designing software systems that have to deal with dynamic operating conditions, such as changing availability of resources and faults that are dificult to predict, is complex. A promising approach to handle such dynamics is self-adaptation that can be realized by a MAPE-K feedback loop (Monitor-Analyze-Plan-Execute plus Knowledge). To provide evidence that the system goals are satisfied, given the changing conditions, the state of the art advocates the use of formal methods. However, little research has been done on consolidating design knowledge of self-adaptive systems. To support designers, this paper contributes with a set of formally specified MAPE-K templates that encode design expertise for a family of self-adaptive systems. The templates comprise: (1) behavior specification templates for modeling the different components of a MAPE-K feedback loop (based on networks of timed automata), and (2) property specification templates that support verification of the correctness of the adaptation behaviors (based on timed computation tree logic). To demonstrate the reusability of the formal templates, we performed four case studies in which final-year Masters students used the templates to design di↵erent self-adaptive systems.

Ort, förlag, år, upplaga, sidor
2015. Vol. 10, nr 3, artikel-id 15
Nyckelord [en]
Formal templates, MAPE-K, self-adaptation, Design, Verification
Nationell ämneskategori
Datorsystem
Forskningsämne
Data- och informationsvetenskap, Datavetenskap
Identifikatorer
URN: urn:nbn:se:lnu:diva-39601DOI: 10.1145/2724719ISI: 000363674700002Scopus ID: 2-s2.0-84940991650OAI: oai:DiVA.org:lnu-39601DiVA, id: diva2:784845
Tillgänglig från: 2015-01-30 Skapad: 2015-01-30 Senast uppdaterad: 2017-12-05Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Gil de la Iglesia, DidacWeyns, Danny

Sök vidare i DiVA

Av författaren/redaktören
Gil de la Iglesia, DidacWeyns, Danny
Av organisationen
Institutionen för medieteknik (ME)Institutionen för datavetenskap (DV)
I samma tidskrift
ACM Transactions on Autonomous and Adaptive Systems
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 492 träffar
RefereraExporteraLänk till posten
Permanent länk

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