基于有限状态机的模型转换方法的研究

模型转换是MDA框架中最重要的组成部分之一,因此,对模型转换方法的研究非常重要。为了促进MDA框架理论的发展以及探索更有效的模型转换机制,文中对模型转换方法做了较深入的研究。文中通过对有限状态机的分类和有限状态机的工作原理的介绍,并把有限状态机的理论应用到模型转换中,从而提出了基于有限状态机的模型转换方法。文中从以下几个方面对基于有限状态机的模型转换方法进行了较深入的分析与研究,主要包括转换元模型的定义、模型转换中的有限状态机的描述和可逆向操作的状态生成算法。文中提出的方法为有着比较明显的状态变化的模型之间的相互转换提供了一种比较方便的模型转换实施方案,同时对其它模型转换方法也有一定的参考价值。     

基于规则的模型自动转换方法

为实现任务模型(TM)到抽象用户界面(AUI)模型的自动转换,提出一个基于规则的模型转换方法.构建并发任务树的TM元模型和AUI元模型,采用基于对象约束语言的规则表示方法定义TM到AUI的映射规则,使用可扩展标记语言(XML)描述TM和映射规则,得到AUI的XML文件.通过一个虚拟工作压力调查实例验证该方法的可行性和易...     

基于随机Petri网的SysML状态机图的验证

针对SysML状态机图本身缺乏分析和验证手段的问题,提出一种SysML状态机图向广义随机Petri网的转换方法。主要定义将SysML状态机图转换为相应Petri网可执行模型的八种转换规则,应用这些规则可以将状态机图转换为Petri网模型,进而对其进行分析、验证,并可检测SysML的行为规范与并发相关的性质,如死锁、有界性等,同时,该方法可处理带有时间延迟和概率信息的状态转换。最后通过数字证书系统的一个实例说明该方法的可行性。     

基于规则库的工作流流程文件转换方法

针对工作流流程定义文件之间需要相互转换的问题,提出了一种基于规则库的流程定义文件转换方法.该方法首先通过建立映射规则库采存储不同流程定义语言间相互转换的规则,然后在转换过程中动态查找规则库,获取当前流程定义转换所需要的规则,最后用获取的规则初始化转换引擎以实现流程定义文件的转换.采用上述方法建立了从XPDL(Xml process definition language)到BPEL(business process execution language)及BPEL到XPDL之间的转换规则库,运用该规则库完成了实例的相互转换.实验结果表明了该转换方法的可行性和有效性.     

UML模型到FSM模型的转换

通常可采用UML的各种图从Web应用不同方面对其进行建模.当对Web应用模型进行测试和验证时,需要分别考虑这些采用了不同图形描述的模型,这就带来了测试和验证的繁琐.如果将UML各种图转换到有限状态机(FSM)模型,则可以统一用FSM模型来表示、验证和测试.提出了基于状态迁移特性保持规则的UML到FSM的模型转换方法,特别针对UML状态图中的3种基本组成单元到FSM模型的转换,给出了各自的转换方法,并实现了原型工具UML2FSM.     

基于普适服务的代码自动生成研究

基于MDA方法,使用UML profile建立企业应用模型,并应用模型转换工具实现代码自动生成,通过修改PSM模型自动实现代码的修改。详细探讨了PS_.NET UML profile的构成和转换过程,通过应用实例,证明该转换方法可以很好地应用于企业应用系统开发,提高开发效率,减少开发代价和维护。     

基于QVT的模型转换方法研究

针对不同模式之间规则不能重用甚至无法描述嵌套模式的问题．提出一种基于扩展MOF元模型与扩展QVT语言相结合的模型转换方法。该方法通过扩展MOF元模型解决模型之间规则不能重用问题．通过扩展QVTRelations可以增强规则语言的有效性,为模型建立和模型转换提供一种更有效的途径。在一个股票交易系统的转换应用实例中验证该方法的正确性。     

MDA模型转换平台中模型转换方法的研究

为有效解决目前基于MDA(模型驱动架构)的模型转换平台功能单一、操作不方便等问题,结合Web应用开发的特点,设计了一个功能完善并可扩展的模型转换平台。介绍了该转换平台表示层、控制层、核心层、基础技术支持层的组成和功能。在此基础上,详细设计了核心层中的模型转换模块。对模型转换方法进行深入研究,分析比较现有的模型转换方法。重点介绍了基于元模型间映射的模型转换方法,最后通过一个实例验证该方法的可行性。     

基于有限状态机的可校核仿真模型研究

基于有限状态机仿真模型因其外部环境的复杂交互关系,而难以完整复现其状态变迁过程,更难对模型进行校核与检验;而模型校核对于确保仿真的可信度十分重要。本文从分析基于有限状态机的仿真对象模型状态变迁及公共调用接口出发,将有限状态机模型的公共接口区分为参数注入方法集、参数提取方法集和无参数方法集。并在此基础上,提出并实现了对有限状态机模型接口输入集进行窥视和顶替的校核策略。实验表明,在满足若干禁入规则的条件下,该方法能够完整复现有限状态机模型的状态变迁过程,从而可为实现可校核与可检验有限状态机模型提供建模框架。     

基于SysML的机载软件分层精化建模与验证方法

机载软件被广泛应用于航空航天领域, 大幅提升了机载设备的性能.但随着机载软件规模逐渐增大、功能逐渐增多, 给软件的开发带来了难度, 如何保障机载软件的正确性和安全性也成为一个难题.基于模型的开发可以有效提升开发效率, 而形式化方法能够有效保障软件的正确性.为了降低开发难度, 同时保障机载软件的正确性、安全性, 本文提出一种基于SysML状态机图子集的机载软件分层精化建模与验证方法.首先使用SysML状态机图对机载软件的动态行为进行建模, 根据提出的精化规则, 对初始模型进行手动逐层精化得到精化设计模型.然后针对软件模型动态变化的特性, 将SysML状态机模型自动转换为时间自动机网络, 并从软件需求中手动提取形式化TCTL性质进行模型检验.其次, 为了实现编码自动化, 将SysML模型自动转换至Simulink, 利用Simulink Coder生成源代码.最后, 以一个自动飞行控制软件为例进行了开发和验证, 实验结果表明了该方法的有效性.     

操作系统安全模型研究

介绍了操作系统的安全机制和几种访问控制模型,在对模型进行比较的基础上,提出采用多种模型相结合的方法,能够满足操作系统保密性与完整性要求。     

操作系统安全模型研究

介绍了操作系统的安全机制和几种访问控制模型，在对模型进行比较的基础上，提出采用多种模型相结合的方法，能够满足操作系统保密性与完整性要求。     

软件过程模型回顾与分析

软件过程模型是软件项目的指导思想和全局性框架,是项目经理进行管理的有效工具.本文回顾了软件过程模型的发展历程,介绍了一些具有代表性的软件过程模型,并通过对这些模型的类比分析,给出了它们的优缺点,最后展望了软件过程模型的发展趋势.     

A taxonomy-based approach to shed light on the babel of mathematical models for rice simulation

For most biophysical domains, differences in model structures are seldom quantified. Here, we used a taxonomy-based approach to characterise thirteen rice models. Classification keys and binary attributes for each key were identified, and models were categorised into five clusters using a binary similarity measure and the unweighted pair-group method with arithmetic mean. Principal component analysis was performed on model outputs at four sites. Results indicated that (i) differences in structure often resulted in similar predictions and (ii) similar structures can lead to large differences in model outputs. User subjectivity during calibration may have hidden expected relationships between model structure and behaviour. This explanation, if confirmed, highlights the need for shared protocols to reduce the degrees of freedom during calibration, and to limit, in turn, the risk that user subjectivity influences model performance.     

“演化原型-瀑布”综合开发模型研究

该论文结合”军校多媒体课程教学管理系统”的研制开发,探讨了一种将传统瀑布模型与快速原型法相结合的开发模式——“演化原型-瀑布”综合开发模型。     

基于领域模型的需求获取方法

运用领域工程的思想,提出了基于领域模型的系统需求获取方法。该方法可识别应用系统中的共同特征,并抽象这些特征形成领域模型。通过领域模型,引导用户给出完整的系统需求。     

工作流平台中动态流程模型的研究

在已有的动态工作流模型——黑盒模型的基础上进行改进,应用可插拔的子流程节点代替黑盒节点,提出了更加容易实现的动态流程模型——DSP(Dynamic SubProcess)模型,并成功地将其应用于网络化集成产品开发项目管理工具的项目中。     

模型驱动环境下模型演化的形式化研究

在模型驱动开发中,模型演化由一系列复杂的变化活动组成,模型的变化可以分为直接施加在模型元素上的增加、删除、更改等基本演化操作以及这些基本演化操作的组合。基于模型驱动体系结构,给出了模型和模型变化的形式化定义。模型的变化以模型差异来描述,在模型差异的基础上,研究了模型的合并、逆和组合运算。     

Rule-based update transformations and their application to model refactorings

A rule-based update transformation is a model transformation where a single model is transformed in place. A model refactoring is a model transformation that improves the design described in the model. A refactoring should only affect a previously chosen subset of the original model. In this paper, we discuss how to define and execute model refactorings as rule-based transformations in the context of the UML and MOF standards. We also present an experimental tool to execute this kind of transformation.     

数字城市模型服务系统设计

提出了数字城市建设应当在"数据服务"的基础上向"应用服务"转变,指出了"应用服务"的两个方面:面向公众的信息服务和面向专业领域的信息服务.针时讨论较少的后一种应用问题,设计了数字城市的模型服务系统来支持所需的信息服务.讨论了系统在数字城市应用服务平台中的地位和作用,分析了系统的结构,提出了模型的接口规范和系统的工作流程.最后,对实现的教字城市模型服务系统原型进行了探讨.