一种基于有限状态机的模型转换方法

为实现模型的自动转换，通过定义一个清晰的基于规则的模型转换框架，提出了一种基于有限状态机的模型转换方法，用有限状态机技术解决转换规则的实现问题，并定义了适合规则实现机制的形式表示法，然后结合UML模型到SQL模型转换的典型场景，通过一个模型转换示例说明模型转换方法的具体应用，结果表明了该方法的可行性和有效性。该方法适用于状态明显的模型之间的转换，促进了模型自动转换的应用和发展。     

QVT的模型转换方法的研究

模型转换是MDA中最重要的部分之一,其性能的好坏直接影响到软件开发工作的进行.介绍了模型、计算无关模型、平台无关模型、平台相关模型、模型转换和转换规则等的理论知识.其次通过对目前比较流行的直接转换方法、基于关系代数的转换方法和基于元模型间映射的转换方法等模型转换方法的研究,分析了其存在的不足之处,并且提出了QVT的模型转换方法.研究结果表明,文中提出的方法具有很大的性能优势.     

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

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

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

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

基于OCL的模型转换语言应用研究

模型转换语言是实施MDA的关键,在整个MDA体系中必须要有明确完备的转换语言.首先对模型转换语言的特性和现有的主要模型转换语言进行了简要的说明和分析,然后对对象约束语言（OCL）作为模型转换语言进行理论相关分析.在分析的基础上,提出了对对象约束语言进行扩展,最后提出了一个基于对象约束语言的模型转换框架.     

基于本体映射的MDA模型转换研究

模型转换是MDA框架中的重要环节之一,以往的模型转换方法可能会因为缺乏语义保证而出现错误。本文通过本体映射来研究MDA模型转换,提出实现MDA模型语义层转换的方法,并提高模型转换的效率和准确率。     

一种模型转换的编织框架

模型转换是MDA(model driven architecture)的核心技术之一,也是目前MDA研究的热点.目前,MDA范畴内存在多种模型转换方法和工具,它们之间的异构性造成了模型转换代码重用的困难,并使学习和使用模型转换方法的成本增加.受到模型编织技术的启发,提出了一种基于QVT(model query/view/transformation)规范的模型转换编织框架QMTW(QVT-based model transformation weaving framework)来解决以上缺点.展示了模型转换编织的概念、语义、元模型和语法,以及到目标语言的转换定义,并以一个具体实例说明了本框架的使用方法和优点.QMTW提高了模型转换的抽象层次,统一了多种模型转换语言,并支持OMG最新的模型转换规范,在一定程度上消除了模型转换技术的异构性,同时具有简单、规范、扩展性强3个优点.     

UML模型到FSM模型的转换

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

有限状态机在导弹防御系统分析中的应用

介绍了有限状态机的基本概念,基于UML详细分析了导弹防御系统的作战过程.由于UML状态机无法直接运行而实现系统状态的动态转换,研究了基于有限状态机理论的图形化建模与仿真工具Stateflow.在分析了导弹防御系统作战过程中各子系统状态以及状态转换的基础上建立了Stateflow状态机模型,并与Matlab其它建模和仿真工具有机结合,建立了导弹防御系统的仿真模型,该模型可实现不同条件下系统性能的分析与评估.     

基于有限状态机和Trie数的分级地址模型

针对地理编码系统中地址正确性校验、地址不规则命名和地址跳跃的问题,提出了运用有限状态机理论建立分级地址的转换模型,同时用Trie树来建立有限状态机中各个地址的转换函数,给出了转换函数的初始化和训练过程。测试数据对模型的验证表明,使用有限状态机和Trie树建立的地址模型,初步解决了地理系统编码中的地址校验、不规则命名和地址跳跃的问题。     

Model-driven migration of supervisory machine control architectures

Supervisory machine control is the high-level control in advanced manufacturing machines that is responsible for the coordination of manufacturing activities. Traditionally, the design of such control systems is based on finite state machines. An alternative, more flexible approach is based on task-resource models. This paper describes an approach for the migration of supervisory machine control architectures towards this alternative approach. We propose a generic migration approach based on model transformations that includes normalisation of legacy architectures before their actual transformation. To this end, we identify a number of key concerns for supervisory machine control and a corresponding normalised design idiom. As such, our migration approach constitutes a series of model transformations, for which we define transformation rules. We illustrate the applicability of this model-driven approach by migrating (part of) the supervisory control architecture of an advanced manufacturing machine: a wafer scanner developed by ASML. This migration, towards a product-line architecture, includes a change in architectural paradigm from finite state machines to task-resource systems.     

模型驱动架构中的模型转换方法

模型驱动架构是OMG提出的一种新的软件开发方法，模型转换是模型驱动架构中最重要的部分。本文简要讨论了模型转换的概念，并把模型转换方法的结构概括为源模型、目标模型、转换规则库和转换流程控制器四个部分。本文对当前已有的模型转换方法进行了总结和分类，并综合介绍了当前几种主要的模型转换方法，最后对模型转换方法的发展前景做了展望。     

状态图中可同步测试序列生成策略

对于由通信有限状态机构成的状态图的可同步测试序列的生成策略，一种现有的方法是由状态图生成相应的积自动机，然后采用有限状态机的测试序列生成策略。这种方法存在组合空间爆炸问题和测试序列的同步问题。在定义了测试序列的两类同步问题的基础上，提出了基于多测试驱动的测试模型MTM和基于该模型的测试序列生成策略，该策略在不生成积自动机的情况下，通过同步锁和相应的策略解决两种类型的同步问题，避免了组合空间爆炸问题。     

模型驱动的嵌入式系统设计安全性验证方法研究

基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。     

基于句法的统计机器翻译模型与方法

该文总结了我们近几年来在基于句法的统计机器翻译方面所做的研究工作,特别是基于源语言句法的一系列统计机器翻译模型与方法,具体包括 基于最大熵括号转录语法的翻译模型,基于源语言短语结构树的树到串翻译模型及其相应的基于树的翻译方法,基于森林的翻译方法和句法分析与解码一体化翻译方法,基于源语言依存树的翻译模型。     

基于模型驱动架构的数据库重构

针对交叉使用数据库重构方法较为困难的问题,提出一种基于模型驱动架构（MDA）的通用数据库重构框架,其中包括数据库重构中的元模型定义和模型转换定义,并采用EMF和Operational QVT构建工具,该框架利用MDA的模型转换能力实现了数据库重构的自动化。     

MDA的设想与实现

模型驱动体系结构(MDA)提出了一种利用模型进行软件开发的方法，它将模型作为软件开发过程的关键，MDA的基本思想是将模型区分为平台独立模型(platform independent model)和平台相关模型(platform specific model)，通过不同抽象层次模型之间的转换完成软件开发过程。介绍了MDA的设想，包括MDA的基本概念，基于MDA的开发过程，讨论了实现MDA所涉及的几个重要问题。     

Definition and validation of model transformations

With model transformations becoming more widely used, there is an increasing need for approaches focussing on a systematic development of model transformations. Although a number of approaches for specifying model transformations exist, none of them focusses on systematically validating model transformations with respect to termination and confluence. Termination and confluence ensure that a model transformation always produces a unique result. Also called functionality, these properties are important requirements for practical applications of model transformations. In this paper, we introduce our approach to model transformation. Using and extending results from the theory of graph transformation, we investigate termination and confluence properties of model transformations specified in our approach. We establish a set of criteria for termination and confluence to be checked at design time by static analysis of the transformation rules and the underlying metamodels. Moreover, the criteria are formulated in such a way that they require less experience with the theory of graph transformation. Our concepts are illustrated by a running example of a model tranformation from statecharts to the process algebra Communicating Sequential Processes.     

Mutation testing from probabilistic and stochastic finite state machines

Specification mutation involves mutating a specification, and for each mutation a test is derived that distinguishes the behaviours of the mutated and original specifications. This approach has been applied with finite state machine based models. This paper extends mutation testing to finite state machine models that contain non-functional properties. The paper describes several ways of mutating a finite state machine with probabilities (PFSM) or stochastic time (PSFSM) attached to its transitions and shows how we can generate test sequences that distinguish between such a model and its mutants. Testing then involves applying each test sequence multiple times, observing the resultant behaviours and using results from statistical sampling theory in order to compare the observed frequency and execution time of each output sequence with that expected.     

Development of a geometric modelling strategy for roll pass optimal design

Roll pass design is one of the most important tasks in shape rolling operations that are employed to provide raw materials with appropriate cross-section profiles for various industrial applications. Currently, many approaches, such as experience-based trial-and-error strategies, finite element methods, and expert systems, are applied to improve both quality and efficiency of roll pass design. However, due to lack of a flexible geometrical modelling strategy, the application of extant approaches is largely limited. This study attempts to develop a novel approach for generic geometrical modelling to support optimal design of roll passes. Features of the proposed model are analysed to support its application. Furthermore, a parameters estimation approach based on genetic algorithm is also developed to facilitate the transformation between the generic model and other geometrical models, as well as to improve its flexibility and applicability. The results from the case study presented in the paper indicate that the new model is more flexible and efficient, and that the parameters estimation approach also can achieve high transformation accuracy and efficiency.