Geodesic
Using SPIN for verification of multi-agent data analysis
Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 6, pp. 31-43.

Voir la notice de l'article provenant de la source Math-Net.Ru

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. 
@article{MAIS_2014_21_6_a3,
     author = {N. O. Garanina and E. V. Bodin and E. A. Sidorova},
     title = {Using {SPIN} for verification of multi-agent data analysis},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {31--43},
     publisher = {mathdoc},
     volume = {21},
     number = {6},
     year = {2014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a3/}
}
TY  - JOUR
AU  - N. O. Garanina
AU  - E. V. Bodin
AU  - E. A. Sidorova
TI  - Using SPIN for verification of multi-agent data analysis
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2014
SP  - 31
EP  - 43
VL  - 21
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a3/
LA  - ru
ID  - MAIS_2014_21_6_a3
ER  - 
%0 Journal Article
%A N. O. Garanina
%A E. V. Bodin
%A E. A. Sidorova
%T Using SPIN for verification of multi-agent data analysis
%J Modelirovanie i analiz informacionnyh sistem
%D 2014
%P 31-43
%V 21
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a3/
%G ru
%F MAIS_2014_21_6_a3
N. O. Garanina; E. V. Bodin; E. A. Sidorova. Using SPIN for verification of multi-agent data analysis. Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 6, pp. 31-43. http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a3/

[1] M. M. Aref, “A Multi-Agent System for Natural Language Understanding”, International Conference on Integration of Knowledge Intensive Multi-Agent Systems (2003), 36

[2] A. M. B. R. Carvalho, D. S. de Paiva, J. S. Sichman, J. L. T. da Silva, R. S. Wazlawick, V. L. S. de Lima, “Multi-Agent Systems for Natural Language Processing”, Multi Agent Systems Models Architecture and Appications, Proceedings of the II Iberoamerican Workshop on D.A.I. and M.A.S (Toledo, Spain, October 1–2, 1998), eds. J. Garijo Francisco, Cristian Lemaitre, 61–69

[3] R. Banares-Alcantara, R. Jimenez, L. Aldea, “Multi-agent systems for ontology-based information retrieval”, European Symposium on Computer-Aided Chemical Engineering-15 (ESCAPE-15) (Barcelona, Espana, 2005)

[4] X. Cheng, Y. Xie, T. Yang, “Study of Multi-Agent Information Retrieval Model in Semantic Web”, Proc. of the 2008 International Workshop on Education Technology and Training and 2008 International Workshop on Geoscience and Remote Sensing (ETTANDGRS'08) (2008), v. 2, 636–639

[5] K. L. Clark, V. S. Lazarou, “A Multi-Agent System for Distributed Information Retrieval on the World Wide Web”, Proc. of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises (1997), 87–93

[6] D. Fum, G. Guida, C. Tasso, “A Distributed Multi-Agent Architecture for Natural Language Processing”, Proc. of the 12th conference on Computational linguistics (COLING'88) (1988), v. 2, 812–814

[7] N. Garanina, E. Sidorova, E. Bodin, “A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology”, Proc. of the 22nd International Workshop on Concurrency, Specification and Programming (Warsaw, Poland, Sept. 25–27, 2013), CEUR Workshop Proceedings, 1032, 122–132

[8] N. Garanina, E. Bodin, “Distributed Termination Detection by Counting Agent”, Proc. of the 23nd International Workshop on Concurrency, Specification and Programming (Chemnitz, Germany, 29 September–01 Oktober 2014), Humboldt-Universität zu Berlin, 2014, 69–79

[9] G. J. Holzmann, The Spin Model Checker: Primer and Reference Manual, Addison Wesley Pub, 2003, 608 pp.

[10] I. Minakov, G. Rzevski, P. Skobelev, S. Volman, “Creating Contract Templates for Car Insurance Using Multi-agent Based Text Understanding and Clustering”, Proc. Holonic and Multi-Agent Systems for Manufacturing, Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems (HoloMAS 2007) (Regensburg, Germany, September 3–5, 2007), Lecture Notes in Computer Science, 4659, Springer, 2007, 361–370 | DOI

[11] C. T. dos Santos, P. Quaresma, I. Rodrigues, R. Vieira, “A Multi-Agent Approach to Question Answering”, Computational Processing of the Portuguese Language, 7th International Workshop PROPOR'2006 (Itatiaia, Brazil, May 2006), LNAI, 3960, Springer Verlag, Berlin–Heidelberg, 2006, 131–139