Naslov
Modelling Epistemic Properties for Specification and Verification of a Multi-agent System

Autori
Bagić, Marina ; Ciglarič, Mojca

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 2007 International Conference on Software Engineering Research and Practice SERP 2007 / Hamid R. Arabnia, Hassan Reza - Las Vegas (NV) : CSREA Press, 2007, 197-202

ISBN
1-60132-033-7

Skup
The 2007 International Conference on Software Engineering Research and Practice SERP 2007

Mjesto i datum
Las Vegas (NV), Sjedinjene Američke Države, 25.06.2007. - 28.06.2007

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Specification of Multi-agent System (MAS) ; Protocol Verification ; Knowledge Verification

Sažetak
Verification of epistemic properties, i.e. properties involving knowledge of a multi-agent system (MAS) is a great challenge because there are still many open problems especially with the choice of a proper formal model for multi- agent specification and then, with the proper technique to verify the system. In this paper we propose our formal model for MAS specification as the extended Labelled Transition System (LTS) which is used in Milner's Process Algebra. In oder to verify the system we use model checking technique which aims to create total state space and the transition relation among all the states in which the system can be during its lifetime. We give our analysis with the case study of formal specification and verification of FIPA Query Protocol.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA