MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems.

Didac Gil de la Iglesia Danny Weyns

Published in: ACM Trans. Auton. Adapt. Syst. (2015)

Keyphrases

formal methods
knowledge based systems
complex systems
building blocks
design criteria
user interface
management system
computer systems
interactive systems
data model
mobile robot
design process
computer aided
embedded systems
modeling language
design space