Skip to main content
SpringerLink
Log in

Using SPIN for verification of multiagent data analysis

  • Published:
Automatic Control and Computer Sciences Aims and scope Submit manuscript

Abstract

The paper presents an approach to formal verification of multiagent 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 SPIN model checking tool is used. The agent protocols are written in the Promela language (the input language of the tool), and the properties of the multiagent data analysis system are expressed in liner time logic (LTL). We carried out several experiments to check this model in various modes of the tool and for various numbers of agents.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aref, M.M., A multi-agent system for natural language understanding, International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2003.

    Google Scholar 

  2. Carvalho, A.M.B.R., de Paiva, D.S., Sichman, J.S., da Silva, J.L.T., Wazlawick, R.S., and de Lima, V.L.S., Multi-agent systems for natural language processing, Multi Agent Systems Models Architecture and Appications: Proceedings of the IIberoamerican Workshop on D.A.I. and M.A.S, Garijo, F.J. and Lemaitre, C., Eds., Toledo, pp. 61–69 2003.

    Google Scholar 

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

    Google Scholar 

  4. Cheng, X., Xie, Y., and Yang, T., 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, vol. 2, p. 636–639.

    Article  Google Scholar 

  5. Clark, K.L. and Lazarou, V.S., 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, p. 87–93.

    Chapter  Google Scholar 

  6. Fum, D., Guida, G., and Tasso, C., A distributed multi-agent architecture for natural language processing, Proc. of the 12th Conference on Computational Linguistics (COLING '88), 1988, vol. 2, p. 812–814.

  7. Garanina, N., Sidorova, E., and Bodin, E., 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, 2013, vol. 1032, p. 122–132.

    Google Scholar 

  8. Garanina, N. and Bodin, E., Distributed termination detection by counting agent, Proc. of the 23nd International Workshop on Concurrency, Specification and Programming, Chemnitz, Humboldt-Universitat zu Berlin, 2014, p. 69–79.

    Google Scholar 

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

    Google Scholar 

  10. Minakov, I., Rzevski, G., Skobelev, P., and Volman, S., 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, Regensburg, 2007, vol. 4659, p. 361–370.

    Google Scholar 

  11. dos Santos, C.T., Quaresma, P., Rodrigues, I., and Vieira, R., A multi-agent approach to question answering, Computational Processing of the Portuguese Language: 7th International Workshop, PROPOR 2006, Itatiaia, 2006, p. 131–139.

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Ershov Institute of Informatics Systems, Russian Academy of Sciences, Siberian Branch, pr. Akad. Lavrent’eva 6, Novosibirsk, 630090, Russia

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

Authors
  1. N. O. Garanina
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. E. V. Bodin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. E. A. Sidorova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to N. O. Garanina.

Additional information

Original Russian Text © N.O. Garanina, E.V. Bodin, E.A. Sidorova, 2014, published in Modelirovanie i Analiz Informatsionnykh Sistem, 2014, No. 6, pp. 31–43.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Garanina, N.O., Bodin, E.V. & Sidorova, E.A. Using SPIN for verification of multiagent data analysis. Aut. Control Comp. Sci. 49, 420–429 (2015). https://doi.org/10.3103/S014641161507007X

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S014641161507007X

Keywords

Search

Navigation