基于扩展UML的Agent建模语言的设计与研究

目前基于UML的面向Agent建模语言可以满足Agent的语法要求，而没有很好地满足其语义要求．本文提出以图形语义域变换作为UML的扩充语义机制，分析和讨论了面向Agent建模语言（AML）的体系结构和基于扩展UML的Agent间相互作用的协议描述方法，并应用实例表现了该扩充的可行性，为标准Agent建模语言的形成具有一定的促进作用．     

构建面向Agent的网上选课系统的需求模型

随着Agent技术的发展,面向Agent的需求工程已经成为软件工程研究的热点。当前对面向Agent需求工程的研究提出了一个新的观点,即把需求工程的活动划分为早期需求分析和后期需求分析两个阶段。在该文构建的需求模型中,早期需求分析过程主要采用由Eric Yu等人提出的I*框架,同时为了防止对需求分析的随意性和不准确,基于该框架提出新的需求模型。在后期的需求分析过程中,主要采用UML来完成。基于此,该文采用基于I*和UML的面向Agent需求建模方法,以网上选课系统案例为背景,研究构建面向Agent系统的需求模型的主要过程。     

基于AUML的Agent建模方案研究

AUML(Agent UML)是Agent建模普遍采用的方法,其通过对UML的扩展来支持Agent的建模.通过借鉴面向对象的系统分析方法,给出了AUML建模方案,并详细描述了AUML的建模机制和各类图的扩展.以编队指挥系统为例,从分析系统用例,分析和识别最初的Agent类型,责任识别,提取Agent之间的关系及精化Agent,确定交互直至Agent信息的配置,建立了一整套基于AUML的Agent建模方案.     

AML:一种面向需求的多Agent建模语言

定义一种多Agent系统建模语言AML.该语言基于议会制的多Agent协同构架,融合多种先进方法,采用目标分解的方式从需求获取、系统分析到最后的系统设计,共涉及8种模型:用例模型、目标模型、组织模型、角色模型(任务模型)、交互模型、本体模型、Agent类模型(包括Agent结构模型)、系统配置模型.该语言还给出构造不同模型的工作流,以及不同模型之间相互关联的方式.为了和UML保持一致,AML采用与UML一致的符号系统,对于需要扩展的部分,制定专门的符号来表示.为了验证AML的可行性,在开发一个AML的支撑环境AML-Tools的同时,使用该语言描述一个实例--智能仓库系统的设计和实现.     

面向Agent的智能电梯的分析和建模

面向Agent的分析和建模是当前Agent领域研究的重点和难点。通过参考面向对象的分析和建模技术,借助于扩展UML技术,基于Agent和对象的相似性,提出了一个面向Agent的分析和建模方法。我们在一个实例的基础上分析并描述了一个Agent系统,从而建立起Anent系统的整体模型。     

基于XML的多Agent系统的研究与实现

作为构建开放和分布式应用系统的一种主流模式,多Agent系统有着广阔的研究前帚和应用价值。在统一建模语言（UML）的支持下,面向Agent的软件工程研究开始走向成熟。一些面向Agent的方法学提供了开发多A—gent系统的工具、应用方法或技术。随着Web服务技术的发展,XML成为Internet上数据组织和交换的标准。现有研究工作所提出的多Agent系统对XML文档提供很少的支持。针对上述问题,设计了一个基于XML的多Agent系统——XMAS。该系统采用带根连通有向图来表示XML文档数据模型,并给出相应的文档模式提取算法,XML文档数据的解析以及对Web服务的相关支持。在数据存储过程中的索引优化使得XMAS在数据查询上具有良好的性能。     

面向Agent的Petri网模型及其应用研究

针对多Agent系统分析和建模问题,在Petri网的基础上引入了Agent的特性,提出一种面向Agent的Petri网(AOPN)模型,给出了AOPN的形式化定义.以供应链系统中供应商的选择为例,对基于AOPN模型的系统建模方法进行了研究,为该方法的广泛和深入地应用打下了基础.     

基于UML活动图的测试研究进展

UML活动图不再是状态图的特例,它作为一种独立的模型广泛用于软件的行为建模.基于UML活动图的测试受到业界的普遍欢迎.然而从UML活动图自动生成完整的测试场景\用例成为一个难点.本文对基于UML活动图的测试进行了比较分析,总结了几种从UML活动图生成测试场景\用例的方法及其使用的算法,即反蚂蚁Agent方法、灰盒方法、自适应细菌Agent方法和系统的形式化方法.对这些方法进行了分析与比较,指出一些不足之处.最后对UML活动图测试的发展趋势做了一些展望.     

面向Web服务的多Agent系统的通信机制

介绍了一种面向Web服务的多Agent系统的通信机制，该通信机制通过消息模板和基于本体论的知识表示语言，消除了多Agent系统中因通信语言的差异而产生的影响，实现了Agent之间的有效通信。     

基于UML的环境空间决策支持系统的分析与设计

统一建模语言(UML)是一种面向对象，定义明确的可视化系统建模语言，在地理信息系统工程的分析和设计中已逐渐被采用。以福建省海岸带环境调控空间决策支持系统为例，简述了系统建设背景和基本功能需求，研究了统一建模语言(UML)在空间决策支持系统分析和设计中的应用。重点提出了以系统需求用例图、活动图，类图和序列图为核心的UML辅助空间数据建模的基本原理和方法，并结合具体示例给出了基本操作流程过程和软件文档制品，最后给出了系统实现结果的典型用户界面。     

顺序图至Petri网转化方法的研究与实现

作为一种面向对象分析和设计建模语言，统一建模语言（UML）已经越来越多的被用在大型系统中，然而，UML是半形式化的，这使得很难对其进行严格的语义分析和正确性验证。顺序图作为UML动态描述机制的重要组成部分，同样存在这样的问题，而Petri网作为一种建模工具，有着严格的形式化语义，而且有很多成熟的分析方法。该文针对UML20顺序图模型，结合几个简单Petri网结构，提出了将顺序图转换为Petri网的算法，最后通过实例说明了转化算法的有效性。     

从UML顺序图生成状态图的一个方法

UML (Unified Modeling Language) is a visual modeling language used for specifying,visualizing,constructing,and documenting the artifacts of software systems by various diagrams.It has been widely accepted as a standard modeling language in both academic and industrial areas.UML sequence diagrams are mostly used in specifying system requirements.By representing interactions,which are arranged in time sequence,between the objects in a system,sequence diagrams can construct scenarios indicating the system‘‘s functions.A UML statechart diagram is a graph shows the sequences of states that an object or an interaction goes through during its life in response to received stimuli,together with its responses and actions.It‘‘s useful in the design stage of system development.This essay discusses the computer-aided transformation from sequence diagrams to statechart diagrams,which can offer strong support for the transfering from requirement analysis to system design in the software development process.With OCL (Object Control Language) semantic constrain,a transform algorithm is provided in the paper.And the differences with the related works are also mentioned.     

UML活动图的操作语义

越来越多的系统采用UML（unified model language,统一建模语言）作为建模语言来进行系统分析和设计.UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是：引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础.     

UML建模在办公自动化（OA）系统设计中的应用

UML是一种面向对象的可视化图形建型语言，通过不同的模型从不同的角度对系统的需求分析建模，使软件开发人员能方便通信并准确合理地进行设计。本文介绍了UML的概念、OA系统的基本功能以及UML在OA系统设计中的应用。     

UML建模在办公自动化(OA)系统设计中的应用

UML是一种面向对象的可视化图形建型语言,通过不同的模型从不同的角度对系统的需求分析建模,使软件开发人员能方便通信并准确合理地进行设计。本文介绍了UML的概念、OA系统的基本功能以及UML在OA系统设计中的应用。     

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

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

UML活动图的形式语义及分析

UML活动图缺乏精确的动态语义,不利于对其所描述的系统进行形式化的分析、验证和确认。为此,论文结合Petri网给出了包含对象流状态描述的UML活动图的形式语义,并据此对UML活动图的典型流程和其所描述的动态系统的正确性进行了分析。该形式语义覆盖了UML活动图的绝大部分特征,为精确描述工作流程并对其进行分析奠定了基础。     

UML活动图描述工作流模型的执行语义

UML是软件工程中广泛应用的建模语言,但其主要问题是缺少严格的形式化语义,因而描述的模型容易产生歧义．根据UML活动图的语法和工作流系统的特点,为UML活动图定义了一种执行语义．基于时间转变系统模型,将工作流系统的执行描述为时间转变和数据转变两个交替进行的过程．时间转变描述时间的前进,数据转变修改工作流案例的状态,这种语义比层次状态图具有更强的描述并行的能力,比Petri网和进程代数更适合描述工作流模型．     

一种基于扩展I*框架和UML的面向Agent需求建模方法

以分布式电子商务系统为研究背景，提出了一种基于扩展I^*建模框架和UML的面向Agent需求建模方法．该方法将需求工程划分为早期需求获取和后期需求规格说明两个阶段：在早期需求获取阶段，在I^*策略模型中引入服务依赖概念，用于描述组织背景中Agent的意图和Agent之间的依赖关系，同时描述系统内部Agent和分布式环境中其他Agent之间的依赖关系；在后期需求规格说明阶段，采用扩展的UML在Agent抽象层次上建立统一的需求模型．该方法还为早期需求获取平滑过渡到后期需求规格说明提供了统一的模型映射规则．从而保持模型的一致性．