公共文化服务平台

共 7 条记录，以下是 1-7

全选清除导出

排序方式：

UML实时活动图的形式化分析被引量：42: 2004年; 统一建模语言 (UML)自从成为OMG规范后 ,应用越来越广泛 .但UML没有精确的、形式化的语义阻碍了它的进一步发展 .该文基于Petri网 ,给出带时间约束的UML活动图的形式化描述 .与Petri网不同的是 ,Petri网的时间约束是在跃迁 (transition)上 ,而作者将UML活动图的时间约束放在活动状态上 .在此基础上 ,用整型时间的验证技术对实时活动图的时间性质加以分析 ,为实时系统的建模打下了基础 .; 崔萌李宣东郑国梁; 关键词：UML 统一建模语言面向对象活动图形式化分析

一种基于MDA的UML顺序图到状态图的转换方法被引量：7: 2004年; MDA(modeldrivenarchitecture)是解决基于不同中间件系统的集成问题 .它将不同的系统都结构化成PIM (platformindependentmodel)和PSM (platformspecificmodel) ,并针对不同的实现技术平台制定多个映射规则 ,然后通过这些映射规则及辅助工具将PIM转换成PSM ,再将PSM不断求精直至形成最后的代码 .MDA中的模型转换有 4种 :PIM到PIM ,PIM到PSM ,PSM到PSM以及PSM到PIM .其中PIM到PIM转换最显而易见的是分析模型到设计模型的转换 .UML是MDA的模型描述语言 ,因此UML顺序图到状态图的模型转换必将为MDA中的PIM到PIM转换提供有力的支持 .介绍了从一个顺序图转换成多个状态图的算法 ,并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法 .处于一个系统中的多个状态图不是孤立的 ,他们各自的状态转换是相互约束的 ,最后给出了组合多个状态图的方法 ,以及如何生成在同步约束下多个状态图的转换关系 ,并最终得到系统的状态图 .; 崔萌袁海史耀馨李宣东郑国梁; 关键词：顺序图状态图 UML MDA

基于MDA的UML模型转换技术——从顺序图到状态图被引量：23: 2004年; 为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构:MDA。MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系。该文主要对PIM到PIM之间的映射进行了研究。该映射实质上是PIM模型的精化,其主要方面是分析模型和设计模型之间的转换。MDA使用UML来描述各种模型。UML是一种可视化的通用的面向对象的建模语言。UML顺序图主要用于需求分析,而状态图在系统设计阶段起重要作用。该文介绍了一种从UML顺序图中合成状态图的方法,合成的过程基本上是自动完成的,只需要很少的用户交互,从而为PIM模型的精化提供有力的支持。; 史耀馨崔萌李宣东郑国梁; 关键词：MDA UML 顺序图状态图自动软件工程

基于MDA的PIM到J2EE平台PSM的转换方法被引量：25: 2005年; MDA是解决基于不同中间件系统的集成问题。它将不同的系统都结构化成PIM和PSM并针对不同实现技术与平台制订多个映射规则 ,然后通过这些映射规则及辅助工具将PIM转换成PSM ,再将PSM不断求精直至形成最后代码。MDA中的模型转换有 4种 :PIM到PIM ,PIM到PSM ,PSM到PSM以及PSM到PIM。其中的PIM到PSM转换是难点。本文提出了一种PIM到J2EE平台的PSM转换的方法 :首先将一个用PIM配置图和类图描述的系统根据映射规则转换成J2EE平台下的PSM配置图、类图 ;然后根据精化规则对PSM模型进一步精化 ,生成不同的EJB以及构件图 ,为最后代码的自动生成打下基础。; 崔萌史耀馨李宣东郑国梁; 关键词：PIM 类图 J2EE平台 EJB PSM MDA

UML模型转换和验证的研究: 在软件工程中，系统建模是具有决定意义的活动之一。建模是为了更好的理解和构造系统，并可以提供简化和复用的机会，通常软件系统的分析与设计都是通过建模完成的。在建立软件系统模型的过程中离不开建模语言，随着软件系统的规模和复杂性...; 崔萌; 关键词：统一建模语言 UML 软件开发 MDA J2EE; 文献传递

基于J2EE平台的MDA模型转换技术被引量：8: 2003年; 1.引言 1.1 UML UML[1](Unified Modeling Language)是一种可视化的通用面向对象建模语言.它被用于描述和构建复杂的软件系统.面向对象建模语言产生于20世纪70年代中期,此后曾出现过数十种不同的建模语言.; 史耀馨崔萌李宣东郑国梁; 关键词：UML语言面向对象建模语言 MDA模型 J2EE平台

带时间约束的UML活动图模型的分析: 统一建模语言(UML)自从成为OMG规范后,应用越来越广泛.但UML没有精确的、形式化的语义阻碍了它的进一步发展.本文基于Petri网,给出带时间约束的UML活动图的形式化描述.与Petri网不同的是,Petri网的时间...; 崔萌袁海李宣东郑国梁; 关键词：统一建模语言 PETRI网; 文献传递

全选清除导出

共1页<1>

崔萌