Formal modeling and verification (in PVS) of multi-agent system architecture
Se ha publicado un artículo de verificación formal en PVS sobre multi agentes titulado Formal modeling and verification of multi-agent system architecture.
Sus autores son
- Ling Yuan (de la Huazhong University of Science and Technology, Wuhan, China) y
- Ping Fan (de la Hubei University of Science and Technology, Hubei, China).
Su resumen es
In a multi-agent system, the multiple distributed intelligent agents interact with each other to solve problems. To guide the development of multi-agent system, the multi-agent system architecture would provide a framework. The specific multi- agent system can be customized from the multi-agent system architecture, which does not need to rewrite the construction. In order to satisfy the failure recovery property of multi-agent system, we propose dependable multi-agent system architecture with fault tolerant mechanisms. The PVS formal language is used to build a system architecture, which can provide common patterns and idioms to the system developers. In order to satisfy the reliability requirements, the powerful PVS theorem prover can be used to analyze the high reliability property of the proposed architecture.
El trabajo se ha presentado en la 2013 AASRI Conference on Parallel and Distributed Computing and Systems.