扩展UML活动图在工作流建模中的应用 被引量：3

1

作者 文俊浩 杨小义 谢军 《计算机应用研究》 CSCD 北大核心 2007年第12期244-245,248,共3页

针对UML对数据和信息流描述缺乏充分表达业务工作流程的问题,借助新创建的活动图,提出了基于扩展UML活动图的工作流过程建模方法。应用实例表明,扩展的UML活动图对工作流程的语义表达更丰富,更准确地描述工作流建模所需表达的内容,以满... 针对UML对数据和信息流描述缺乏充分表达业务工作流程的问题,借助新创建的活动图,提出了基于扩展UML活动图的工作流过程建模方法。应用实例表明,扩展的UML活动图对工作流程的语义表达更丰富,更准确地描述工作流建模所需表达的内容,以满足工作流过程建模的要求。 展开更多

关键词 统一建模语言 统一建模语言活动扩展图 工作流建模

在线阅读 下载PDF 职称材料

基于扩展UML活动图的工作流模型研究 被引量：10

2

作者 申利民 隋峰 +1 位作者 白莲 李峰 《计算机应用研究》 CSCD 北大核心 2009年第2期587-590,共4页

针对目前工作流管理系统在表达能力和适应性方面存在的问题,在给出三层工作流过程元模型的基础上,提出了基于扩展UML活动图的工作流建模方法,扩展了多实例、条件路由和协调节点等建模元素,描述了扩展建模元素的定义、路由结构和建模规... 针对目前工作流管理系统在表达能力和适应性方面存在的问题,在给出三层工作流过程元模型的基础上,提出了基于扩展UML活动图的工作流建模方法,扩展了多实例、条件路由和协调节点等建模元素,描述了扩展建模元素的定义、路由结构和建模规则。应用模型实例表明,此方法增强了模型描述能力,在模型适应性和柔性方面具有明显的优势。 展开更多

关键词 元模型 统一建模语言 活动图 工作流建摸 适应性

在线阅读 下载PDF 职称材料

基于扩展UML活动图的工作流建模及其到XPDL的转换 被引量：3

3

作者 申利民 隋峰 +3 位作者 李峰 雷炳银 白莲 王磊 《计算机集成制造系统》 EI CSCD 北大核心 2009年第8期1514-1521,共8页

针对工作流管理系统建模能力不充分、适应性弱、领域相关等问题,提出了基于扩展统一建模语言活动图与可扩展标记语言的过程定义语言规范相结合的工作流建模方法。为了增强统一建模语言活动图的建模能力,扩展了多实例、条件路由和协调活... 针对工作流管理系统建模能力不充分、适应性弱、领域相关等问题,提出了基于扩展统一建模语言活动图与可扩展标记语言的过程定义语言规范相结合的工作流建模方法。为了增强统一建模语言活动图的建模能力,扩展了多实例、条件路由和协调活动等建模元素,给出了建模元素的定义和建模规则。为了使统一建模语言活动图的工作流模型能适应不同工作流引擎的执行,定义了统一建模语言活动图到可扩展标记语言的过程定义语言的形式化转换规则。最后,通过订单处理实例,说明了该方法对增强模型描述能力、适应性和柔性具有积极作用。 展开更多

关键词 工作流模型 统一建模语言活动图 可扩展标记语言的过程定义语言 形式化转换 适应性 柔性

在线阅读 下载PDF 职称材料

UML活动图的评价和扩展 被引量：11

4

作者 孙自安 周伯生 《计算机工程与应用》 CSCD 北大核心 2001年第12期42-48,共7页

作为统一的标准建模语言，UML应支持企业建模。文章首先从过程工程的角度分析UML1．3中活动图的企业建模能力，并指出了利用活动图进行企业建模的不足之处，然后详细讨论如何对活动图进行扩充才能使其从过程、基础设施、协同、行为以及... 作为统一的标准建模语言，UML应支持企业建模。文章首先从过程工程的角度分析UML1．3中活动图的企业建模能力，并指出了利用活动图进行企业建模的不足之处，然后详细讨论如何对活动图进行扩充才能使其从过程、基础设施、协同、行为以及信息等五个侧面全面描述一个企业，并完成了经扩展后活动图中的原语和语法。最后指出了为更好地支持企业建模，UML今后应进一步努力的方向。 展开更多

关键词 统一建模语言 活动图 UML语言 软件工程 面向对象

在线阅读 下载PDF 职称材料

基于统一建模语言和多色集合理论的工作流建模方法研究 被引量：12

5

作者 高新勤 李宗斌 《计算机集成制造系统》 EI CSCD 北大核心 2006年第7期969-975,共7页

在分析了统一建模语言和多色集合理论两种工作流建模方法优缺点的基础上,提出了基于统一建模语言和多色集合理论的工作流建模方法。将活动节点的两两组合作为多色集合的元素,将节点间的连接关系作为多色集合的围道,由此建立了从统一建... 在分析了统一建模语言和多色集合理论两种工作流建模方法优缺点的基础上,提出了基于统一建模语言和多色集合理论的工作流建模方法。将活动节点的两两组合作为多色集合的元素,将节点间的连接关系作为多色集合的围道,由此建立了从统一建模语言活动图到多色集合围道矩阵模型的转换机制,给出了工作流过程模型的路径求取算法。以企业备件采购申请过程为例,应用以上理论和方法,定量评价了工作流执行效率,从而重组和优化了该工作流过程。 展开更多

关键词 统一建模语言 活动图 多色集合理论 工作流建模 业务过程重组

在线阅读 下载PDF 职称材料

基于时间扩展UML活动图的工作流过程建模方法 被引量：11

6

作者 蔡敏 卢佩 《计算机集成制造系统》 EI CSCD 北大核心 2014年第7期1758-1767,共10页

为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图... 为了严格管理与控制业务流程中的时间,对统一建模语言活动图进行了时间约束的扩展,充分考虑活动中资源的到来时间、资源有效时间、活动延迟时间、跃迁有效时间、延迟时间和活动截止时间共六种时间因素,建立基于时间统一建模语言活动图的工作流过程模型,并给予语义形式描述,增强了时间管理的全面性。鉴于时间复杂性,提出基于等待状态事件触发活动转移路由,解决了循环活动事件时间计算的问题。为了检验该方法的正确性、有效性和时间一致性,对Petri网时间验证方法进行了改进。通过对实例建模,验证了所提方法的合理性。 展开更多

关键词 统一建模语言活动图 时间约束 工作流过程模型 语义描述 路由结构 模型验证

在线阅读 下载PDF 职称材料

基于统一建模语言和多色集合的并行设计过程研究 被引量：3

7

作者 高新勤 李宗斌 闫利军 《西安交通大学学报》 EI CAS CSCD 北大核心 2006年第11期1295-1299,共5页

在分析现有并行设计过程建模研究的基础上,提出了一种基于统一建模语言(UML)和多色集合理论的并行设计过程建模与分析方法,分析了并行设计活动的连接形式、UML活动图的基本建模元素和基本模型结构.采用多色集合理论,将UML活动图节点间... 在分析现有并行设计过程建模研究的基础上,提出了一种基于统一建模语言(UML)和多色集合理论的并行设计过程建模与分析方法,分析了并行设计活动的连接形式、UML活动图的基本建模元素和基本模型结构.采用多色集合理论,将UML活动图节点间的连接关系和基本模型结构形式化,结合基于特征的零件和工艺并行设计过程,建立了UML活动图模型,从模型简化、路径求取和时间消耗等方面定量地分析了并行设计过程,实现了该模型到多色集合围道矩阵的映射.研究表明,该方法具有面向对象且易于被非专业人员理解和使用的特点,可以为产品设计过程建立形式化模型.通过对设计活动进行布尔运算和定量分析,发现了影响产品设计进程的关键环节,从而为并行设计的组织和实施提供了理论指导. 展开更多

关键词 统一建模语言 活动图 多色集合理论 并行设计过程 建模与分析

在线阅读 下载PDF 职称材料

基于ASM扩展的活动图进行业务过程建模

8

作者 汤亮 刘厚泉 《计算机工程与设计》 CSCD 北大核心 2006年第17期3226-3229,共4页

为了扩展包括投资者建模、企业建模与扩展价值链建模的Martin/OdellOOA/D方法,该文章使用UML活动图扩展这些技术。UML提供了丰富的标记表示对分析系统行为和系统结构进行分析。其中活动图是用来描述系统的动态行为,并且也适用于业务过... 为了扩展包括投资者建模、企业建模与扩展价值链建模的Martin/OdellOOA/D方法,该文章使用UML活动图扩展这些技术。UML提供了丰富的标记表示对分析系统行为和系统结构进行分析。其中活动图是用来描述系统的动态行为,并且也适用于业务过程建模。但由于UML的语义是用纯文本的方式描述的,通常不够准确,故而此文提出了使用ASM扩展语义的活动图描述包含上述建模技术的业务过程。 展开更多

关键词 ASM 活动图 扩展统一建模语言 统一建模语言语义 业务过程 业务过程建模

在线阅读 下载PDF 职称材料

UML实时活动图的形式化分析 被引量：22

9

作者 崔萌 李宣东 郑国梁 《计算机学报》 EI CSCD 北大核心 2004年第3期339-346,共8页

统一建模语言 (UML)自从成为OMG规范后 ,应用越来越广泛 .但UML没有精确的、形式化的语义阻碍了它的进一步发展 .该文基于Petri网 ,给出带时间约束的UML活动图的形式化描述 .与Petri网不同的是 ,Petri网的时间约束是在跃迁 (transition)... 统一建模语言 (UML)自从成为OMG规范后 ,应用越来越广泛 .但UML没有精确的、形式化的语义阻碍了它的进一步发展 .该文基于Petri网 ,给出带时间约束的UML活动图的形式化描述 .与Petri网不同的是 ,Petri网的时间约束是在跃迁 (transition)上 ,而作者将UML活动图的时间约束放在活动状态上 .在此基础上 ,用整型时间的验证技术对实时活动图的时间性质加以分析 ,为实时系统的建模打下了基础 . 展开更多

关键词 UML 统一建模语言 OMG规范 面向对象 活动图 形式化分析

在线阅读 下载PDF 职称材料

UML活动图在工作流过程建模中的应用研究 被引量：16

10

作者 欧阳元新 熊璋 侯亚荣 《计算机工程与设计》 CSCD 2004年第9期1479-1481,共3页

UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要,对UML活动图的子过程活动、逻辑连接符、控制流边等进行了扩展,给出... UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要,对UML活动图的子过程活动、逻辑连接符、控制流边等进行了扩展,给出了扩展后UML活动图的数学模型。 展开更多

关键词 UML活动图 工作流 控制流 建模语言 过程建模 扩展 子过程 具体应用 企业建模 目的

在线阅读 下载PDF 职称材料

应用对象过程图扩展UML建模环境 被引量：11

11

作者 于明钊 李元香 +1 位作者 刘文印 张宏江 《软件学报》 EI CSCD 北大核心 2002年第4期698-705,共8页

统一建模语言UML存在着面向对象建模的不足,例如,用多个模型表示系统,模型的一致性难以保证.UML的工作主要集中于面向对象的分析和设计阶段,在实现阶段并没有做过多的努力等等,给系统设计带来了不便.提出了在UML建模环境中引入对象过程... 统一建模语言UML存在着面向对象建模的不足,例如,用多个模型表示系统,模型的一致性难以保证.UML的工作主要集中于面向对象的分析和设计阶段,在实现阶段并没有做过多的努力等等,给系统设计带来了不便.提出了在UML建模环境中引入对象过程图（object-process diagram,简称OPD）,为多个模型的一致性提供了统一的标准,提高了程序文档的可理解性和可维护性,使得扩展后的UML具备从面向对象分析到程序设计的完全可视化的描述能力. 展开更多

关键词 对象过程图 对象过程方法 Rose扩展接口 统一建模语言 UML语言

在线阅读 下载PDF 职称材料

活动图模型驱动的Web应用程序测试方法 被引量：6

12

作者 何可 李晓红 冯志勇 《计算机应用》 CSCD 北大核心 2010年第9期2365-2369,共5页

提出了一种活动图(AD)模型驱动的Web应用程序测试方法,从活动图中生成满足往返路径覆盖准则的测试序列,基于测试输入语法生成驱动测试序列执行的测试数据,将测试数据整合到测试序列中生成测试用例,运行测试用例进行测试并生成测试结果... 提出了一种活动图(AD)模型驱动的Web应用程序测试方法,从活动图中生成满足往返路径覆盖准则的测试序列,基于测试输入语法生成驱动测试序列执行的测试数据,将测试数据整合到测试序列中生成测试用例,运行测试用例进行测试并生成测试结果的报告。实现了一个原型工具以支持活动图模型驱动的Web应用程序测试方法,设计并完成了一个实验,验证了该方法的可行性与有效性。 展开更多

关键词 统一建模语言 活动图 Web应用程序测试 模型驱动的测试

在线阅读 下载PDF 职称材料

带OCL的活动图多态性测试用例生成方法 被引量：3

13

作者 曾一 丁娜 邹明 《计算机工程》 CAS CSCD 2012年第10期34-37,共4页

研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历... 研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例。实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度。 展开更多

关键词 统一建模语言 对象约束语言 扩展活动图 多态性方法集 测试用例

在线阅读 下载PDF 职称材料

UML活动图在物流业务流程分析中的应用 被引量：2

14

作者 关宏志 张育宏 +1 位作者 池洪波 石建军 《北京工业大学学报》 CAS CSCD 北大核心 2005年第1期52-54,共3页

大多数物流企业的业务流都采用传统的数据流图方法,造成了物流企业资源分配上的不均匀,使用户 和管理人员难以相互沟通.在以建立我国商务车队的管理系统为最终目的的背景下,将北京市某物流企业作为 研究对象,在进行较为详尽的调查基础上... 大多数物流企业的业务流都采用传统的数据流图方法,造成了物流企业资源分配上的不均匀,使用户 和管理人员难以相互沟通.在以建立我国商务车队的管理系统为最终目的的背景下,将北京市某物流企业作为 研究对象,在进行较为详尽的调查基础上,运用UML(unified modeling language)语言进行了业务流程分析,明析 物流企业的业务流程.为进一步建立商务车队管理软件奠定了基础. 展开更多

关键词 物流企业 统一建模语言 活动图 固定业务 随机业务

在线阅读 下载PDF 职称材料

基于UML活动图的功能测试场景生成方法 被引量：5

15

作者 杨鹤标 李云平 《计算机工程》 CAS CSCD 北大核心 2011年第21期55-57,共3页

提出一种基于统一建模语言(UML)活动图的功能测试场景生成方法。在给出活动图形式化定义的基础上,划分并压缩循环结构模块与并发结构模块,采用带回溯的深度优先遍历法提取含有复合节点的测试场景,进行解压循环与并发。利用拓扑反蚁群算... 提出一种基于统一建模语言(UML)活动图的功能测试场景生成方法。在给出活动图形式化定义的基础上,划分并压缩循环结构模块与并发结构模块,采用带回溯的深度优先遍历法提取含有复合节点的测试场景,进行解压循环与并发。利用拓扑反蚁群算法处理并发结构模块,解决并发活动排序导致的场景爆炸问题,根据路径复杂性设置场景优先级以提高测试效率。应用结果验证了该方法的可行性和实用性。 展开更多

关键词 活动图 测试场景 并发 反蚁群算法 优先级 统一建模语言

在线阅读 下载PDF 职称材料

工作流异常处理的UML活动图描述方法 被引量：2

16

作者 徐刚 耿汝波 《计算机工程与设计》 CSCD 北大核心 2007年第18期4576-4578,共3页

提出了用UML活动图描述工作流异常处理的方法。根据工作流系统特点,对UML活动图作适当扩展,为扩展后的活动图定义了的形式化语句,通过实现一个RCT步来描述一个潜在发生的异常状况,并对不同处理策略下的处理过程进行了描述。结果使得UML... 提出了用UML活动图描述工作流异常处理的方法。根据工作流系统特点,对UML活动图作适当扩展,为扩展后的活动图定义了的形式化语句,通过实现一个RCT步来描述一个潜在发生的异常状况,并对不同处理策略下的处理过程进行了描述。结果使得UML活动图适合描述含有异常的工作流系统;由于是采用了UML建模语言,编码实现更容易。 展开更多

关键词 工作流 统一建模语言 活动图 可视化 异常处理

在线阅读 下载PDF 职称材料

UML的活动图及其在电子政务项目中的应用

17

作者 杜薇 刘伟 《计算机工程》 CAS CSCD 北大核心 2003年第5期189-191,共3页

软件开发的主要目的是为用户的实际问题提供解决方案，UML的用例图用于确保开发过程是围绕这些问题进行的。标准的用例图使用一般的文字描述事务流中的一系列动作。这些描述非常详细，但是它们很难理解，尤其是面对复杂且繁多的用例时... 软件开发的主要目的是为用户的实际问题提供解决方案，UML的用例图用于确保开发过程是围绕这些问题进行的。标准的用例图使用一般的文字描述事务流中的一系列动作。这些描述非常详细，但是它们很难理解，尤其是面对复杂且繁多的用例时。该文介绍另一种方式，用UML的活动图描述用例的事务流。 展开更多

关键词 UML 活动图 电子政务项目 统一建模语言 用例图 身份验证 办公自动化系统

在线阅读 下载PDF 职称材料

基于UML活动图生成功能测试线索 被引量：5

18

作者 赵炜 曾一 张利武 《计算机工程与设计》 CSCD 北大核心 2006年第22期4328-4330,共3页

测试自动化是提高软件测试效率的重要途径。基于UML模型的面向对象软件测试是当前研究的热点。这些研究大都是类或集成测试,对于如何自动生成较为完整、合理的系统测试用例较少。在总结研究现状的基础上,以应用举例的方式提出一种从描... 测试自动化是提高软件测试效率的重要途径。基于UML模型的面向对象软件测试是当前研究的热点。这些研究大都是类或集成测试,对于如何自动生成较为完整、合理的系统测试用例较少。在总结研究现状的基础上,以应用举例的方式提出一种从描述系统用例间顺序依赖关系的活动图和用例实现的活动图中获取系统功能测试线索的方法。 展开更多

关键词 统一建模语言 系统测试 活动图 用例间顺序依赖关系 测试线索

在线阅读 下载PDF 职称材料

改进的UML活动图在建模中的研究与实现 被引量：1

19

作者 杨家伟 姚进 李涛 《电子科技大学学报》 EI CAS CSCD 北大核心 2009年第1期126-129,共4页

在分析工作流建模系统的基础上,介绍了UML语言的发展和优势以及存在的不足,提出了一种基于改进的UML活动图的工作流建模方法。通过一个具体的半导体制造企业工作中的封装测试的流程建模实例,描述了建模过程;根据角色对任务进行分配,对... 在分析工作流建模系统的基础上,介绍了UML语言的发展和优势以及存在的不足,提出了一种基于改进的UML活动图的工作流建模方法。通过一个具体的半导体制造企业工作中的封装测试的流程建模实例,描述了建模过程;根据角色对任务进行分配,对模型的执行做了分析。结果表明,运用改进后的UML活动图进行工作流建模,成功地改善了一些传统工作流建模过程的缺点,能比较完整、准确地描述工作流建模过程,加速了开发进程。 展开更多

关键词 过程建模 角色 统一建模语言 UML活动图 工作流

在线阅读 下载PDF 职称材料

基于ASM的活动图一致性规则研究

20

作者 周翔 邵志清 薛炳蔚 《计算机工程与设计》 CSCD 北大核心 2009年第19期4536-4539,4543,共5页

从概念的角度分析了活动图并发结构的不足,系统地研究了时序模糊状态下的语义描述,以工作流的循环模式鉴别器作为实例,提出了活动图与形式化规范相结合的解决方法。最后结合抽象状态自动机ASM作为语义补充构造了鉴别器的活动图模型,从... 从概念的角度分析了活动图并发结构的不足,系统地研究了时序模糊状态下的语义描述,以工作流的循环模式鉴别器作为实例,提出了活动图与形式化规范相结合的解决方法。最后结合抽象状态自动机ASM作为语义补充构造了鉴别器的活动图模型,从分支、合并、事件捕获等方面定义了详尽的规则,提高了模型的正确性、可验证性和一致性。 展开更多

关键词 统一建模语言 活动图 鉴别器 抽象状态自动机 工作流

在线阅读 下载PDF 职称材料