面向Agent的软件开发方法及其评估

本文根据技术背景的差异,对已有面向Agent的软件开发方法进行了系统的分类,介绍了当前较有影响的一组代表性工作,分析和评估了各种方法的技术特点、适用范围及其存在的问题,概述了已有工具对面向Agent软件开发方法的支持;在参考国际上比较关注的面向Agent软件开发方法特性的基础上,提出了面向Agent软件开发方法的评估方法,对今后研究亟待解决的关键问题作了展望。     

Agent模板的构想

论述了Agent技术与Agent软件模板的框架构想。     

面向Agent软件工程:现状、挑战与展望

面向Agent软件工程是近年出现的一种新颖软件开发范型,它借助于Agent技术来支持软件系统的工程化开发,被视为是支持复杂软件系统开发的一种重要方法和手段,受到了学术界和工业界的高度关注和重视。尽管在过去十年多的时间里面向Agent软件工程的研究取得了诸多进展,但其技术潜力尚有待进一步发挥,走向大规模工业化应用仍面临诸多问题和挑战。在分析面向Agent软件工程产生背景和技术特点的基础上,从方法、过程和工具三个不同的角度,综述了面向Agent软件工程的研究现状,识别和分析了它当前所面临的一组关键挑战,展望和讨论了其未来的研究方向。     

面向对象方法与Agent技术

讨论了对象的概念和面向对象方法的要点，介绍了Agent的基本属性和类型。最后，分析了面向对象方法和面向Agnet方法的联系与区别。     

利用泛洪寻找目标Agent的通信方法

文章提出一种用泛洪在朋友的列表中寻找目标Agent的通信算法,在产生消息追逐现象时比主动通信算法要优越,消息追逐现象会导致主动通信算法传递消息失败,而改进的算法利用泛洪一定会找到目标Agent,进而把消息传递给目标Agent,通过分析验证表明改进的算法具有较佳的Agent通信性能。     

基于Agent的分布式构件库互联框架设计

随着互联网和基于构件的软件复用的飞速发展,各地公共构件库和企业构件库积聚了大量可复用构件,分布式构件库之间进行信息交互的需求也变得十分迫切。为增进分布式构件库尤其是公共构件库和企业构件库间的信息交互,从构件库及互操作知识入手,借助软件Agent技术进行了互联框架和交互方式的设计,制定了分布式构件库间用于构件信息交互的公共描述模型,给企业用户提供了便利的个性化服务,也为更大范围的分布式构件库互联体系的建立奠定了基础。     

面向Agent的软件分析和设计方法

在复杂系统的分析、设计、开发过程中,面向Agent的方法在映射现实世界,模拟人认识问题、解决问题的过程等方面具有优势。从描述Agent的概念、分类和体系结构出发,对面向对象和面向Agent的分析设计方法进行了比较．讨论了面向Agent的分析模型及各模型的组成部分,以及面向Agent的分析模型到设计模型的转换,并指出面向Agent的分析设计方法提供了在建模、设计和实现不同级别上复用的基础。以政府公共行政服务系统为例对上述方法进行实例分析。最后得出面向Agent的软件分析和设计将为复杂系统提供新的解决思路的结论．同时指出本文提出的面向Agent的分析和设计方法的优点以及所面临的问题。     

软件Agent技术与软件体系结构研究

文章阐明了软件体系结构和软件Agent技术的主要概念、研究内容等,指出了各自的研究现状及发展趋势,说明了可用多级正交软件体系结构来实现软件Agent的合成以及面向agent程序设计方法,最后阐职了将软件Agent技术和软件体系结构结合起来在大型软件开发中的应用。     

一种实时Agent的实现模型

如何在对实时性要求较高的场合中运用Agent技术,是目前Agent技术研究中一个很关键的问题。论文主要运用实例库技术来对项目中原有的Agent模型进行改进,提出了一个改进后的实时Agent模型。     

轨道交通控制软件中基于场景的需求分析方法

针对轨道交通控制软件的形式化方法,在实际工程应用中存在形式化建模和系统级场景验证困难的问题.提出一种面向轨道交通领域的形式化建模和需求确认及验证方法.通过非形式化、半形式化到形式化规约三步演化过程,为形式化规约构建提供模板.在对需求的确认和验证中,根据形式化规范建立需求模型,导出相关图表,基于此检查领域专家关注的场景....     

基于虚拟组织的网格安全需求分析模型

网格环境下多用户参与的协同计算是网格计算的重要应用方向。网格计算的复杂性导致网格安全需求复杂。该文提出一种基于虚拟组织的网格计算多用户协同关系描述模型,在其基础上构建网格安全需求分析模型,实现了网格环境下多用户协同计算的安全需求形式化描述,把网格协同计算环境下的不同安全需求统一在同一种理论体系中。     

基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。     

结构化方法、面向对象方法和形式方法的比较与结合

结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。本文对这三种开发方法进行了对照比较,讨论了它们的互相结合,并提出了将其结合在一起的集成方法的设想。     

自动驾驶交叉路口测试场景建模及验证方法

自动驾驶汽车在缓解交通拥堵和消除交通事故方面发挥着重要作用.为了保证自动驾驶系统的安全性和可靠性,在自动驾驶汽车部署到公共道路之前,必须进行全面的测试.现有的测试场景数据大多来源于交通事故和交通违法场景,而且自动驾驶系统最基本的安全需求就是遵守交通法规,这充分体现了自动驾驶汽车遵守交通规则的重要性.然而,目前严重缺少针对交通法规构建的自动驾驶测试场景.因此,本文从交通法规出发,根据自动驾驶系统安全需求,提出交叉路口测试场景的Petri网建模及形式化验证方法.首先,依据自动驾驶测试场景对交规进行分类,提取适合自动驾驶汽车的文本交规,并进行半形式化表征.其次,以覆盖道路交通安全法规以及测试场景功能测试规程为目标,融合交叉路口场景要素的交互行为,合理选择并组合测试场景要素,布设交叉路口测试场景.然后,基于交规的测试场景被建模为一个Petri网,其中,库所描述自动驾驶汽车的状态,变迁表示状态的触发条件,并选择时钟约束规范语言（CCSL）作为中间语义语言,将Petri网转换为一个可进行形式化验证的中间语义模型,提出具体的转换方法.最后,通过Tina软件分析验证交规场景模型的活性、有界性和可达性,结果表明所建模型的正确性,并基于SMT的分析工具MyCCSL来分析CCSL约束,采用LTL公式以形式化方法验证交规场景模型的一致性.     

基于智能场景概念的学习方式及设计研究

从场景的概念入手,在学习领域内探索智能时代下的产品设计方法,研究智能应 用场景中用户、产品、环境等各要素之间的关系,提出智能学习场景下的产品设计路径,以满 足智能时代下的用户需求。基于场景的概念,结合智能产品的特征建立智能应用场景模型,分 析得到智能系统的典型结构。结合学习方式的转变,构建智能学习场景模型,提出智能学习场 景下的学习类产品设计的概念。     

场景与视点结合的需求获取方法及应用分析

需求获取是软件开发的一个重要环节。文章对现有的几种主流的需求获取方法进行了归纳分析,提出了一种将场景和视点结合的需求获取方法。利用该方法能够采集到系统的需求并将其描述清晰。通过一个实例验证了该方法的有效性。     

基于网格的面向Agent形式化建模框架

提出了一种基于OGSA（open grid services architecture）网格体系结构的面向Agent形式化建模框架——AOMG（agent-oriented modeling based on grid）形式化框架,该框架基于Object-Z语言,吸收了Ⅰ^＊框架和UML中的部分元模型,加入了对Agent与网格环境之间交互关系的描述,以及对Agent服务属性的处理,从而解决了现有方法无法对基于网格环境的分布式系统进行分析与设计建模的问题．给出了AOMG形式化框架中的3类核心模型：组织模型、Agent类模型和Agent服务模型．提供了一组新颖的从组织模型到Agent类模型的形式化语义映射规则,实现了系统模型从Agent抽象层次到对象层次的快速转换．     

伦理智能体及其设计:现状和展望

智能体一直是人工智能的主要研究领域之一,任何独立的能够同环境交互并自主决策的实体都可以抽象为智能体.随着人工智能从计算智能到感知智能,再到认知智能的发展,智能体已逐步渗透到无人驾驶、服务机器人、智能家居、智慧医疗、战争武器等人类生活密切相关的领域.这些应用中,智能体与环境、尤其是与人类和社会的交互愈来愈突出,其中的伦理...     

文法推断研究的历史和现状

文法推断属于形式语言的归纳学习问题,它研究如何从语言的有限信息出发,通过归纳推断得到语言的语法定义.文章综述文法推断研究的历史和现状.首先阐述文法推断的理论模型,接着罗列上下文无关文法类及其非平凡子类、隐马尔可夫模型以及随机上下文无关文法的推断方法,最后简介文法推断的应用,并展望其发展趋势.