基于UML活动图的动态工作流过程建模的研究

在形式语义的支持下,提出了一种适合动态工作流过程建模的方法.该方法在扩展UML活动图的基础上给出了一种建模机制,利用扩展的UML活动图来对动态工作流的过程进行建模.最后,将该方法用于一个汽车企业产品研发的过程建模实例,且建模结果证明该方法是适合的.说明了基于扩展的UML活动图的工作流过程建模方法对动态工作流过程建模的有效性.     

运用UML建模机制构建图书管理系统

运用UML建模机制对一个简单的图书管理系统进行分析，利用用例图、类图、活动图建立、图书管理系统需求分析模型，通过建立静态模型(用例图、包图、配置图)和动态模型．(状态图、顺序图、合作图)，展示UML建模机制应用实例，说明应用UML建模机制，在对系统进行分析、设计到实现的不同阶段，建立起灵活的系统模型的过程和机制。     

一种基于扩展UML的企业应用软件PIM模型

针对UML在企业应用软件建模中可用性差和效率低的问题,提出一种基于扩展UML的企业应用软件PIM模型.通过对企业应用软件特点的分析,建立了一个以业务对象为中心的多视图集成PIM模型,对UML进行扩展,在它的元模型中增加了描述企业应用软件PIM模型中的概念及其之间关系的元类、版型和标记,并采用包对这些概念和关系进行不同视点的划分.基于扩展UML的企业应用软件PIM模型通过业务对象的丰富语义实现了UML中各种图之间基于语义的集成,改善了UML的可用性,提高了企业应用软件的建模效率.结果表明:通过实际案例验证了该模型的可行性和有效性.     

基于UML图书馆管理系统的建模设计与实现

以图书馆管理系统的开发为背景,探讨了UML在软件体系结构建模中的应用。以用例图表达系统需求, 以设计类图、顺序图、活动图表达系统的结构逻辑及行为逻辑,并详细介绍了基于UML的图书馆管理系统的建模设计及实现过程。     

Rational Rose及用Rose建模火电厂设备状态检修管理信息系统

Rose是一种标准建模语言 (即UML) ,它利用用例图、静态图、行为图、交互图及实现图来表达建模思想 .文章简单介绍了UML及Rose的特点 ,并以设备台帐管理子系统为例 ,通过用Rose捕获用户需求、表达系统的对象和类之间的交互、描述系统的类及关联、添加系统中类的属性和操作以及用Rose生成类代码 ,阐述了用Rose建模火电厂设备状态检修管理信息系统的过程 .实践表明 ,Rose不失为一种强有力的建模工具 .     

事件驱动的电信业务过程建模方法

通过分析电信业务过程中涉及的动作和事件的关键概念,提出一种基于扩展UML活动图的方法. 该方法通过事件驱动机制将动作和事件进行组合,使业务逻辑能正确响应来自网络的各种异步事件,而且能满足对电信业务过程建模的需求. 重点研究了UML活动图的扩展、事件驱动机制的模型描述和业务过程模型的执行机制.     

业务过程建模及其形式化验证

针对业务过程建模复杂、模型一致性难以保证的问题,提出一种求精式业务过程建模及其形式化验证方法.结合语义本体技术、基于统一建模语言(UML)的扩展机制,实现对业务过程中的不同关注点进行多视角地可视化建模.业务过程建模是一个“整体抽象过程→声明式过程→命令式过程”多阶段的求精过程.引入环境本体的概念,以软件交互对环境状态的影响来描述软件行为和能力,并在此基础上给出了模型相关定义及其形式化语义.结合一个简化的产品交易系统实例详细论述如何采用声明式形式化语言Alloy进行业务过程模型定义和模型求精的形式化验证.实例表明,采用分阶段求精式业务过程建模方法,并围绕模型语义通过Alloy语言进行形式化验证,可以有效地提升建模过程的灵活性和保证模型规范的一致性.     

基于UML动态模型的数据操纵建模

针对传统数据建模过少关注对系统功能的实现建立模型的问题,在UML动态模型的基础上将界面交互模型与数据操纵过程相结合,并应用于数据操纵模型的构建中.该数据操纵模型从用户界面出发,用动态模型展现用户与系统的交互过程.实验证明,该方法能够降低软件维护的复杂性,提高软件的重用率,从而提高了软件开发过程效率和可维护性.     

基于agent的智能电梯系统建模

面向agent的分析和建模是当前agent领域研究的重点和难点。通过参考面向对象的分析和建模的技术,借助于扩展UML（ Unified Modeling Language ,对象统一建模语言）技术,基于agent和对象的相似性,提出了一个面向agent分析和建模的方法。以智能电梯系统为例,分别从需求目标、静态结构、动态结构的角度描述了一个agent系统,从而建立起智能电梯系统的agent的整体模型。     

基于过程蓝图的Web服务建模

基于模型驱动架构(MDA,model driven architecture)为Web服务开发提供了一个有效途径,但在使用统一建模语言(UML,unified modeling language)建模过程中缺乏严格的语义描述。对Web服务建模进行了研究,给出了新的web服务开发流程。利用过程蓝图对UML中的用例图、顺序图和类图进行了扩展,使得建模过程中包含了严格的语义信息。通过实例对新的服务开发流程进行验证,证明了其可行性。实验结果表明,这一开发流程具有较强的实用价值,有效提高了软件的开发效率。     

基于UML的分析建模方法

分析建模是利用模型,从技术层次上表达系统需求分析中的需求说明和设计内容.UML是一种标准的建模技术,它为系统的需求分析提供了全面的模型.通过实例详细讨论了UML的用例图、类图和序列图在分析建模中的具体应用.     

多Agent系统UML建模及其在绗缝系统中的应用

为完善多Agent系统的设计,使用统一建模语言(UML)面向主体建模,用例图完成智能主体功能建模,利用部署图完成MAS建模,采用协作图、顺序图、状态图对主体集成的协调与协作进行建模,并给出了该系统在绗缝控制中的一个应用实例。UML的应用不仅使软件的整体设计变得可视化、系统化,便于管理,还有助于加强工作人员之间的交流。实践表明,该方法通用性强、方便直观,具有很高的实用价值。     

一种从UML类图和协作图到状态图的转换方法

统一建模语言(unified modeling language,UML)状态图是基于UML开发的软件设计模型的重要组成部分,它描述了一个对象所处的可能状态以及状态之间的转换。对一种生成状态图的方法进行了改进,以类图和协作图为基础,创建单个对象的状态图,对系统中单个对象的状态图进行集成生成整个系统的状态图。结果表明,生成的状态图具有较高的结构化和可读性。     

MDA开发中的模型一致性检验

为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构——MDA,该结构将应用模型分为平台无关模型(PIM)和平台相关模型(PSM),通过融合UML用例图、类图、序列图,得到了需求模型和设计模型,给出了类图和序列图的形式化语义,以及模型间的协调性条件,并在此基础上进行一致性检测,为模型驱动的开发提供了基础.     

基于ECO模型驱动的数据库开发

ECO(enterprise core objects)是基于UML模型驱动的面向对象的数据库开发框架,它提供了一种快速模型驱动开发的方法。ECO能实现数据库的自动生成、自动演化以及模型的高可复用性等,大大提高了软件开发的效率。介绍了ECO的相关技术,并举例说明了如何基于ECO进行模型驱动的数据库开发,用UML类图设计静态模型,用状态机设计动态模型,并把设计的对象模型映射为关系数据库模型。     

UML建模技术在机房管理系统中的应用研究

文中对统一建模语言UML中的用例图、时序图和协作图进行了深入研究.所提到的建模技术是以UML的图表符号为基础的.UML图表符号提高了需求模型的可理解性、可追踪性、可验证性和可修改性.并且把这一建模技术充分运用到了机房管理系统中,说明了在该系统中的应用.     

用UML技术构建机位分配系统

采用统一建模语言（UML）技术,对机场机位分配系统的域领域进行分析,利用用例图、类图、活动图进行需求说明,并在此基础上建立了机场机位需求分析模型。在综合考虑所有技术限制的基础上,对此模型作进一步展开和细化,完成了机场机位分配系统模型设计,开发了福州长乐国际机场管理信息系统的机位分配子系统。实际测试表明,该系统具有较好的灵活性和适应性,能够处理原始数据中的不完全信息,以保证机位预分配的顺利进行;利用该子系统可实现机场机位的自动分配和动态监控。