FORMS: Unifying Reference Model for Formal Specification of Distributed Self-Adaptive Systems

Danny Weyns, Sam Malek and Jesper Andersson

ACM Transactions on Autonomous and Adaptive Systems (ISSN 1556-4665)

DOI 10.1145/2168260.2168268

This paper provides a formal model, called FOrmal Reference Model for Self-adaptation (FORMS), to reason about underlying principles of self-adaptive systems.