基于Petri网的SysML活动图的分析与验证 被引量：6

1

作者 王松锋 熊选东 +1 位作者 付建丹 张亮忠 《计算机科学》 CSCD 北大核心 2012年第9期138-142,共5页

系统建模语言(Systems Modeling Language,SysML)是目前国际上系统工程领域最新的标准建模语言,它包括语义和表示法两部分,缺乏分析和验证的手段。为了弥补这一不足,研究了SysML活动图到Petri网的转换方法,主要定义了将SysML活动图转换... 系统建模语言(Systems Modeling Language,SysML)是目前国际上系统工程领域最新的标准建模语言,它包括语义和表示法两部分,缺乏分析和验证的手段。为了弥补这一不足,研究了SysML活动图到Petri网的转换方法,主要定义了将SysML活动图转换为相应Petri网可执行模型的6种转换规则。应用这些规则可以将活动图转换为Petri网模型,进而对其进行化简、分析和验证,同时可检测SysML的行为规范与并发相关的性质,如死锁、有界性等。采用列举法和模拟法验证了所建模型的一致性。证书申请活动图的实例表明,该方法是可行的。 展开更多

关键词 系统建模语言 PETRI网 活动图 建模

在线阅读 下载PDF 职称材料

基于Spin的SysML活动图验证框架 被引量：6

2

作者 胡良文 马金晶 孙博 《计算机科学与探索》 CSCD 2014年第7期836-847,共12页

系统建模语言(systems modeling language,SysML)缺乏精确的形式化分析和验证手段,造成模型存在死锁、活锁等诸多问题,可以通过形式化验证方法来提高模型的正确性。然而,受制于传统的形式化方法需要复杂的公式推理,并且不易理解等方面... 系统建模语言(systems modeling language,SysML)缺乏精确的形式化分析和验证手段,造成模型存在死锁、活锁等诸多问题,可以通过形式化验证方法来提高模型的正确性。然而,受制于传统的形式化方法需要复杂的公式推理,并且不易理解等方面局限性,大多数验证仅限专家使用并且很耗时。为了克服SysML模型中存在的问题,提出了一种针对SysML多层次活动图的分析验证框架。它可以根据已构建的模型,将多层次活动图分解转换为Spin的输入模型,并对相关子图进行重组和验证。实验表明,该方法可以有效识别多层次活动图,并准确实施转换,为模型验证的演化提供支持。 展开更多

关键词 系统建模语言(sysml) 活动图 模型验证 SPIN PROMELA

在线阅读 下载PDF 职称材料

基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究 被引量：6

3

作者 黄传林 黄志球 +2 位作者 胡军 徐丙凤 曲长亮 《小型微型计算机系统》 CSCD 北大核心 2015年第3期408-417,共10页

能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型... 能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析. 展开更多

关键词 嵌入式系统安全性分析 sysml活动图 MARTE 模型转换 形式化方法

在线阅读 下载PDF 职称材料

基于概率模型检测的SysML活动图验证方法 被引量：2

4

作者 严亚伟 周雁舟 《计算机工程与设计》 北大核心 2016年第4期928-932,共5页

针对系统建模语言(systems modeling language,SysML)活动图模型无法进行精确的形式化分析与验证的问题,在研究现有模型检测的基础上,提出使用概率模型检测器(PRISM)对SysML活动图模型进行检测的分析验证框架,并提出一种把SysML活动图... 针对系统建模语言(systems modeling language,SysML)活动图模型无法进行精确的形式化分析与验证的问题,在研究现有模型检测的基础上,提出使用概率模型检测器(PRISM)对SysML活动图模型进行检测的分析验证框架,并提出一种把SysML活动图转化为相应的PRISM可执行模型的转化规则。利用该转化规则可以把SysML活动图模型转化为概率模型检测器支持的格式,实现对模型的精确分析和定量验证。实验结果表明,该规则能够有效对SysML活动图模型进行转化,为模型检测提供支持。 展开更多

关键词 系统建模语言 活动图 模型测试 概率模型检测 概率模型检测器

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

基于Petri网模型的系统仿真验证方法 被引量：5

6

作者 柯文俊 陈静 江山 《系统工程与电子技术》 EI CSCD 北大核心 2017年第4期924-930,共7页

随着系统工程的发展,对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点,提出一种将活动图模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动图模型转化为Petri网模型,... 随着系统工程的发展,对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点,提出一种将活动图模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动图模型转化为Petri网模型,然后使用Petri网验证工具对转后之后的模型进行仿真验证,保证了指挥信息系统的正确性。 展开更多

关键词 系统建模语言活动图 模型转换 仿真验证 PETRI

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

一种工作流过程模型到工作流网的转换方法 被引量：3

11

作者 欧阳元新 熊璋 侯亚荣 《计算机集成制造系统》 EI CSCD 北大核心 2004年第8期908-913,共6页

为了便于非专业人员的工作流建模操作,利用Petri网现有的分析计算方法进行工作流模型的正确性分析和系统性能计算,给出了基于统一建模语言活动图的工作流过程模型建模方法,讨论了统一建模语言活动图到工作流网的转换方法,包括:非对象节... 为了便于非专业人员的工作流建模操作,利用Petri网现有的分析计算方法进行工作流模型的正确性分析和系统性能计算,给出了基于统一建模语言活动图的工作流过程模型建模方法,讨论了统一建模语言活动图到工作流网的转换方法,包括:非对象节点的转换、控制流边的转换、对象节点及对象流边的转换等。结合民航机场地面信息系统实例,对转换结果进行了分析。 展开更多

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

在线阅读 下载PDF 职称材料

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

12

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

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

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

在线阅读 下载PDF 职称材料

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

13

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

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

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

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

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

15

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

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

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

在线阅读 下载PDF 职称材料

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

16

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

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

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

在线阅读 下载PDF 职称材料

回转支承CAPP软件开发 被引量：2

17

作者 汪永明 祝勇 +1 位作者 江勇 余晓流 《现代制造工程》 CSCD 北大核心 2010年第10期73-76,110,共5页

分析回转支承制造企业对计算机辅助工艺设计(CAPP)软件的功能需求,在此基础上利用Visual Basic 6.0软件的ActiveX Automation技术开发一种高效实用的回转支承CAPP软件。介绍其总体功能框架,并讨论软件实现的关键技术,包括通用工艺规程... 分析回转支承制造企业对计算机辅助工艺设计(CAPP)软件的功能需求,在此基础上利用Visual Basic 6.0软件的ActiveX Automation技术开发一种高效实用的回转支承CAPP软件。介绍其总体功能框架,并讨论软件实现的关键技术,包括通用工艺规程模型、软件开发统一建模语言(Unified Modeling Language,UML)活动图设计和工艺参数信息的检索与提取方法。最后,给出该回转支承CAPP软件的应用实例,应用实例表明,所生成的工艺路线合理,工艺图表格式统一、规范。 展开更多

关键词 回转支承 计算机辅助工艺设计 通用工艺规程模型 统一建模语言 活动图

在线阅读 下载PDF 职称材料

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

18

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

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

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

在线阅读 下载PDF 职称材料

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

19

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

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

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

在线阅读 下载PDF 职称材料

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

20

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

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

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

在线阅读 下载PDF 职称材料