• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International journal of agent-oriented software engineering >Motivation for a new formal framework for agent-oriented software engineering
【24h】

Motivation for a new formal framework for agent-oriented software engineering

机译：建立面向代理的软件工程的新正式框架的动机

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

摘要

Agent-Oriented Software Engineering (AOSE) poses several challenges to the traditional theory and practice of software engineering with the emergence of a variety of theories and tools proposed to deal with this challenge. Agent frameworks with formal foundations have an important role to play in this scenario by allowing analysis based on a mathematical model. It is our contention that the available frameworks and languages do not fulfil all aspects of agent-based system analysis and development. We perform a survey of the available formal theories and tools for Multi-Agent Systems (MAS) and derive a strong motivation for a new formal framework to support AOSE. Several aspects of agent behaviour in this framework have been inspired by the popular Belief-Desire-Intention (BDI) model of cognitive agents. The new framework introduced concisely in the second half tackles the issues raised in the first half, including those regarding mobility, proactive behaviour, organisation and inter-agent communication.
机译：面向代理的软件工程（AOSE）对传统的软件工程理论和实践提出了一些挑战，并提出了各种旨在应对这一挑战的理论和工具。通过允许基于数学模型进行分析，具有正式基础的Agent框架在这种情况下可以发挥重要作用。我们认为可用的框架和语言不能满足基于代理的系统分析和开发的所有方面。我们对多智能体系统（MAS）的可用形式理论和工具进行了调查，并强烈寻求支持AOSE的新形式框架。在此框架中，行为者行为的几个方面已受到流行的认知行为者的信念-欲望-意图（BDI）模型的启发。下半年简要介绍的新框架解决了上半年提出的问题，包括有关流动性，主动行为，组织和座席间沟通的问题。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号