基于AOSE的MAS标准化模型与规格化研究

来源 :太原理工大学 | 被引量 : 0次 | 上传用户:zhy510167943
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着网络技术的日臻完善,软件与网络的关系越来越密切。基于Internet的分布式协作系统成为应用软件发展的主流,多Agent系统(MAS)在其中充当着重要角色。本文以面向Agent的软件工程(Agent Oriented Software Engineering,简称AOSE)理论与目前的MAS系统标准体系为基础,针对作为其核心的MAS系统构架方法——规格化方法(Specification method)的不足之处提出了一种改进策略。 对于MAS系统体系结构的研究是建立在MAS的实际应用基础上的。由于传统软件工程理论在MAS应用领域的不适应,而新兴的AOSE理论的实行又受限于目前的应用环境和开发能力,MAS系统的开发成为一件非常困难的工作。作为AOSE核心技术的逻辑规格化方法由于其自身的复杂特性在短时间内很难得到广泛应用,并且基于逻辑系统的目标代码与当前流行操作平台的可移植性、兼容性都很难保证。所以目前工程应用中,普遍被接受的方法是设计模式的方法,即从实际应用中提取成功案例的体系结构,在抽象层次上建立标准体系,用于指导新的类似应用的开发。现有的MAS系统构架标准体系主要以FIPA组织的标准为主,同期研究的还有OMG组织,以及一些科学家提出的面向特定领域的MAS体系结构标准。 本文在对现有的标准化体系进行了深入分析的基础上,决定对目前应用较广泛的FIPA标准进行逻辑系统映射,并为其定义一种形式化描述语言,使用这种特定的形式语言能够有效地简化规格化过程。这使得规格化方法的优越之处得以在MAS系太原理工大学硕士研究生学位论文统的构架中体现,同时在MAS系统的设计与开发中间搭起一座桥梁。
其他文献
工作流是一种新兴的信息处理技术,主要用来帮助实现面向需求不断变化商业环境下的流程处理工作.工作流管理系统被用来在异构、分布式应用系统架构内定义和驱动业务流程,它的
软件测试是软件生命周期中的一个重要阶段,是保证软件质量的关键.随着面向对象程序设计思想的提出,对面向对象的测试也是软件测试中的一个关键部分.随着软件规模的不断扩大,
1988年,适逢党的十一届三中全会召开十周年。如何在继往开来的变革时期,充分地、实事求是地宣传十年改革的巨大成就,向广大群众进行一次生动的、形象的、有说服力的形势教育
工作流管理系统的主要目标是通过合理地调用和分配有关的信息及人力资源来协调业务过程中的各个活动,以促使业务目标的高效实现。在计算机和网络使用越来越广泛的今天,工作流管理系统正在吸引来自研究机构及产业界越来越多的关注。工作流管理系统中的安全服务包括鉴别、授权、访问控制、审计、数据保密性、数据完整性、不可否认和安全管理,其中授权和访问控制是最重要的部分。基于角色的访问控制是一种灵活的访问控制技术,其基本
正则表达式本身具备描述复杂查询的能力,能够通过特定的语法描述一类文本的共同特征。正则表达式因其强大的表达能力和简洁的语法,使得其计算机语言以及相关领域中的应用十分
该文的工作是以说话人识别为背景研究特征提取和识别模型的理论和方法.为达到这个目的,我们在详细研究说话人特征提取和识别模型的主要方法、最新进展的基础上,围绕四个问题
抠图,顾名思义,就是将感兴趣的前景物体从一幅图片中的背景中提取出来。抠图的出现,为图片编辑、影视剪辑提供了重要的技术支持。另外,此项技术对视频压缩领域也有广泛应用。如果
集约化白羽肉鸡饲养,白色念珠菌病容易发生,影响肉鸡采食,出栏时间延长,料比增加,肉鸡效益差,严重的引起肉鸡死亡.利用硫酸铜来防治,可得到有效控制白色念珠菌.
生物自动行为分析是近年来涌现的新兴学科,希望通过结合机器学习、计算机视觉技术自动定量地分析生物实验中生物的行为,在混合智能和生物学研究中都有大量应用。姿态估计技术从
实践表明,软件过程管理有效地提高了软件企业的生产效率及软件产品的质量。中小型软件企业在构建“软件过程管理支持系统”的过程中,需要一个处理中间层过程逻辑的“软件系统”