基于动态脚本自适应规则库的智能角色战术生成

本文提出基于动态脚本自适应规则库为智能角色生成战术的方法,通过动态脚本中的自适应规则库为智能角色提供合理的战术,使智能角色适应玩家的行为。在实际电力安全规程仿真游戏中,对智能角色战术执行结果进行测试。结果表明,动态脚本自适应规则库提供的战术使智能角色的胜率大大提高。     

基于规则的软件过程事务模型

事务管理是过程工程环境(PSEE)的一个关键技术.近年来,提出了不少高级事务模型支持长事务.然而,由于软件过程事务处理的特殊性,这些模型只能反映其中一部分需求,而且大多数多层的合作事务模型还不够稳定,无法应用于商业,这对PSEE的事务机制提出了挑战.基于此,提出了一个基于规则的软件过程事务模型E-Process/TM,能够较好地刻画软件过程的特征,即用户交互性、长周期、迭代式过程和数据共享的多用户协作.基于用户可自定义的正确性规则,E-Process/TM提供了良好的灵活性和开放性.目前,该模型已在商业PSEE产品中得以实现,并成功地应用于实践中     

一种基于Agent的自适应软件过程模型

传统的软件过程模型大多是静态的、机械的、被动的,它们要求软件工程人员在描述软件过程时预期所有可能发生的情况,并且显式地定义这些问题的解决方案.当软件过程所处的环境发生变化时,软件过程无法自适应地对这些变更作出相应的调整.提出了一种基于Agent的自适应软件过程模型.在这种软件过程模型中,软件过程被描述为一组相互独立而对等的实体--软件过程Agent.这些软件过程Agent能够对软件过程环境的变化主动地、自治地作出反应,动态地确定和变更其行为以实现软件开发的目标.     

OMGTrader服务的软件过程模型

软件分产品和过程两方面，过程模型在软件开发中有重要的应用价值。结合面向对象开发方法学和工具，提出一种软件过程的Ｐｅｔｒｉ网模型。该模型适合描工发中不断变化和不完整的过程，在ＯＭＧＴｒａｄｅｒ服务的开发过程中取得很好的效果。     

形式化软件功能分解的交互式规则

形式化功能分解是软件形式化设计的基本手段。文章基于前后断言形式定义的软件功能,提出了一组将该功能定义分解为3种基本控制结构之一的交互式分解规则,并证明了这组分解规则的正确性。分解规则构成的规则库是支持软件形式化设计的知识库的重要组成部分。     

一个基于自适应规则库的柔性工作流模型

在传统工作流建模思想的基础上,通过综合考虑各种动态的需求以及流程中的可变因素,提出了一个基于自适应规则库的柔性工作流模型,并从形式化定义的角度出发,详细论述了规则库的设计及应用逻辑。在系统建模阶段尽可能对动态因素进行描述和定义,力求做到定义时的柔性,并允许工作流在执行时进行过程、角色、状态和异常定义的修改,力求做到运行时的适应性柔性,使工作流系统在建模定义的整体框架内可以动态地进行调整,从而实现工作流的动态性和自适应性。     

基于活动分解和ECA规则的软件过程建模

软件过程由多个活动组成,活动可以分解成子活动,活动间的关系包括静态关系和动态关系。提出基于活动分解和．ECA规则的过程建模。通过活动分解对软件过程的静态部分进行建模,描述活动与子活动之间的关系;通过ECA规则描述活动之间的动态时序关系,即描述触发活动的事件和内部条件,给过程的调整和动态变化带来了方便,增强了其适应变化的能力。     

一种软件自适应UML建模及其形式化验证方法

软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动机相结合,用于软件自适应的建模和形式化验证.首先,应用UML扩展机制引入新的构造型、标记值和约束条件,定义软件自适应建模设施,在此基础上构造软件自适应结构模型和行为模型;然后,根据定义好的转换算法将软件自适应行为模型转换为时间自动机网络,建立软件自适应形式化模型;最后,定义一组软件自适应形式化验证性质,并利用模型检测工具UPPAAL验证软件自适应模型的可靠性.案例研究表明,该方法可有效降低软件自适应建模和验证的复杂度,提高软件自适应的建模效率和模型可靠性.     

基于Tropos~+需求模型的软件自适应方法

在模型驱动的软件自适应控制过程中,监测、分析、决策和执行等活动均基于共享的知识模型。为便于知识重用和运行时维护,常采用抽象级别较高的需求模型来表示知识。为建模软件的适应性需求,针对传统的Tropos及其扩展方法不能用于软件对异常事件适应性需求建模问题,对Tropos进行上下文和异常条件扩展,记为Tropos+。在此基础上,提出一种由Tropos+需求模型驱动的软件自适应方法,该方法能够用于软件运行环境和异常事件监测以及软件对环境变化和异常事件的自适应处理。最后通过一个案例说明了软件自适应过程。     

面向网构软件的构件自适应机制研究*

结合软件agent技术,从构件角度出发,通过对传统构件进行包装,加入行为规则驱动和行为推导两大机制,提出了一种能够在运行时实时适应用户需求变化和运行环境变化的自适应构件。在自适应构件的运行和支撑方面,实现了一个可动态定制自适应构件行为规则的工具,改进了现有的构件支撑平台使得能满足自适应构件的运行需求;最后通过一个例子说明了自适应构件的设计、实现、运行和演化等一系列工作流程。初步实践表明,上述机制和整套框架为开发具有自适应性的网构软件提供了有效支持。     

自适应系统软件传感器设计与实现

随着Internet的普及应用,越来越多的软件系统运行在开放的环境中,需要感知和适应环境的变化.如何支持这类复杂软件系统的开发和运行已经成为当前软件工程面临的一项重要挑战.针对自适应系统与其驻留环境的交互问题,将自适应系统中的软件实体抽象为自主Agent,提出了自主Agent感知环境变化的软件传感器及其与环境的动态关联思想,给出了软件传感器的设计和实现.不同于已有研究,将软件传感器视为一类特殊的软件Agent.最后通过案例分析展示了上述思想和技术的可行性和有效性.     

软件需求的形式化转换模型

需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型,用来将软件需求分析直接、自动地转换为形式化描述,为需求验证提供帮助,避免软件在需求规范上可能产生的错误。     

一个支持软件并行工程的过程模型

实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。分析了存在于软件生存周期中的两类不同层次的并行性能提出了一个基于Ｐｅｔｒｉ网的支持软件并行工程的软件过程模型ＳＤＤＭ，给出了将软件过程内部的局部并行性延拓到该过程全局的方法。     

利用Agent技术实现教学软件的智慧型交互特性

本文讨论了如何利用人工智慧领域的研究成果Agent技术改善教学软件的交互特性。文中介绍了Agent技术的特点及Mi-crosoftAgent的功能,并重点以MicrosoftAgent为例,讨论了利用Agent技术在多媒体集成工具Authorware中进行教学软件设计的技术应用。     

利用Agent技术实现教学软件的智慧型交互特性

本文讨论了如何利用人工智慧领域的研究成果Agent技术改善教学软件的交互特性。文中介绍了Agent技术的特点及Microsoft Agent的功能，并重点以Microsoft Agent为例，讨论了利用Agent技术在多媒体集成工具Authorware中进行教学软件设计的技术应用。     

一种适用于软件生命周期系统模型的需求获取方法研究

软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率。文章提出了一种形式化的需求获取方法,首先在离散系统模型的基础上,提出了一个可以适用于软件生命周期所有阶段的模型-公平离散系统模型,进而给出了其在软件需求获取过程中求精、验证和控制复杂性的方法、需求模型复用的概念。     

面向服务的过程引擎模型设计

随着大规模软件的出现,软件质量成为软件行业倍受关注的重点问题之一。在基于一种粗粒度松耦合的面向服务体系结构,构建了一个主动过程引擎系统模型。该模型既可以完成软件开发过程的定义、解析和组装,也提供软件过程的主动执行和行为监控,同时也支持软件过程的演化,从项目的整体过程保证软件开发任务的顺利完成和软件产品质量。     

全生命周期软件过程风险管理模型研究

首先从软件过程的角度重新定义了过程风险的基本概念;然后结合CMMI和软件的生命周期分别从软件过程、生命周期和风险管理构建了三维结构的软件项目风险管理模型,提出了基于CMMI的全生命周期的过程风险策划、识别、评估和监控全过程模型;最后建立了软件研制风险管理系统,该系统在实际应用中取得了较好的效果。     

一种软件过程建模语言SPML的设计

本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言SPML。它提供了两个不同抽象层次的描述语言以满足不同用户的需求。高抽象层次的语言SPML／H能够较全面地描述软件过程,具有良好的易用性;低抽象层次的语言SPML／L可以描述规则等,适合描述软件过程的细节。SPML／H还能够被逐步地变换成SPML／L,保证了软件过程模型可以在一个共同的形式化基础上被分析和运作。最后通过一个实例说明过程建模语言的有效性。