Sökning: onr:"swepub:oai:DiVA.org:lnu-19204" >
FORMS :
FORMS : Unifying Reference Model for Formal Specification of Distributed Self-adaptive Systems
-
- Weyns, Danny (författare)
- Linnéuniversitetet,Institutionen för datavetenskap, fysik och matematik, DFM,Computer Science, Software Technology Labs
-
- Malek, Sam (författare)
- George Mason University
-
- Andersson, Jesper (författare)
- Linnéuniversitetet,Institutionen för datavetenskap, fysik och matematik, DFM,Computer Science, Software Technology Labs
-
(creator_code:org_t)
- 2012-05-04
- 2012
- Engelska.
-
Ingår i: ACM Transactions on Autonomous and Adaptive Systems. - : ACM Press. - 1556-4665 .- 1556-4703. ; 7:1
- Relaterad länk:
-
http://doi.acm.org/1...
-
visa fler...
-
https://lnu.diva-por... (primary) (Raw object)
-
http://lnu.diva-port...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
Nyckelord
- Formal methods
- autonomic computing
- self-adaptation
- Software Technology
- Programvaruteknik
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas