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

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

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

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

应用Pi 演算描述工作流高级模式

分析了对工作流进行形式化建模的意义,应用Pi演算对工作流高级模式进行了形式化描述。在深入研究工作流过程基本结构特征与Pi演算基本理论的基础上,提出了一种语义清晰的描述方法,该方法相比以前的方法可以更好地描述工作流的动态改变,为进一步形式化分析、描述工作流奠定了基础。最后以旅游预订业务系统为实例进行了业务过程建模。     

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

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

煤炭供应链的工作流描述方法

针对流程供应链结构描述问题，对供应链构成体进行了分解，用链节、子链、过程、子过程等作为供应链的基本构成体，为供应链建模提供一种描述型语言；对供应链工作流进行形式化定义，用工作流图、前趋链节、前趋链集等的概念定义为下一步的流程供应链建模及分析提供了概念自包的方法；结合上述方法以煤炭流程供应链中物流为对象，进行工作流建模，为流程供应链的描述及分析提供了一种形式化的工具．     

UML建模方法及其在虚拟企业经营过程中的应用

对市场反应敏捷，组织灵活的虚拟企业是未来企业的重要形态，它的主要职能之一就是执行分布，并行经营过程。本文在面积对象的建模技术的基础上，引入了面向对象标准建模语言，并用UML类图建立了虚拟企业经营过程活动模型，最后给出了UML描述的一个简单的虚拟企业经营过程实例。     

月球数据预处理工作流模型的构建及应用

为了改善算法研究过度依赖软件开发的现状,在月球探测数据处理工作中引入了科学工作流技术。首先,提出了一个改进的工作流元模型。该模型基于数据流建立处理过程,扩展了数据模型和过程模型。然后,对扩展后的数据模型和过程模型进行了设计:引入数据产品生成树,建立了数据之间的联系;对数据进行了封装和分层,便利了建模工作;基于有向无环图建立过程模型,特别是对于数学公式的描述,用语义建模替代图形化建模,降低了数学公式在有向无环图中建模的复杂性。最后,以嫦娥三号的数据预处理案例对模型进行了验证,结果表明该模型可以很好地解决探月工程数据预处理的灵活性问题。根据该模型研制的原型软件已在月球探测工程中得到了应用。     

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

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

基于CPN的UML2.0形式化建模

UML作为一种半形式化建模语言,很难对系统进行动态的仿真与性能评价。基于着色Petri网（CPN）拥有严格的数学理论基础,能够对系统进行图形化的模拟与分析,提出了一种UML的形式化建模方法。对UML2.0顺序图中opt等操作符给出了对应CPN图形的转化规则,实现了用CPN模型描述UML2.0的用例图与顺序图的目的。以一个简单的UML2.0顺序图进行验证,结果表明所提方法是有效的。     

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

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

基于UML的供应链订单管理系统设计

分析了供应链管理面向需求的特点,结合软件工程和面向对象技术,设计了基于UML类图和顺序图的供应链订单管理系统模型,并运用UML活动图描述订单处理的工作流程.     

基于Agent UML的多Agent系统建模研究

由于Agent和对象的差异,本文引入Agent UML对多Agent系统进行建模研究.简要介绍了UML和Agent UML,以供应链管理为实例从多Agent系统的需求分析、静态建模、动态建模出发,给出了基于Agent UML的建模方法和步骤.     

基于图论和FSM的UML模型与代码一致性检测

提出了一种基于图论和有限状态机（FSM）的统一建模语言（UML）模型与代码一致性检测方法.给出了该方法的基本思路;分别讨论了UML模型与代码静态一致性检测和动态一致性检测算法;实现了该检测方法的支撑工具,并使用该工具对C++项目UMLChecker 1.0进行了检测.实验结果表明,所提方法可对UML模型与代码的一致性进行检测,且具有较高的检测精度.通过对静态行为和动态行为的一致性检测可知,检测精度明显提升.     

基于IDEF和UML的虚拟装配系统建模

为了解决复杂虚拟装配系统的系统建模问题,在分析IDEF和UML建模方法优缺点的基础之上,提出了一种两者相结合的系统建模方法.首先利用IDEF建立系统的功能模型、信息模型和过程模型,再根据IDEF和UML模型之间的映射机制,将IDEF模型转换为UML模型,从而完成系统从需求分析、功能设计、对象设计直至软件实现的整个过程.该方法能有效弥补单纯采用IDEF方法建模或UML方法建模的缺陷,实践证明在虚拟装配系统建模中具有重要的应用价值.     

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

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

利用UML的面向对象分析建模

介绍了利用UML统一建模语言进行面向对象分析建模的方法,并以一个呼叫中心系统的开发为背景,采用UML建模语言,对该系统进行用例建模、类与对象建模以及动态建模,展示了UML在需求分析建模中的优势。     

一种基于AOP和UML的用例扩展关系建模方法

面向方面编程（Aspect—Oriented Programming,AOP）提供一种描述和实现横切关注点的机制,UML的扩展机制提供增加新构造块、创建新特性和详述新语义的机制。讨论一种基于AOP和UML的对用例的扩展关系建模的方法,该方法使用标准的UML建模横切的关注点来表达方面,最后通过实际例子实现这种方法的应用,并用AOP技术实现用例的扩展关系。     

基于UML技术的企业管理系统通用开发方法的研究

本文介绍了软件工程建模和UML的概念，给出在企业管理系统设计时用UML建模的通用方法，并进行分析和总结，使开发过程更有效，同时给出一个具体项目的实例。     

基于UML的五子棋的分析与设计

以五子棋为例，用UML开发人机博弈程序。五子棋博弈算法采用了博弈树的方法，应用了剪枝和极大极小值原理进行搜索寻找最优的下子位置。用面向对象的思想并结合UML建模工具，对程序进行分析、设计。此外，程序可以通过增加机器学习，对棋局进行记忆、总结学习，可以进一步提高系统的智能。