从Executable UML模型到J2ME程序 被引量：1

1

作者 袁梁 李宣东 +1 位作者 赵建华 郑国梁 《计算机科学》 CSCD 北大核心 2005年第12期112-115,127,共5页

嵌入式系统由于功能的特定性和底层硬件的多样性,使得其代码的重用和易移植性一直是困扰开发者的一大难题。模型驱动体系结构(MDA)是OMG组织提出的一种新的软件开发方法。MDA将关注点集中于业务模型,把平台相关内容和不同的实现技术从... 嵌入式系统由于功能的特定性和底层硬件的多样性,使得其代码的重用和易移植性一直是困扰开发者的一大难题。模型驱动体系结构(MDA)是OMG组织提出的一种新的软件开发方法。MDA将关注点集中于业务模型,把平台相关内容和不同的实现技术从中剥离,并利用工具遵循一定的转换规则,实现其到特定平台的自动转换,最终得到目标平台上的代码。MDA针对解决复用和移植问题提出了新的解决途径,在嵌入式系统开发中有广泛的应用前景。本文在研究基于MDA的嵌入式系统开发途径的基础上,提出了一个从Executable UML模型到J2ME平台下JAVA代码的转换框架。 展开更多

关键词 模型驱动的软件体系结构 J2ME 嵌入式系统 可执行uml 转换规则

在线阅读 下载PDF 职称材料

定义及验证UML Statechart图中的数据流语义 被引量：1

2

作者 陆公正 吴澜波 张广泉 《计算机工程与应用》 CSCD 北大核心 2009年第24期56-59,共4页

在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题,选择标记转换系统(LTS)作为语义域,并用结构... 在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题,选择标记转换系统(LTS)作为语义域,并用结构化操作语义(SOS)分两步定义了UML Statechart图的数据流语义,为工作流中的数据流正确性验证奠定了基础。在此基础上,使用时序逻辑公式表示数据流所需满足的性质,在验证数据流的正确性之前,给出了将它的UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性。 展开更多

关键词 统一建模语言(uml) uml Statechart图 数据流语义 时序逻辑 验证 模型检测

在线阅读 下载PDF 职称材料

基于UML的嵌入式系统模型验证机制的研究 被引量：8

3

作者 石柯 阳富民 胡贯荣 《计算机工程与应用》 CSCD 北大核心 2001年第23期111-113,116,共4页

随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂,研究一种支持嵌入式系统从分析、设计、验证到编码这一整个开发过程的模型系统及建模方法变得越来越重要。UML(UnifiedModelingLanguage,统一建模语言)作为面向对象的分... 随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂,研究一种支持嵌入式系统从分析、设计、验证到编码这一整个开发过程的模型系统及建模方法变得越来越重要。UML(UnifiedModelingLanguage,统一建模语言)作为面向对象的分析与设计技术的代表,已经获得了广泛的承认,并在多个领域中有成功的应用。然而,UML是一种符号化语言系统,其语义采用自然语言描述,没有完全形式化,无法精确和严格地描述模型的行为从而实现模型的验证。为了解决这个问题,文章提出了一种用于嵌入式系统UML模型验证的方法,其核心是可执行(Executable)UML,它是UML的增强性子集,采用与UML相同的符号表示法,并集成了状态图(StateChart)所用的形式化语义定义。嵌入式系统的UML模型经过语义分析能够很方便地生成可执行UML模型,并实现系统模型的验证。 展开更多

关键词 嵌入式系统 uml 模型验证 面向对象 软件开发

在线阅读 下载PDF 职称材料

UML在嵌入式系统开发中的研究与应用 被引量：7

4

作者 车葵 程保中 +1 位作者 牛晓太 邢书涛 《计算机工程与设计》 CSCD 北大核心 2009年第15期3559-3564,共6页

UML是工业界建模的标准语言,适用于嵌入式系统的开发。工业现场总线通信协议栈是一个典型的嵌入式系统,通过研究现场总线通信协议的通用抽象模型,可为通信协议栈的开发与验证提供基本框架。对UML在嵌入式系统开发中的应用进行了研究,包... UML是工业界建模的标准语言,适用于嵌入式系统的开发。工业现场总线通信协议栈是一个典型的嵌入式系统,通过研究现场总线通信协议的通用抽象模型,可为通信协议栈的开发与验证提供基本框架。对UML在嵌入式系统开发中的应用进行了研究,包括嵌入式系统的开发过程,如何在嵌入式系统中创建UML模型,以及一个基于UML的通信协议栈开发方法。 展开更多

关键词 uml 嵌入式系统 通信协议栈 现场总线 面向对象 建模

在线阅读 下载PDF 职称材料

基于UML和模型检测的安全模型验证方法 被引量：14

5

作者 程亮 张阳 《计算机学报》 EI CSCD 北大核心 2009年第4期699-708,共10页

安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略模型描述为状态机图和类图,然后利用转... 安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略模型描述为状态机图和类图,然后利用转换工具将UML图转化为模型检测器的输入语言,最后由模型检测器来验证安全模型对于安全需求的满足性.作者使用该方法验证了DBLP和SLCF模型对机密性原则的违反. 展开更多

关键词 安全操作系统 系统操作安全 安全策略模型 形式化验证 模型检测 uml

在线阅读 下载PDF 职称材料

基于UML的复杂嵌入式系统建模研究 被引量：4

6

作者 贾小军 谭召均 胡旭东 《机电工程》 CAS 2006年第1期33-36,共4页

UML是一种优秀且高效的建模语言,在复杂嵌入式系统设计中得到了广泛应用。本文介绍了UML建模的原理及方法,给出了一个详细的嵌入式系统设计建模实例:汽车速度自动控制系统,并在Rational Rose 2003集成环境下实现。

关键词 uml 嵌入式系统 建模

在线阅读 下载PDF 职称材料

基于UML的嵌入式系统建模及模型验证机制研究 被引量：3

7

作者 段盛 李仁发 谢桂芳 《计算机工程与科学》 CSCD 2007年第8期137-139,143,共4页

统一建模语言UML在嵌入式系统设计建模中已经获得了广泛的认可,并有很多成功的应用,但UML存在时间约束描述能力不强和所建模型形式化复杂、验证难的问题。针对上述问题,本文提出了使用UML扩展机制对UML状态图进行时间扩展,建立系统状态... 统一建模语言UML在嵌入式系统设计建模中已经获得了广泛的认可,并有很多成功的应用,但UML存在时间约束描述能力不强和所建模型形式化复杂、验证难的问题。针对上述问题,本文提出了使用UML扩展机制对UML状态图进行时间扩展,建立系统状态-约束-事件矩阵来对模型进行形式化描述的方法。该方法解决了UML在嵌入式系统建模时存在的问题。应用实例和实验结果验证了该方法的可行性和有效性。 展开更多

关键词 嵌入式系统 建模 uml 形式化 模型验证

在线阅读 下载PDF 职称材料

基于UML活动图化简方法的工作流模型校核研究 被引量：6

8

作者 汪文元 沙基昌 《计算机工程》 EI CAS CSCD 北大核心 2006年第15期41-43,共3页

针对开放、响应型系统建模UML活动图表现优良的特性,UML活动图在工作流建模领域也引起了人们的极大关注。然而相关的研究仅仅起步,特别是针对相应的模型校核技术更是研究甚少。该文提出了基于UML活动图化简方法的工作流模型校核技术,在... 针对开放、响应型系统建模UML活动图表现优良的特性,UML活动图在工作流建模领域也引起了人们的极大关注。然而相关的研究仅仅起步,特别是针对相应的模型校核技术更是研究甚少。该文提出了基于UML活动图化简方法的工作流模型校核技术,在UML活动图到活动超图映射基础之上,对活动超图建立化简规则,通过化简实现工作流模型校核。实践证明此方法有效。 展开更多

关键词 工作流模型 模型校核 化筒 uml活动图 活动超图

在线阅读 下载PDF 职称材料

基于UML模型和OCL约束的类间交互测试用例生成方法研究 被引量：5

9

作者 柴玉梅 冯秋燕 王黎明 《电子学报》 EI CAS CSCD 北大核心 2013年第6期1242-1248,共7页

面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加O... 面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试. 展开更多

关键词 uml 顺序图 OCL 执行图(EG) 测试场景 测试用例

在线阅读 下载PDF 职称材料

基于UML和Petri网的I-MES建模研究 被引量：2

10

作者 曹春平 王宁生 王岩 《机械科学与技术》 CSCD 北大核心 2004年第9期1093-1098,1102,共7页

为了对可集成制造执行系统的行为提供支持 ,需要对其进行有效的建模和模型分析。针对UML和Petri网建模的特点 ,本文提出了基于UML和Petri网———UML PNs的集成建模方法 ,给出了集成建模策略 ,并结合一个示例 ,绘制了对象类图、交互图... 为了对可集成制造执行系统的行为提供支持 ,需要对其进行有效的建模和模型分析。针对UML和Petri网建模的特点 ,本文提出了基于UML和Petri网———UML PNs的集成建模方法 ,给出了集成建模策略 ,并结合一个示例 ,绘制了对象类图、交互图和行为图 ,最后将其映射成Petri网模型 ,进行模型的分析工作 。 展开更多

关键词 可集成制造执行系统 uml PETRI网 建模

在线阅读 下载PDF 职称材料

基于UML的一种开放式数控软件系统建模与界面实现研究 被引量：3

11

作者 时兵 金烨 程松 《制造技术与机床》 CSCD 北大核心 2008年第3期41-46,共6页

针对开放式数控系统的软件和硬件等特点及其功能要求,采用固高(公司)运动控制器,基于面向对象的软件开发过程,提出了一种适用于NC嵌入PC型的开放式数控软件系统框架模型。建立了系统模型的用例图、时序图以及类图,描述了系统的功能要求... 针对开放式数控系统的软件和硬件等特点及其功能要求,采用固高(公司)运动控制器,基于面向对象的软件开发过程,提出了一种适用于NC嵌入PC型的开放式数控软件系统框架模型。建立了系统模型的用例图、时序图以及类图,描述了系统的功能要求及实现流程、视图与功能模块的对应交互关系等,提高了开放式数控软件系统开发的质量和效率。并利用VC++编程语言实现了该开放式数控软件系统的界面。 展开更多

关键词 开放式数控系统 NC嵌入PC型 固高运动控制器 uml建模

在线阅读 下载PDF 职称材料

基于实时UML顺序图的物联网交互模型 被引量：4

12

作者 丛新宇 虞慧群 《计算机科学》 CSCD 北大核心 2014年第11期79-87,共9页

物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进... 物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。 展开更多

关键词 物联网 交互模型 实时uml顺序图 时间自动机 验证

在线阅读 下载PDF 职称材料

UML-RT到一个实时多任务执行模型的转换 被引量：1

13

作者 刘晓燕 字天文 +2 位作者 张云生 J-J.Schwarz 李俊昌 《计算机科学》 CSCD 北大核心 2007年第7期275-278,共4页

为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中,本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境,其次给出... 为解决把UML-RT行为建模模型平滑过渡到实时多任务系统的图形化软构件设计开发环境的过程设计模型中,本文提出了把UML-RT状态图行为模型转换到该环境下的执行模型的方法。首先介绍UML-RT状态图建模的概念及笔者研制的设计环境,其次给出从UML-RT状态图转换到该设计环境可执行模型的具体方法,最后以一个实例说明了转换方法。 展开更多

关键词 uml-RT 实时系统 状态图 行为建模 执行模型 转换方法.

在线阅读 下载PDF 职称材料

可执行UML技术在极限建模中的应用

14

作者 谭云飞 陶培基 关少珊 《计算机工程与科学》 CSCD 2006年第12期110-113,共4页

极限建模是UML和XP结合的产物,其主要贡献是使模型可执行和可测试,而可执行UML是最近兴起的模型驱动架构(MDA)软件开发方法的核心技术。本文提出在极限建模的软件开发方法的基础上引入可执行UML技术,可以使得极限建模具有更好的效用。... 极限建模是UML和XP结合的产物,其主要贡献是使模型可执行和可测试,而可执行UML是最近兴起的模型驱动架构(MDA)软件开发方法的核心技术。本文提出在极限建模的软件开发方法的基础上引入可执行UML技术,可以使得极限建模具有更好的效用。文中对于两者结合的可行性和意义进行了讨论,并给出了一个实例。 展开更多

关键词 极限建模 uml XP 可执行uml 动作语义 模型

在线阅读 下载PDF 职称材料

UML Statecharts的层次组合验证

15

作者 董威 王戟 齐治昌 《计算机工程与应用》 CSCD 北大核心 2005年第11期37-38,232,共3页

该文在用层次自动机结构化表示UMLStatecharts的基础上,把Statecharts的层次结构特点纳入到组合验证中,使得对实现规范的验证可以通过把系统的某些层次精化部分用更抽象的规约代替来进行,以缓解模型检验中的状态爆炸问题。

关键词 uml 模型检验 组合验证

在线阅读 下载PDF 职称材料

UML模型中并发对象的组合验证

16

作者 董威 王戟 齐治昌 《计算机科学》 CSCD 北大核心 2005年第7期231-233,F004,共4页

本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使有可能在对UML协同图进行模型检验的过程中不必建立系统的全... 本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使有可能在对UML协同图进行模型检验的过程中不必建立系统的全局状态图,以缓解状态爆炸问题。 展开更多

关键词 uml 模型检验 组合验证

在线阅读 下载PDF 职称材料

基于扩展UML图化简的过程模型冲突消解

17

作者 张婷 《计算机工程与设计》 CSCD 北大核心 2012年第10期3877-3881,共5页

为保证业务过程模型的结构正确性,使业务过程可以正常终止,需要进行业务过程模型的结构验证。提出基于扩展UML活动图的建模方法,扩展基本UML活动图的元素,使之适合描述复杂的业务过程;提出了相应的冲突检测方法,可以处理含有循环、重叠... 为保证业务过程模型的结构正确性,使业务过程可以正常终止,需要进行业务过程模型的结构验证。提出基于扩展UML活动图的建模方法,扩展基本UML活动图的元素,使之适合描述复杂的业务过程;提出了相应的冲突检测方法,可以处理含有循环、重叠结构的复杂过程模型,实现对典型结构冲突(如死锁、同步缺失、活锁)的检测。针对过程模型中的各个冲突提出相应冲突消解策略,便于对过程模型进行修改。 展开更多

关键词 过程模型 结构验证 图化简 冲突消解 uml活动图

在线阅读 下载PDF 职称材料

UML状态机模型形式化验证技术研究 被引量：3

18

作者 侯敏 宋文鹏 +1 位作者 王泊涵 王新冶 《计算机工程与设计》 CSCD 北大核心 2012年第9期3460-3464,共5页

系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题。为了验证系统设计的模型正确性,进而提高整个系统的质量,提出了一种通过模型检查技术对UML状态机模型进行动态语义验证的方法。对状态机模型进行... 系统建模是系统开发经常用到的分析设计方法,如何保证模型的正确性一直是人们关注的话题。为了验证系统设计的模型正确性,进而提高整个系统的质量,提出了一种通过模型检查技术对UML状态机模型进行动态语义验证的方法。对状态机模型进行形式化描述,根据定义的映射规则将图形信息映射成模型检查器可以读取的语言,分析待验证的性质内容,通过使用模型检查器得到验证结果。 展开更多

关键词 uml状态机 模型检查 形式化验证 符号模型检查器

在线阅读 下载PDF 职称材料

使用UML分析设计嵌入式系统 被引量：7

19

作者 唐英 李志蜀 《计算机应用研究》 CSCD 北大核心 2002年第5期117-120,共4页

标准建模语言UML是最广泛使用的可视化面向对象系统的建模方法。介绍了使用U ML对嵌入式系统—网络收音机作面向对象软件分析与设计的过程。网络收音机是一款收听 网上广播电台节目的信息家电产品。论述了利用UML的各种标准符号进行从... 标准建模语言UML是最广泛使用的可视化面向对象系统的建模方法。介绍了使用U ML对嵌入式系统—网络收音机作面向对象软件分析与设计的过程。网络收音机是一款收听 网上广播电台节目的信息家电产品。论述了利用UML的各种标准符号进行从需求分析开 始，到系统整体设计的一系列工作。 展开更多

关键词 uml 分析 设计 嵌入式系统 标准建模语言 网络收音机 面向对象 因特网

在线阅读 下载PDF 职称材料

一种基于UML的嵌入式设备驱动实现方法 被引量：2

20

作者 张莉 李莉 沈苏彬 《系统仿真学报》 CAS CSCD 北大核心 2013年第7期1471-1475,1495,共6页

由于嵌入式Linux系统中设备驱动软件体系结构和设备驱动之间关系复杂和依赖性强,仅从代码层面考虑设备驱动的开发,不但会增加开发的复杂度,而且不利于驱动程序的移植。为了能够正确的开发设备驱动程序,提出了一种设备驱动的UML(统一建... 由于嵌入式Linux系统中设备驱动软件体系结构和设备驱动之间关系复杂和依赖性强,仅从代码层面考虑设备驱动的开发,不但会增加开发的复杂度,而且不利于驱动程序的移植。为了能够正确的开发设备驱动程序,提出了一种设备驱动的UML(统一建模语言)建模分析方法。该方法使用UML首先对Linux中的相关设备体系建立结构模型,然后再建立设备驱动的功能模型、架构模型和动态行为模型。以嵌入式设备中电池管理芯片的驱动实现的过程为例,阐述了使用UML建模方法,达到简化驱动程序的设计与实现,提高驱动程序的可移植性,方便生成测试用例等目的。 展开更多

关键词 设备驱动 驱动模型 uml建模 嵌入式系统

在线阅读 下载PDF 职称材料