CW 579
Danny Weyns, Sam Malek, Jesper AnderssonZ specifications of FORMS - FOrmal Reference Model for Self-adaptation
Abstract
This report gives a formal specification of the FOrmal Reference Model for Self-adaptation (FORMS). FORMS consists of a small number of modeling primitives that correspond to the key variation points within self-adaptive software systems, and a set of relationships that guide their composition. The model is formally specified in Z notation. Z builds on set theory and first-order logic to precisely specify the primitives without delving into the implementation details. The formal specification is type checked using Community Z Tools.
report.pdf (419K) / mailto: D. Weyns