Title :
Specification and verification of agent interactions in matchmaking processes using FSP and FLTL
Author :
Amelia Badica;Costin Badica
Author_Institution :
University of Craiova, Business Information Systems Dept., A.I.Cuza 13, 200585, Romania
Abstract :
In this note we show how our framework for formal specification and verification using FSP process algebra and FLTL temporal logic can be practically applied to check properties of agent systems that contain matchmakers.
Keywords :
"Algebra","Joining processes","Information systems","Software engineering","Formal specifications","Logic functions","Multiagent systems","Information analysis","Formal verification","Virtual environment"
Conference_Titel :
Computer and Information Sciences, 2008. ISCIS ´08. 23rd International Symposium on
Print_ISBN :
978-1-4244-2880-9
DOI :
10.1109/ISCIS.2008.4717962
