Using SPIN for Verification of Multi-agent Data Analysis

The paper presents an approach to formal verification of multi-agent data analysis algorithms for ontology population. The system agents correspond to information items of the input data and the rule of ontology population and data processing. They determine values of information objects obtained at...

Full description

Bibliographic Details
Main Authors: N. O. Garanina, E. V. Bodin, E. A. Sidorova
Format: Article
Language:English
Published: Yaroslavl State University 2014-12-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
Online Access:https://www.mais-journal.ru/jour/article/view/69