An Approach to Model Checking of Multi-agent Data Analysis
The paper presents an approach to verification of a multi-agent data analysis algorithm. We base correct simulation of the multi-agent system by a finite integer model. For verification we use model checking tool SPIN. Protocols of agents are written in Promela language and properties of the multi-a...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2014-11-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1411.3792v1 |
| _version_ | 1811267595517558784 |
|---|---|
| author | Natalia Garanina Eugene Bodin Elena Sidorova |
| author_facet | Natalia Garanina Eugene Bodin Elena Sidorova |
| author_sort | Natalia Garanina |
| collection | DOAJ |
| description | The paper presents an approach to verification of a multi-agent data analysis algorithm. We base correct simulation of the multi-agent system by a finite integer model. For verification we use model checking tool SPIN. Protocols of agents are written in Promela language and properties of the multi-agent data analysis system are expressed in logic LTL. We run several experiments with SPIN and the model. |
| first_indexed | 2024-04-12T21:05:21Z |
| format | Article |
| id | doaj.art-f3e32886ad994025b09aea42186a7559 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-04-12T21:05:21Z |
| publishDate | 2014-11-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-f3e32886ad994025b09aea42186a75592022-12-22T03:16:43ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-11-01168Proc. MOD* 2014324410.4204/EPTCS.168.3:2An Approach to Model Checking of Multi-agent Data AnalysisNatalia Garanina0Eugene Bodin1Elena Sidorova2 A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia The paper presents an approach to verification of a multi-agent data analysis algorithm. We base correct simulation of the multi-agent system by a finite integer model. For verification we use model checking tool SPIN. Protocols of agents are written in Promela language and properties of the multi-agent data analysis system are expressed in logic LTL. We run several experiments with SPIN and the model.http://arxiv.org/pdf/1411.3792v1 |
| spellingShingle | Natalia Garanina Eugene Bodin Elena Sidorova An Approach to Model Checking of Multi-agent Data Analysis Electronic Proceedings in Theoretical Computer Science |
| title | An Approach to Model Checking of Multi-agent Data Analysis |
| title_full | An Approach to Model Checking of Multi-agent Data Analysis |
| title_fullStr | An Approach to Model Checking of Multi-agent Data Analysis |
| title_full_unstemmed | An Approach to Model Checking of Multi-agent Data Analysis |
| title_short | An Approach to Model Checking of Multi-agent Data Analysis |
| title_sort | approach to model checking of multi agent data analysis |
| url | http://arxiv.org/pdf/1411.3792v1 |
| work_keys_str_mv | AT nataliagaranina anapproachtomodelcheckingofmultiagentdataanalysis AT eugenebodin anapproachtomodelcheckingofmultiagentdataanalysis AT elenasidorova anapproachtomodelcheckingofmultiagentdataanalysis AT nataliagaranina approachtomodelcheckingofmultiagentdataanalysis AT eugenebodin approachtomodelcheckingofmultiagentdataanalysis AT elenasidorova approachtomodelcheckingofmultiagentdataanalysis |