从xUML模型到J2EE应用系统的转换方法研究

Executable UML(xUML)是统一建模语言(UML)的一个剖面(Profile),它可以看作是由传统UML加上精确的语义构成。在阐述xUML和J2EE平台基本概念的基础上,提出了一种从xUML业务模型生成基于J2EE平台的Java代码的方法,对从平台无关模型到应用代码的转换进行了尝试。     

从xUML模型到J2EE应用系统的转换方法研究

Executable UML（xUML）是统一建模语言（LML）的一个剖面（Profile），它可以看作是由传统LML加上精确的语义构成。在阐述xUML和J2EE平台基本概念的基础上，提出了一种从xUML业务模型生成基于J2EE平台的Java代码的方法，对从平台无关模型到应用代码的转换进行了尝试。     

可视化业务模型的设计与实现

针对xUML, OCL, ASL等模型驱动的执行工具过于侧重语义完整,不够直观,使得设计人员难以理解的问题,在MOF第二层基础上改造UML元模型元素,建立一种支持人机交互的元模型可视化动作模型(VAM),在此基础上实现一个VAM执行引擎。模型的执行过程和实际代码的执行过程相似,提高了模型驱动开发在需求验证和测试中的可用性。     

AndroMDA模型转换组件的扩展研究

AndroMDA是一种支持模型驱动架构的开发工具,模型转换组件是其实现从模型到代码的转换的核心部件。在应用AndroMDA进行系统开发时,往往需要对其模型转换组件进行定制,以生成满足特定需要的代码。文中提出了一种对AndroMDA的模型转换组件进行扩展的方法,并使用该方法对模型转换组件Bpm4Struts Cartridge进行了扩展。使用扩展后的Bgm4Struts Cartridge可以从UML状态图生成基于Strum框架和Ajax框架DWR的代码,从而实现了在UML模型中可视化地应用Ajax技术的目标。     

基于UML类图和顺序图的C++代码自动生成方法的研究

UML是一种被广泛用于软件系统需求分析和详细设计的标准建模语言,研究将UML描述的软件详细设计自动生成代码的技术可以大大加速软件产品的开发进度,提高软件的质量。提出一种将UML类图和顺序图相结合生成具有静态结构和动态行为信息的C++代码的方法,从而解决现在多数代码生成工具只能将静态图转换为C++代码框架而不能处理动态行为模型转换的问题。该方法包括UML类图和顺序图的元模型以及相应的转换规则。最后通过一个采用Velocity技术实现的代码生成器生成代码的实例描述了代码生成的具体过程及结果。     

AndroMDA模型转换组件的扩展研究

AndmMDA是一种支持模型驱动架构的开发工具,模型转换组件是其实现从模型到代码的转换的核心部件.在应用AndroMDA进行系统开发时,往往需要对其模型转换组件进行定制,以生成满足特定需要的代码.文中提出了一种对AndroMDA的模型转换组件进行扩展的方法,并使用该方法对模型转换组件Bpm4Struts Cartridge进行了扩展.使用扩展后的Bixn4StrutsCartridge可以从UML状态图生成基于Struts框架和Ajax框架DWR的代码,从而实现了在UML模型中可视化地应用Ajax技术的目标.     

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

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

处理动态行为描述的MDA模型转换技术

模型驱动体系结构MDA(Model Driven Architecture)是OMG组织为解决不同中间件平台间的集成问题而提出的一种开放的、供应商中立的软件开发方法。在MDA框架中,开发者首先构建平台无关模型PIM(Platform Independent Model),然后根据到特定平台或实现语言的映射规则/方法,从平台无关模型转换生成平台相关模型PSM(Platform Specific Model),最终生成应用程序代码。采用了UML类图在平台无关层来描述模型的静态结构,并使用动作语言对模型的动态行为进行描述;选择Java EE作为目标平台,制定出相应的转换规则,实现了从动态行为描述到目标代码的转换。使用这样的方法得到的PSM只需要很少的后期处理就可以在平台上直接运行。研究工作较好地解决了当前大部分MDA模型转换工具不能处理动态行为模型转换的问题。     

下一代UML执行和转译技术--XTUML

可执行和可转译的UML(^XTUML)是尚在制定过程中的统一建模语言2.0的一个子集，规定了UML型的执行和转译规则。可执行的UML模型允许开发者在决定使用何种实现技术之前对软件的分析模型进行形式上的测试，可转译的UML模型使开发者能够将软件的分析模型重定位到多种实现技术。     

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

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

Towards model checking executable UML specifications in mCRL2

We describe a translation of a subset of executable UML (xUML) into the process algebraic specification language mCRL2. This subset includes class diagrams with class generalisations, and state machines with signal and change events. The choice of these xUML constructs is dictated by their use in the modelling of railway interlocking systems. The long-term goal is to verify safety properties of interlockings modelled in xUML using the mCRL2 and LTSmin toolsets. Initial verification of an interlocking toy example demonstrates that the safety properties of model instances depend crucially on the run-to-completion assumptions.     

UML可视化建模系统的模型一致性检查机制

ＵＭＬ标准建模语言是面向对象技术领域中的重要成果,使用ＵＭＬ解决现实世界中的问题是当前该领域的研究热点。ＵＭＬ集成支持环境既可提高建模的效率,也可在一定程度上保证所建模型间的一致性;通过模拟动态模型的行为,可在建模的早期发一模型中存在的问题;代码生成,逆向变换系统将模型和程序代码有机地统一起来。     

Implementing associations: UML 2.0 to Java 5

A significant current software engineering problem is the conceptual mismatch between the abstract concept of an association as found in modelling languages such as UML and the lower level expressive facilities available in object-oriented languages such as Java. This paper introduces some code generation patterns that aid the production of Java based implementations from UML models. The work is motivated by a project to construct model driven development tools in support of the construction of embedded systems. This involves the specification and implementation of a number of meta-models (or models of languages). Many current UML oriented tools provide code generation facilities, in particular the generation of object-oriented code from class diagrams. However, many of the more complex aspects of class diagrams, such as qualified associations are not supported. In addition, several concepts introduced in UML version 2.0 are also not supported.The aim of the work presented in this paper is to develop a number of code generation patterns that allow us to support the automatic generation of Java code from UML class diagrams that support these new and complex association concepts. These patterns significantly improve the code generation abilities of UML tools, providing a useful automation facility that bridges the gap between the concept of an association and lower level object-oriented programming languages.     

基于eXecutable UML的网上购物系统建模分析

介绍了基于eXecutable UML的MDA软件工程方法的概念,通过在实际开发中运用eXecutable UML对网上购物系统的建模的例子来进一步阐述了它的买现啄理。运用UseCase用例来获取系统需求,并为系统的各个问题域建模;运用xUML进行系统分析,这个阶段主要有：概念模型、系统顺序图、系统行为契约等。     

Test adequacy criteria for UML design models

Systematic design testing, in which executable models of behaviours are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented in code. In this paper a technique for testing executable forms of UML (Unified Modelling Language) models is described and test adequacy criteria based on UML model elements are proposed. The criteria can be used to define test objectives for UML designs. The UML design test criteria are based on the same premise underlying code test criteria: coverage of relevant building blocks of models is highly likely to uncover faults. The test adequacy criteria proposed in this paper are based on building blocks for UML class and interaction diagrams. Class diagram criteria are used to determine the object configurations on which tests are run, while interaction diagram criteria are used to determine the sequences of messages that should be tested. Copyright © 2003 John Wiley & Sons, Ltd.     

On challenges of model transformation from UML to Alloy

The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Architecture (MDA) techniques can be applied to generate code from such specifications. Since implementing a system based on a faulty design requires additional cost and effort, it is important to analyse the UML models at earlier stages of the software development lifecycle. This paper focuses on utilizing MDA techniques to deal with the analysis of UML models and identify design faults within a specification. Specifically, we show how UML models can be automatically transformed into Alloy which, in turn, can be automatically analysed by the Alloy Analyzer. The proposed approach relies on MDA techniques to transform UML models to Alloy. This paper reports on the challenges of the model transformation from UML class diagrams and OCL to Alloy. Those issues are caused by fundamental differences in the design philosophy of UML and Alloy. To facilitate better the representation of Alloy concepts in the UML, the paper draws on the lessons learnt and presents a UML profile for Alloy.     

Leveraging UML Profiles to Generate Plugins From Visual Model Transformations

Model transformation is a fundamental technology in the MDA. Therefore, model transformations should be treated as first class entities, that is, models. One could use the metamodel of SDM, a graph based object transformation language, as the metamodel of such transformation models. However, there are two problems associated with this. First, SDM has a non-standardized metamodel, meaning a specific tool (Fujaba) would be needed to write transformation specifications. Secondly, due to assumptions of the code generator, the transformations could only be deployed on the Fujaba tool itself. In this paper, we describe how these issues have been overcome through the development of a template based code generator that translates instances of a UML profile for SDM to complete model transformation code that complies to the JMI standard. We have validated this approach by specifying a simple visual refactoring in one UML tool and deploying the generated plugin on another UML tool.     

An approach to clone detection in sequence diagrams and its application to security analysis

Duplication in software systems is an important issue in software quality assurance. While many methods for software clone detection in source code and structural models have been described in the literature, little has been done on similarity in the dynamic behaviour of interactive systems. In this paper, we present an approach to identifying near-miss interaction clones in reverse-engineered UML sequence diagrams. Our goal is to identify patterns of interaction (“conversations”) that can be used to characterize and abstract the run-time behaviour of web applications and other interactive systems. In order to leverage existing robust near-miss code clone technology, our approach is text-based, working on the level of XMI, the standard interchange serialization for UML. Clone detection in UML behavioural models, such as sequence diagrams, presents a number of challenges—first, it is not clear how to break a continuous stream of interaction between lifelines (representing the objects or actors in the system) into meaningful conversational units. Second, unlike programming languages, the XMI text representation for UML is highly non-local, using attributes to reference-related elements in the model file remotely. In this work, we use a set of contextualizing source transformations on the XMI text representation to localize related elements, exposing the hidden hierarchical structure of the model and allowing us to granularize behavioural interactions into conversational units. Then we adapt NICAD, a robust near-miss code clone detection tool, to help us identify conversational clones in reverse-engineered behavioural models. These conversational clones are then analysed to find worrisome interactions that may indicate security access violations.