RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Model. Anal. Inform. Sist., 2014, Volume 21, Number 6, Pages 31–43 (Mi mais410)  

Using SPIN for verification of multi-agent data analysis

N. O. Garanina, E. V. Bodin, E. A. Sidorova

A. P. Ershov Institute of Informatics Systems, Russian Academy of Sciences Siberian Branch, Acad. Lavrentjev pr., 6, Novosibirsk, 630090, Russia

Abstract: 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 the preliminary phase of the analysis. The agents working in parallel check the syntactic and semantic consistency of tuples of information items. Since the agents operate in parallel, it is necessary to verify some important properties of the system related to it, such as the property that the controller agent correctly determines the system termination. In our approach, the model checking tool SPIN is used. The protocols of agents are written in Promela language (the input language of the tool) and the properties of the multi-agent data analysis system are expressed in the liner time logic LTL. We carried out several experiments to check this model in various modes of the tool and various numbers of agents.

Keywords: ontology population, multi-agent system, model checking, SPIN.

Full text: PDF file (485 kB)
References: PDF file   HTML file
UDC: 517.51+514.17
Received: 16.10.2014

Citation: N. O. Garanina, E. V. Bodin, E. A. Sidorova, “Using SPIN for verification of multi-agent data analysis”, Model. Anal. Inform. Sist., 21:6 (2014), 31–43

Citation in format AMSBIB
\Bibitem{GarBodSid14}
\by N.~O.~Garanina, E.~V.~Bodin, E.~A.~Sidorova
\paper Using SPIN for verification of multi-agent data analysis
\jour Model. Anal. Inform. Sist.
\yr 2014
\vol 21
\issue 6
\pages 31--43
\mathnet{http://mi.mathnet.ru/mais410}


Linking options:
  • http://mi.mathnet.ru/eng/mais410
  • http://mi.mathnet.ru/eng/mais/v21/i6/p31

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Number of views:
    This page:432
    Full text:65
    References:19

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020