FORMS: Unifying reference model for formal specification of distributed self-adaptive systems.
Danny WeynsSam MalekJesper AnderssonPublished in: ACM Trans. Auton. Adapt. Syst. (2012)
Keyphrases
- reference model
- formal specification
- distributed systems
- formal methods
- model checking
- specification languages
- real world
- process algebra
- reference models
- specification language
- software architecture
- reverse engineering
- distributed environment
- building blocks
- object oriented design
- multi agent systems
- cooperative
- databases