国家自然科学基金(60773018)
- 作品数：8 被引量：48H指数：3
- 相关作者：毛新军齐治昌常志明董孟高胡翠云更多>>
- 相关机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 自适应网构软件的集成开发环境SADE被引量：3
- 2010年
- 网构软件通常驻留在动态、开放的环境中，需根据环境变化展示自适应和自演化能力，代表了一类复杂系统.如何有效支持这类软件系统的开发是软件工程面临的一项重要挑战.本文介绍了一个基于Agent的网构软件集成开发环境SADE，它建立在一组网构软件关键技术基础之上，包括：基于Agent的网构软件抽象和构造，动态绑定的自适应和自演化机制，基于组织抽象的软件开发方法学ODAM，自适应和自演化策略描述语言SADL等.论文分析了SADE的技术框架以及各个组成部分，包括网构软件分析和设计工具集ODAMTools、编程工具集、运行支撑平台等；最后通过案例分析阐述了如何利用SADE来进行网构软件开发.
- 毛新军李学斯尹俊文董孟高胡翠云吴斌
- 关键词：网构软件AGENT自适应
- 基于Agent的模型转换及其支撑软件工具ODAMTransformer被引量：1
- 2009年
- 模型驱动开发技术通过不同抽象层次模型的建立和转换,可有效提高软件开发的效率和质量。本文将模型驱动开发思想引入到面向Agent软件工程,研究了基于Agent的模型转换技术,并将它集成到面向Agent的软件开发方法学ODAM中。ODAM将基于组织抽象所建立起来的模型视为平台无关模型,将基于特定平台所建立起来的模型视为平台相关模型,支持模型驱动的软件开发。本文选取JADE作为目标系统的开发平台,建立了ODAM元模型和JADE元模型间的映射关系,提出了从ODAM组织模型到JADE模型、从JADE模型到程序代码的模型转换规则,开发了相应的支撑软件工具ODAMTransformer,通过案例分析和演示展示了技术和工具的可行性和有效性。
- 胡翠云毛新军
- 关键词：模型驱动开发
- 从应用的角度评估MAS体系结构风格
- 2009年
- 近年来,Agent技术已成为开发复杂系统的一项可行技术,但对MAS体系结构的研究仍然面临着一定的挑战。本文从已有的MAS体系结构风格和开发框架出发,对MAS体系结构风格进行了分析、提取和归类,从应用角度提出了一个评估MAS体系结构风格的框架,并通过两个案例说明了如何利用评估结果为具体应用选择合适的风格。
- 常志明毛新军齐治昌
- 关键词：多AGENT系统
- 面向Agent软件工程:现状、挑战与展望被引量：19
- 2011年
- 面向Agent软件工程是近年出现的一种新颖软件开发范型,它借助于Agent技术来支持软件系统的工程化开发,被视为是支持复杂软件系统开发的一种重要方法和手段,受到了学术界和工业界的高度关注和重视。尽管在过去十年多的时间里面向Agent软件工程的研究取得了诸多进展,但其技术潜力尚有待进一步发挥,走向大规模工业化应用仍面临诸多问题和挑战。在分析面向Agent软件工程产生背景和技术特点的基础上,从方法、过程和工具三个不同的角度,综述了面向Agent软件工程的研究现状,识别和分析了它当前所面临的一组关键挑战,展望和讨论了其未来的研究方向。
- 毛新军
- 关键词：AGENT多AGENT系统面向AGENT软件工程
- 面向Agent的软件设计模式被引量：1
- 2011年
- 设计模式针对一类在特定上下文中反复出现的问题给出了通用解决方案,模式的提取和重用有助于提高软件开发的效率和质量,其思想和方法已在面向对象软件工程中得到广泛应用和验证。我们认为同一问题采用不同的实现技术往往具有不同的设计形态,不同软件开发范型也有其各自不同的设计模式。作为一种新颖的软件开发范型,近年来面向Agent软件工程的研究取得了长足进展,如何提高软件Agent技术实用性,发挥其技术潜力,扩大其应用范围成为当前人们关注的焦点。本文将模式思想引入到面向Agent软件工程,针对软件Agent技术的特点,从组织结构、交互协作和个体Agent体系结构三个视点提出了一组面向Agent的软件设计模式,以支持多Agent系统的设计;并进一步给出了面向Agent设计模式的描述框架,进行了典型设计模式和应用案例的分析。
- 毛新军常志明
- 关键词：AGENT设计模式多AGENT系统面向AGENT软件工程
- 基于强化学习的自适应多Agent系统的构造被引量：2
- 2011年
- 自适应系统所处的环境往往是不确定的,其变化事先难以预测,如何支持这种环境下复杂自适应系统的开发已经成为软件工程领域面临的一项重要挑战。强化学习是机器学习领域中的一个重要分支,强化学习系统能够通过不断试错的方式,学习环境状态到可执行动作的最优对应策略。本文针对自适应系统环境不确定的问题,将Agent技术与强化学习技术相结合,提出复杂自适应系统开发的核心运行机制和构造技术,从而使得所开发的自适应系统具备在不确定环境下适应环境变化的能力。论文通过案例分析阐述了如何基于学习机制来进行自适应多Agent系统的开发,验证了该机制和方法的有效性。
- 沈乐毛新军董孟高
- 关键词：自适应系统
- Bigraph理论在自适应软件体系结构上的应用被引量：15
- 2009年
- 现有的软件体系结构形式化方法对体系结构的动态性、自适应性支持有限,并不能很好地验证系统演化过程中的一致性、完整性等动态特征.Bigraph理论融合了π演算和移动Ambient演算的优势,重点强调计算的位置和连接两方面因素,具有较为完整、可扩展的理论框架.这使得Bigraph不仅在概念上能够满足现有自适应软件对结构和行为的需求,而且还提供了直观、普适的表达能力.文中简要介绍了Bigraph的基本概念和现状,利用Big-raph理论对自适应软件体系结构进行了形式化规约,分析和验证了系统动态演化的性质,并探讨了Bigraph理论在自适应软件体系结构形式化方面的优势和拓展方向.
- 常志明毛新军齐治昌
- 关键词：自适应软件软件体系结构形式化方法
- 自适应Agent策略描述语言的设计及编译器的实现被引量：7
- 2009年
- 当前自适应系统的开发存在自适应逻辑和业务逻辑相互缠绕的问题,使得自适应系统的开发和维护变得极为复杂和困难.论文认为自主性是实现自适应性的基础和前提,提出将自适应逻辑和业务逻辑相分离的思想,设计了一个自适应Agent策略描述语言SADL,用于对系统自适应特征进行描述.自适应Agent基于预定义策略,在运行时根据外部环境和内部状态的变化,通过动态绑定、释放、激活或钝化行为规约展示自适应行为.论文介绍了SADL语言的语法和语义及其编译器的设计和实现.
- 郝小雷董孟高毛新军齐治昌
- 关键词：AGENT动态绑定机制
