• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International journal of agent-oriented software engineering >Formal driven prototyping approach for multiagent systems
【24h】

Formal driven prototyping approach for multiagent systems

机译：多主体系统的形式驱动原型制作方法

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software applications, they are still difficult to engineer. A common point of MAS engineering methodologies is the production of different work products or models during the different phases. Each work product or model helps to progress towards an implementation of the system under development. Nevertheless, there are very few ways to ensure that the work products and models produced are validated against the requirements. The aim of this paper is to present a formal driven prototyping approach for MAS. This process provides a support for incremental specification leading to an executable model of the system being built. Indeed, this process is based upon a formal organisational framework which uses a formal notation, namely OZS. The process is illustrated through the specification of a multiagent architecture.
机译：即使多代理系统（MAS）被认为是设计许多计算机系统（从复杂的分布式系统到智能软件应用程序）的吸引人的范例，但它们仍然很难进行工程设计。 MAS工程方法学的一个共同点是在不同阶段生产不同的工作产品或模型。每个工作产品或模型都有助于朝着正在开发的系统的实施迈进。但是，很少有方法可以确保根据要求对所生产的工作产品和模型进行验证。本文的目的是提出一种用于MAS的正式驱动原型方法。该过程提供了对增量规范的支持，从而导致了正在构建的系统的可执行模型。实际上，此过程基于使用正式符号即OZS的正式组织框架。通过多代理体系结构的规范说明了该过程。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号