Algorithms for translating interaction protocols into a formal description
作者： J.-L. Koning
DOI: 10.1109/ICSMC.1999.823332
关键词: Language Of Temporal Ordering Specification 、 Algorithm 、 Formal specification 、 Programming language 、 Interaction protocol 、 Protocol (object-oriented programming) 、 General Inter-ORB Protocol 、 Multi-agent system 、 Universal composability 、 Task (project management) 、 Computer science
摘要: The task of an interaction protocol creator encompasses several stages. Among the important ones are design and validation protocol. purpose this article is to put forward a way automate second stage once has been completed. advocates approach where automating leads translating into formal description which then given verification tools. This provides whole series translation algorithms correspond various aspects.
sci-hub.st 参考文章(3)
Yves Demazeau, Guillaume François, Jean-Luc Koning, Formalization and Pre-Validation for Interaction Protocols in a Multi Agent Systems. european conference on artificial intelligence. pp. 298- 307 ,(1998)
Jérôme Euzenat, Building consensual knowledge bases: context and architecture ,(1995)
C. Pecheur, Specification and verification of the Co/sub 4/ distributed knowledge system using LOTOS automated software engineering. pp. 63- 70 ,(1997) , 10.1109/ASE.1997.632825