A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude

Farid Mokhati; Brahim Sahraoui; Soufiane Bouzaher; Mohamed Tahar Kimour

首页> 外文期刊>The Journal of object technology >A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude

【24h】

A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude

机译：一种指定和验证代理交互协议的工具：从代理UML到Maude

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper presents a visual tool that allows designers to construct and describe agents' interaction protocols using AUML diagrams and to generate formal specification in Maude from such AUML interaction diagrams. Moreover, it allows for validating the generated specification by means of simulation techniques supported by Maude platform.

机译：本文提供了一个可视化工具，使设计人员可以使用AUML图构建和描述代理的交互协议，并从此类AUML交互图生成Maude中的正式规范。此外，它允许通过Maude平台支持的仿真技术来验证生成的规范。

著录项

来源
《The Journal of object technology》 |2010年第3期|共19页
作者
Farid Mokhati; Brahim Sahraoui; Soufiane Bouzaher; Mohamed Tahar Kimour;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Automated Testing Sequences Generation From Auml Diagrams: A Formal Verification Of Agents' Interaction Protocols [J] . Farid Mokhati, Mourad Badri, Linda Badri, International journal of agent-oriented software engineering . 2008,第4期

机译：从Auml图自动生成测试序列：对代理交互协议的形式验证
2. Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents [J] . Hind Fadil, Jean-Luc Koning Ingenierie des Systemes d'Information . 2008,第2期

机译：迈向验证多主体系统中交互协议的正式方法
3. A Critical Investigation of Agent Interaction Protocols in Multiagent Systems [J] . Rashmi Singh, Aarti Singh, Saurabh Mukherjee International Journal of Advancements in Technology . 2014,第2期

机译：对多代理系统中代理交互协议的批判性研究
4. Representing Agent Interaction Protocols with Agent UML [C] . Marc-Philippe Huget, James Odell International Workshop on Agent-Oriented Software Engineering(AOSE 2004) . 2005

机译：用代理UML表示代理交互协议
5. Formal specification of agent interaction protocols and constraint satisfaction problems. [D] . Chen, Bo. 2004

机译：代理交互协议和约束满足问题的正式规范。
6. Setup and Validation of a Reliable Docking Protocol for the Development of Neuroprotective Agents by Targeting the Sigma-1 Receptor (S1R) [O] . Giacomo Rossino, Marta Rui, Luca Pozzetti, 2020

机译：通过靶向Sigma-1受体的可靠对接协议的设置和验证神经保护剂的开发（S1R）
7. A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude. [O] . Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher, 2010

机译：用于指定和验证代理的交互协议的工具：从代理UML到MAUDE。
8. DARPA Agent Markup Language (DAML) Unified Modeling Language (UML)- Based Ontology Toolset (UBOT) [R] . Kogut, P. 2005

机译：DaRpa代理标记语言（DamL）统一建模语言（UmL） - 基于本体工具集（UBOT）

A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude

摘要

著录项

相似文献

相关主题

期刊订阅