Transforming UML Sequence Diagrams into Petri Nets 被引量：2

1

作者 Tony Spiteri Staines 《通讯和计算机（中英文版）》 2013年第1期72-81,共10页

关键词 PETRI网 序列图 UML 转化 表达能力 系统工程 可执行文件 形式主义

在线阅读 下载PDF 职称材料

联邦接口规范测试方法研究 被引量：5

2

作者 马萍 杨明 +1 位作者 马宁 王子才 《系统仿真学报》 CAS CSCD 2002年第3期304-306,共3页

高层体系结构(HLA: High Level Architecture)可以支持各种类型仿真之间的互操作,同时便于建模与仿真部件的可重用。开发HLA应用必须根据联邦开发与执行过程模型进行,其中联邦测试是FEDEP模型的重要组成部分,主要包括三级测试,即:一致... 高层体系结构(HLA: High Level Architecture)可以支持各种类型仿真之间的互操作,同时便于建模与仿真部件的可重用。开发HLA应用必须根据联邦开发与执行过程模型进行,其中联邦测试是FEDEP模型的重要组成部分,主要包括三级测试,即:一致性测试,集成测试,联邦测试。一致性测试主要包括接口规范测试,OMT测试,RTI测试等内容,本文对联邦接口规范测试的方法进行了研究,根据接口规范的测试标准,制定了测试顺序,给出了联邦接口规范的测试顺序模型,使接口规范测试更加系统、清晰。 展开更多

关键词 高层体系结构 联邦接口规范 一致性测试 信息顺序图 计算机仿真

在线阅读 下载PDF 职称材料

一种新的Petri网模型建立方法 被引量：2

3

作者 邵晨曦 周二辉 +3 位作者 吴悦 杨明 白方周 王子才 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第11期3011-3013,3017,共4页

提出了一种通过消息序列表MSC来对现实系统进行Petri网建模的简便有效的方法。即利用了MSC简单、直观的优点,又能够充分利用Petri网相关的分析和仿真的理论与工具。给出了具体的由MSC到Petri网的转换算法。依照转换算法可将复杂系统的MS... 提出了一种通过消息序列表MSC来对现实系统进行Petri网建模的简便有效的方法。即利用了MSC简单、直观的优点,又能够充分利用Petri网相关的分析和仿真的理论与工具。给出了具体的由MSC到Petri网的转换算法。依照转换算法可将复杂系统的MSC模型转换为Petri网模型。经过对具体模型实例的分析可以得出,由这种方法得到的Petri网是安全可行的。 展开更多

关键词 建模/仿真 消息序列表MSC PETRI网 转换

在线阅读 下载PDF 职称材料

基于MSC的网络游戏软件测试方法研究 被引量：1

4

作者 赵会群 苏玉兰 孙晶 《计算机应用研究》 CSCD 北大核心 2009年第1期146-148,161,共4页

针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体... 针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体的网络游戏软件测试案例,给出上述测试方法和技术的解释。从理论角度验证了基于模型测试方法在网络游戏软件测试上的可行性;从技术角度表明了TTCN对网络游戏软件测试的有效性。 展开更多

关键词 网络游戏 消息顺序图 测试及测试控制表示法第3版 协议一致性测试 基于模型的测试

在线阅读 下载PDF 职称材料

面向对象的机电一体化系统原理方案表达 被引量：2

5

作者 许勇 《机械设计与研究》 CSCD 北大核心 2010年第6期50-53,共4页

基于人类认知客观世界的思维方式提出了面向对象的机电系统设计和分析的新视角,应用参考模型和UML类图表达机电一体化系统的逻辑结构,以刻画原理方案解对象及其相互关系;应用MSC图表达系统的逻辑行为,以描述对象间如何进行交互和通讯。... 基于人类认知客观世界的思维方式提出了面向对象的机电系统设计和分析的新视角,应用参考模型和UML类图表达机电一体化系统的逻辑结构,以刻画原理方案解对象及其相互关系;应用MSC图表达系统的逻辑行为,以描述对象间如何进行交互和通讯。最后以CD播放机为实例作了详细阐释。 展开更多

关键词 逻辑结构 逻辑行为 UML 信息序列图MSC

原文传递

面向对象的机电系统结构及行为建模 被引量：2

6

作者 许勇 《机电工程》 CAS 2011年第1期94-98,共5页

针对原理设计阶段机电一体化系统的逻辑结构模型、逻辑/物理行为模型和原理方案表达,提出了基于参考模型的机电一体化系统初步逻辑结构,以及基于统一建模语言(UML)类图的详细逻辑结构(即原理方案表达);提出了基于消息序列图(MSC)的交互... 针对原理设计阶段机电一体化系统的逻辑结构模型、逻辑/物理行为模型和原理方案表达,提出了基于参考模型的机电一体化系统初步逻辑结构,以及基于统一建模语言(UML)类图的详细逻辑结构(即原理方案表达);提出了基于消息序列图(MSC)的交互行为建模及基于规范和描述语言(SDL)的逻辑/物理行为建模方法,从而基于人类认知客观世界的思维方式提出了面向对象的机电系统设计和分析的新视角。基于此对CD播放机工作系统中关键组件的原理方案解进行了表达,研究结果显示了面向对象系统建模方法的有效性。 展开更多

关键词 逻辑结构 逻辑行为 统一建模语言 消息序列图 规范和描述语言

在线阅读 下载PDF 职称材料

虚拟制造企业的Petri网建模／仿真

7

作者 周二辉 邵晨曦 +1 位作者 范金锋 冯海林 《计算机辅助工程》 2006年第2期27-30,共4页

为降低Petri网建模难度并增强模型的可读性,提出一种通过消息序列表(Message Sequence Chart,MSC)模型对虚拟制造(Virtual Manufacturing,VM)企业的生产经营过程进行Petri网建模的新方法．建立冲突消解机制,给出从MSC模型到Petri网模型... 为降低Petri网建模难度并增强模型的可读性,提出一种通过消息序列表(Message Sequence Chart,MSC)模型对虚拟制造(Virtual Manufacturing,VM)企业的生产经营过程进行Petri网建模的新方法．建立冲突消解机制,给出从MSC模型到Petri网模型的转换算法,在不改变Petri模型活性、安全性和有界性等特性的基础上对其进一步优化,并对Petri网模型进行分析与评估． 展开更多

关键词 建模 仿真 消息序列表 PETRI网 虚拟制造

在线阅读 下载PDF 职称材料

基于SPIN的HMSC模型自动检验方法

8

作者 李立亚 孙雨荷 +2 位作者 马汉杰 丁佐华 黄鸿云 《计算机工程与设计》 北大核心 2023年第10期3047-3055,共9页

自动检测与验证HMSC(high-level message sequence chart)模型的正确性对保证文本需求被正确建模具有十分重要的意义,为此提出一种为HMSC模型进行自动检验的方法,并将其实现。利用转换规则为HMSC模型生成Promela检测语言,借助SPIN工具... 自动检测与验证HMSC(high-level message sequence chart)模型的正确性对保证文本需求被正确建模具有十分重要的意义,为此提出一种为HMSC模型进行自动检验的方法,并将其实现。利用转换规则为HMSC模型生成Promela检测语言,借助SPIN工具对需求进行验证。该方法不仅支持模型检测,同时通过对系统行为的动态模拟可以实现需求的合理性分析。从Promela实现到SPIN验证整个过程实现自动化操作。在该方法的基础上实现一个文本需求自动建模及检测分析的工具,通过一个实例展示其自动建模检测分析的效果,表明了其有效性和实用性。 展开更多

关键词 模型检测 HMSC模型 SPIN工具 正确性验证 模型转换 Promela语言 形式化方法

在线阅读 下载PDF 职称材料

面向对象的机电一体化系统原理设计建模

9

作者 许勇 《机械科学与技术》 CSCD 北大核心 2011年第10期1673-1678,共6页

基于人类认知客观世界的思维方式提出了面向对象的机电系统设计和分析的新视角,提出应用参考模型和UML图表达原理设计阶段机电一体化系统逻辑结构,应用MSC图描述系统的交互行为,应用SDL表达系统的整体(逻辑、物理)行为。最后以CD播放机... 基于人类认知客观世界的思维方式提出了面向对象的机电系统设计和分析的新视角,提出应用参考模型和UML图表达原理设计阶段机电一体化系统逻辑结构,应用MSC图描述系统的交互行为,应用SDL表达系统的整体(逻辑、物理)行为。最后以CD播放机为实例作了详细阐释。 展开更多

关键词 逻辑结构 逻辑行为 UML MSC SDL

在线阅读 下载PDF 职称材料

MSC时间表示方法与UML序列图结合建模 被引量：1

10

作者 刘亮 叶新铭 《内蒙古师范大学学报（自然科学汉文版）》 CAS 2004年第3期278-280,284,共4页

介绍了系统建模中的时间相关概念,以及MSC和UML序列图对时间相关概念的表示.将MSC对时间强大的表示能力和准确的表达方法应用于UML序列图,对时间进行建模,提高了UML序列图的时间建模能力,进一步满足了实际系统,尤其是实时系统建模的要求.

关键词 统一建模语言 UML 序列图 消息序列图 MSC 时间建模

在线阅读 下载PDF 职称材料

一种基于UML与SDL融合建模的组件系统测试方法 被引量：3

11

作者 黄山 陈昱松 +1 位作者 王建伟 韩柯 《计算机应用与软件》 CSCD 2011年第7期175-177,182,共4页

由于组件化软件系统开发建模过程中广泛采用的统一建模语言(UML)缺乏标准的形式化语义,不能被计算机识别与处理,使得对该系统的测试成为一项难题。提出一种基于UML和规范描述语言SDL(Specification and Description Language)融合建模... 由于组件化软件系统开发建模过程中广泛采用的统一建模语言(UML)缺乏标准的形式化语义,不能被计算机识别与处理,使得对该系统的测试成为一项难题。提出一种基于UML和规范描述语言SDL(Specification and Description Language)融合建模的针对组件化软件系统的黑盒测试方法,生成了MSC序列图和TTCN测试用例集,并结合一个游戏系统的例子实现了该方法。 展开更多

关键词 组件系统 黑盒测试 SDL UML 融合建模 MSC TTCN

在线阅读 下载PDF 职称材料