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
FORMS: Unifying Reference Model for Formal Specification of Distributed Self-adaptive Systems
Linnaeus University, Faculty of Science and Engineering, School of Computer Science, Physics and Mathematics. (Computer Science, Software Technology Labs)ORCID iD: 0000-0002-1162-0817
George Mason University.
Linnaeus University, Faculty of Science and Engineering, School of Computer Science, Physics and Mathematics. (Computer Science, Software Technology Labs)
2012 (English)In: ACM Transactions on Autonomous and Adaptive Systems, ISSN 1556-4665, E-ISSN 1556-4703, Vol. 7, no 1, 8Article in journal (Refereed) Published
Abstract [en]

The challenges of pervasive and mobile computing environments, which are highly dynamic and unpredictable, have motivated the development of self-adaptive software systems. Although noteworthy successes have been achieved on many fronts, the construction of such systems remains significantly more challenging than traditional systems. We argue this is partially because researchers and practitioners have been struggling with the lack of a precise vocabulary for describing and reasoning about the key architectural characteristics of self-adaptive systems. Further exacerbating the situation is the fact that existing frameworks and guidelines do not provide an encompassing perspective of the different types of concerns in this setting. In this article, we present a comprehensive reference model, entitled FOrmal Reference Model for Self-adaptation (FORMS), that targets both issues. FORMS provides rigor in the manner such systems can be described and reasoned about. It consists of a small number of formally specified modeling elements that correspond to the key concerns in the design of self-adaptive software systems, and a set of relationships that guide their composition. We demonstrate FORMS's ability to precisely describe and reason about the architectural characteristics of distributed self-adaptive software systems through its application to several existing systems. FORMS's expressive power gives it a potential for documenting reusable architectural solutions (e.g., architectural patterns) to commonly encountered problems in this area.

Place, publisher, year, edition, pages
ACM Press, 2012. Vol. 7, no 1, 8
Keyword [en]
Formal methods, autonomic computing, self-adaptation
National Category
Software Engineering
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-19204DOI: 10.1145/2168260.2168268Scopus ID: 2-s2.0-84862088448OAI: oai:DiVA.org:lnu-19204DiVA: diva2:530062
Available from: 2012-05-31 Created: 2012-05-31 Last updated: 2017-12-07Bibliographically approved

Open Access in DiVA

fulltext(950 kB)1234 downloads
File information
File name FULLTEXT01.pdfFile size 950 kBChecksum SHA-512
1bb34f49a768ee27a28cf525f6a429b747035efd96e79889d5d0f219be07ff320effbde5449b981ecdad534ddf85f749d8fe2eef68f43a334c9af53a9ce7bd24
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopushttp://doi.acm.org/10.1145/2168260.2168268

Authority records BETA

Weyns, DannyAndersson, Jesper

Search in DiVA

By author/editor
Weyns, DannyAndersson, Jesper
By organisation
School of Computer Science, Physics and Mathematics
In the same journal
ACM Transactions on Autonomous and Adaptive Systems
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 1234 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

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 257 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