lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems
Linnaeus University, Faculty of Technology, Department of Media Technology. (CeLeKT)
Linnaeus University, Faculty of Technology, Department of Computer Science.ORCID iD: 0000-0002-1162-0817
2015 (English)In: ACM Transactions on Autonomous and Adaptive Systems, ISSN 1556-4665, E-ISSN 1556-4703, Vol. 10, no 3, article id 15Article in journal (Refereed) 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.

Place, publisher, year, edition, pages
2015. Vol. 10, no 3, article id 15
Keywords [en]
Formal templates, MAPE-K, self-adaptation, Design, Verification
National Category
Computer Systems
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-39601DOI: 10.1145/2724719ISI: 000363674700002Scopus ID: 2-s2.0-84940991650OAI: oai:DiVA.org:lnu-39601DiVA, id: diva2:784845
Available from: 2015-01-30 Created: 2015-01-30 Last updated: 2017-12-05Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Gil de la Iglesia, DidacWeyns, Danny

Search in DiVA

By author/editor
Gil de la Iglesia, DidacWeyns, Danny
By organisation
Department of Media TechnologyDepartment of Computer Science
In the same journal
ACM Transactions on Autonomous and Adaptive Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 450 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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