scholarly journals Formal Specification and Verification of Multi-Agent Systems

2005 ◽  
Vol 123 ◽  
pp. 5-17 ◽  
Author(s):  
Mustapha Bourahla ◽  
Mohamed Benmohamed
Keyword(s):  
Formal Specification ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Formal Specification And Verification ◽  
Multi Agent ◽  
Specification And Verification

On the Formal Specification and Verification of Multi-Agent Systems

1997 ◽  
Vol 06 (01) ◽  
pp. 37-65 ◽  
Author(s):  
Michael Fisher ◽  
Michael Wooldridge
Keyword(s):  
Programming Language ◽  
Formal Specification ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Agent Programming ◽  
Formal Specification And Verification ◽  
Multi Agent ◽  
Specification And Verification

This article describes first steps towards the formal specification and verification of multi-agent systems, through the use of temporal belief logics. The article first describes Concurrent METATEM, a multi-agent programming language, and then develops a logic that may be used to reason about Concurrent METATEM systems. The utility of this logic for specifying and verifying Concurrent METATEM systems is demonstrated through a number of examples. The article concludes with a brief discussion on the wider implications of the work, and in particular on the use of similar logics for reasoning about multi-agent systems in general.

Caste-Centric Development of Agent-Oriented Information Systems

2007 ◽  
pp. 692-707 ◽  
Author(s):  
L. Shan ◽  
R. Shen ◽  
J. Wang
Keyword(s):  
Information Systems ◽  
Formal Specification ◽  
Process Model ◽  
Formal Specifications ◽  
Multi Agent Systems ◽  
Collaborative Development ◽  
Analysis And Design ◽  
Agent Systems ◽  
Multi Agent ◽  
Formal Specification Language

Based on the meta-model of information systems presented in Zhu (2006), this chapter presents a caste-centric agent-oriented methodology for evolutionary and collaborative development of information systems. It consists of a process model called growth model, and a set of agent-oriented languages and software tools that support various development activities in the process. At the requirements analysis phase, a modelling language and environment called CAMLE supports the analysis and design of information systems. The semi-formal models in CAMLE can be automatically transformed into formal specifications in SLABS, which is a formal specification language designed for formal engineering of multi-agent systems. At implementation, agent-oriented information systems are implemented directly in an agent-oriented programming language called SLABSp. The features of agent-oriented information systems in general and our methodology in particular are illustrated by an example throughout the chapter.

Formal specification of beliefs in multi-agent systems

1997 ◽  
pp. 117-130 ◽  
Author(s):  
Massimo Benerecetti ◽  
Alessandro Cimatti ◽  
Enrico Giunchiglia ◽  
Fausto Giunchiglia ◽  
Luciano Serafini
Keyword(s):  
Formal Specification ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent
Sign in / Sign up

Export Citation Format

Share Document