基于政策自组织系统的软件agent体系结构及其实现

当前自组织系统软件工程面临的一个重要挑战,就是如何设计适宜的个体交互行为来满足自组织系统的宏观涌现需求。针对此问题,提出了一种基于政策的自组织多agent系统的开发方法,此方法通过政策调节引导agent的行为,以期在系统层面得到用户所需求的宏观涌现结果。开发这类系统的核心问题是如何构造系统中的软件agent,使得agent能够感知、理解系统政策,并在遵循政策的前提下实现行为的自主决策。提出了一种基于政策自组织多agent系统的软件agent体系结构,并基于该体系结构设计了运行机制及行为决策算法。通过软件方式实现了一个基于政策的自组织多agent系统开发平台原型,并通过案例实现说明了体系结构、运行机制的有效性。     

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

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

Bigraph理论在自适应软件体系结构上的应用

现有的软件体系结构形式化方法对体系结构的动态性、自适应性支持有限,并不能很好地验证系统演化过程中的一致性、完整性等动态特征.Bigraph理论融合了,π演算和移动Ambient演算的优势,重点强调计算的位置和连接两方面因素,具有较为完整、可扩展的理论框架.这使得Bigraph不仅在概念上能够满足现有自适应软件对结构和行为的需求,而且还提供了直观、普适的表达能力.文中简要介绍了Bigraph的基本概念和现状,利用Bigraph理论对自适应软件体系结构进行了形式化规约,分析和验证了系统动态演化的性质,并探讨了Bigraph理论在自适应软件体系结构形式化方面的优势和拓展方向.     

软件工程导论课程双语教学的实践与思考

本文阐述了软件工程导论课程双语教学的目标和定位以及我们对双语课程教学的一些认知,分析了在双语教学过程中我们所采用的一些理念和方法,从教材、考核、实践、交流等多个环节介绍了该课程双语教学的实施细节,最后讨论了存在的问题和进一步的教学研究。     

工作流系统在办公自动化中的研究与应用

介绍工作流的相关概念、工作流管理系统模型以及工作流系统的分类,描述一套已实施成功的办公自动化中的工作流系统.     

多agent系统的抽象合作模型

合作是多agent系统的特征之一,研究了具有请求／服务交互特征的多agent系统的抽象合作模型,根据服务请求强度和服务提供方式的差异性和多样性,系统分析并提出了6种基本抽象合作模型,提取了请求、承诺和通知3个言语行为作为实现合作的原子通信行为,给出这些原子通信行为和抽象合作模型的严格语义定义,分析它们的实现机制,以描述多agent系统的合作方式和机制,指导多agent系统的设计和实现．     

软部件描述：模型,方法和语言

软件重用技术是软件工程领域的一项关键技术。目前,支持软件重用的方法主要有两种:块重用,即使用可重用的程序块;模式重用,即通过程序转换获得可重用性。其中,最为系统化、为工程化的软件重用活动是基于重用库的块式重用。块式重     

软件Agent的一种面向对象设计模型

怎样实现软件Agent是设计与开发面向Agent编程语言及工具的关键问题.为基于当前主流的面向对象技术来解决该问题,首先讨论了对象与Agent的主要区别,然后通过对Agent的BDI模型进行简化改进,提出了一种基于对象技术的软件Agent的实现体系结构及其内部行为自主决策算法.最后,基于该结构及算法并利用设计模式开发出了软件Agent的一种面向对象设计框架.该工作对于上述问题的解决,以及在现有成熟的面向对象技术基础上开发出软件Agent程序设计语言及其支撑环境具有基础指导意义.     

自主机器人的主动观察模式及软件实现架构

自主机器人运行在开放环境中，对环境信息的感知受限，难以获得有关环境完整、及时的信息。为有效完成任务，自主机器人需要主动地观察环境，即根据任务的需求，自发地决策、调度和执行观察行为，针对性地获取与任务相关的环境信息。主动观察的需求给自主机器人的观察模式以及软件系统构造提出了两方面的挑战：一方面，为支持任务的有效实现，需设计主动的观察模式，从机制层面确保自主机器人能够基于任务需求，观察所需的环境信息；另一方面，主动的观察模式导致自主机器人观察、决策等软构件的功能抽象和数据交互更为复杂，需要针对上层复杂机制的实现设计适配的软件架构。为应对上述挑战，文中将自主机器人的行为定义为任务行为和观察行为两类，针对开放环境中两类典型的环境信息受限场景——片面观察场景和过时观察场景，提出了两类主动观察模式来构建观察行为与任务行为的协同机制，并基于这两类主动观察模式设计了观察行为的决策和调度算法。另外，还设计了一个基于多智能体系统的自主机器人软件架构，实现了所提出的主动观察模式。最后，为验证所提出的主动观察模式的有效性，选取开放环境中一个典型的任务——图书馆服务机器人的图书传送任务开展实验验证。该任务中，自...