MAPE-K Interfaces for Formal Modeling of Real-Time Self-Adaptive Multi-Agent Systems

Formal modeling of multi-agent systems is an active area of research. The use of precise and unambiguous notation of formal methods is used to accurately describe and reason about the system under consideration at the design time. Multi-agent systems deployed in dynamic and unpredictable environment...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE access 2016, Vol.4, p.4946-4958
Hauptverfasser:	Qasim, Awais, Kazmi, Syed Asad Raza
Format:	Artikel
Sprache:	eng
Schlagworte:	Adaptation Adaptive systems Autonomic computing Belt conveyors Communication Feedback Feedback loops Formal method Formal methods Modelling Monitoring Multi-agent systems Multiagent systems Real time Real-time systems self-adaptation Self-organizing networks
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!