基于MDE的UML模型到形式化模型的转换方法研究

Name: 基于MDE的UML模型到形式化模型的转换方法研究
Rating: 4.5 (57 reviews)
Author: zhu_yongjun

上传者：zhu_yongjun 2019-09-27 22:26:34上传 PDF文件 2.81MB 热度 57次

模型转换的参考资料，仅供参考。出处：研究生：刘亚萍研究方向：软件开发与验证指导教师：黄志球教授南京航天航空大学

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

: 码姐姐匿名网友 2019-09-27 22:26:34

PDF打开是空的？什么情况。。。

基于MDE的UML模型到形式化模型的转换方法研究

模型转换的参考资料，仅供参考。出处：研究生：刘亚萍研究方向：软件开发与验证指导教师：黄志球教授南京航...

大小：0B | 2019-09-27 22:26:34
UML模型形式化B方法转换的实现

UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺...

大小：564KB | 2021-02-24 02:48:14
论文研究基于MDA的MARTE模型形式化方法.pdf

针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述...

大小：0B | 2020-03-16 09:06:32
软件需求的形式化转换模型.pdf

需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型，用来将软件需求分析直接、...

大小：0B | 2019-04-29 01:45:53
SIP协议系统模型的形式化研究

本文总体上分析了SIP系统的主要组成,用SDL语言和MSC语言形式化地描述了SIP协议的主要系统模型...

大小：77KB | 2020-09-03 20:36:20
对UML模型与Petri网模型的转换方法的整合研究

大小：0B | 2019-01-03 01:04:05
形式化方法B和UML的结合研究

形式化方法B和UML的结合研究，邹盛荣，，形式化方法B用抽象机器符号来描述软件的规格说明，因为工具集...

大小：0B | 2020-06-07 23:18:45
论文研究基于ASM的元模型形式化语义的研究.pdf

提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术，形式化地描述了元模型及其语义...

大小：0B | 2019-09-23 00:37:08
基于场景分析的系统形式化模型生成方法

采用形式化方法对系统的安全性进行分析与验证,是构造可靠安全软件系统的一个重要途径。当前的形式化安全分...

大小：561KB | 2021-02-24 02:48:19
基于任务的群体感知模型的形式化描述.kdh

基于任务的群体感知模型的形基于任务的群体感知模型的形式化描述.kdh式化描述.kdh基于任务的群体感...

大小：0B | 2019-05-07 00:51:13
UML时序图模型到UPPAAL时自动机模型转换方法研究和工具实现

UML时序图模型到UPPAAL时自动机模型转换方法研究和工具实现master

大小：0B | 2019-05-15 23:53:55
论文研究CIM建模及模型形式化方法研究综述.pdf

以模型为驱动的开发方法是当前软件工程领域研究的热点，计算无关模型（computationindepe...

大小：0B | 2019-09-09 04:53:36
UML模型到代码的转换

UML模型到代码的转换

大小：0B | 2019-09-21 13:59:34
论文研究基于Pi演算的Web服务形式化描述模型.pdf

当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象，无法兼顾基于全局和局...

大小：0B | 2020-06-10 19:42:26
论文研究_BPMN到BPEL2.0的模型转换方法.pdf

随着WSBPEL2.0规范标准的提出，现有的BPMN到BPEL的组件转换方法已不再适用。为了适应B...

大小：342KB | 2020-07-16 04:55:52
形式化方法

Formal method

大小：0B | 2019-06-22 22:03:24