We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Software Engineering

Title: A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems

Authors: Fatma Kachi (LIRE Laboratory, University of Constantine2-Abdelhamid Mehri), Chafia Bouanaka (LIRE Laboratory, University of Constantine2-Abdelhamid Mehri), Souheir Merkouche (University of Constantine2-Abdelhamid Mehri)
Abstract: Maintaining an acceptable level of quality of service in modern complex systems is challenging, particularly in the presence of various forms of uncertainty caused by changing execution context, unpredicted events, etc. Although self-adaptability is a well-established approach for modelling such systems, and thus enabling them to achieve functional and/or quality of service objectives by autonomously modifying their behavior at runtime, guaranteeing a continuous satisfaction of quality objectives is still challenging and needs a rigorous definition and analysis of system behavioral properties. Formal methods constitute a promising and effective solution in this direction in order to rigorously specify mathematical models of a software system and to analyze its behavior. They are also largely adopted to analyze and provide guarantees on the required functional/non-functional properties of self-adaptive systems. Therefore, we introduce a formal model for quality-driven self-adaptive systems under uncertainty. We combine high-level Petri nets and plausible Petri nets in order to model complex data structures enabling system quality attributes quantification and to improve the decision-making process through selecting the most plausible plans with regard to the system's actual context.
Comments: In Proceedings FMAS 2020, arXiv:2012.01176
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
ACM classes: D.2.2, D.2.4
Journal reference: EPTCS 329, 2020, pp. 48-64
DOI: 10.4204/EPTCS.329.5
Cite as: arXiv:2012.01651 [cs.SE]
  (or arXiv:2012.01651v1 [cs.SE] for this version)

Submission history

From: EPTCS [view email]
[v1] Thu, 3 Dec 2020 02:22:38 GMT (303kb,D)

Link back to: arXiv, form interface, contact.