Modelling Epistemic Properties for Specification and Verification of a Multi-agent System (CROSBI ID 531337)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Bagić, Marina ; Ciglarič, Mojca
engleski
Modelling Epistemic Properties for Specification and Verification of a Multi-agent System
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.
Specification of Multi-agent System (MAS) ; Protocol Verification ; Knowledge Verification
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
197-202-x.
2007.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the 2007 International Conference on Software Engineering Research and Practice SERP 2007
Hamid R. Arabnia, Hassan Reza
Las Vegas (NV): CSREA Press
1-60132-033-7
Podaci o skupu
The 2007 International Conference on Software Engineering Research and Practice SERP 2007
predavanje
25.06.2007-28.06.2007
Las Vegas (NV), Sjedinjene Američke Države