2016
DOI: 10.1016/j.scico.2016.04.008
|View full text |Cite
|
Sign up to set email alerts
|

Formal development of multi-agent systems using MAZE

Abstract: MAZE is an extension of the Object-Z specification language supporting the specification and development of multi-agent systems (MAS). Following recommendations from the agent-oriented software engineering community, it supports three distinct levels of abstraction: (i) the macro level which focusses on the system's overall, global behaviour, independently of how the agents of the system operate and interact, (ii) the meso level which focusses on agent interactions, and (iii) the micro level which focusses on … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2018
2018
2018
2018

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(2 citation statements)
references
References 28 publications
0
2
0
Order By: Relevance
“…Through the communication and interaction of these intelligent agents, the multi-agent system [ 44 ] has the capability of solving complex problems that a single agent cannot solve, such as mission planning problem in precision farming system. What is more, a multi-agent system has the following characteristics [ 45 ].…”
Section: Precision Farming System Architecturementioning
confidence: 99%
“…Through the communication and interaction of these intelligent agents, the multi-agent system [ 44 ] has the capability of solving complex problems that a single agent cannot solve, such as mission planning problem in precision farming system. What is more, a multi-agent system has the following characteristics [ 45 ].…”
Section: Precision Farming System Architecturementioning
confidence: 99%
“…The concept of MAS is very useful in the context of smart grids, since it defines autonomous, local, and distributed managers of systems, that are connected to form an agent network of cooperation and interaction that simplifies processes [13]. In this way, MAS (intelligent or not) can be integrated as a solution for monitoring and controlling distributed systems.…”
Section: Multi-agent Systemsmentioning
confidence: 99%