期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于MDA的UML模型转换技术——从顺序图到状态图 被引量:13
1
作者 史耀馨 崔萌 +1 位作者 李宣东 郑国梁 《计算机工程与应用》 CSCD 北大核心 2004年第13期40-45,共6页
为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构:MDA。MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系。该文主要对PIM到PIM之间的映射进行... 为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构:MDA。MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系。该文主要对PIM到PIM之间的映射进行了研究。该映射实质上是PIM模型的精化,其主要方面是分析模型和设计模型之间的转换。MDA使用UML来描述各种模型。UML是一种可视化的通用的面向对象的建模语言。UML顺序图主要用于需求分析,而状态图在系统设计阶段起重要作用。该文介绍了一种从UML顺序图中合成状态图的方法,合成的过程基本上是自动完成的,只需要很少的用户交互,从而为PIM模型的精化提供有力的支持。 展开更多
关键词 mda uml 顺序图 状态图 自动软件工程
在线阅读 下载PDF
一种基于MDA的UML顺序图到状态图的转换方法 被引量:4
2
作者 崔萌 袁海 +2 位作者 史耀馨 李宣东 郑国梁 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第4期470-482,共13页
MDA(modeldrivenarchitecture)是解决基于不同中间件系统的集成问题 .它将不同的系统都结构化成PIM (platformindependentmodel)和PSM (platformspecificmodel) ,并针对不同的实现技术平台制定多个映射规则 ,然后通过这些映射规则及辅... 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
在线阅读 下载PDF
UML用例图到XMI的映射方法研究
3
作者 申云成 颜昌沁 《贵阳学院学报(自然科学版)》 2015年第2期10-14,共5页
模型信息转换是目前软件工程领域比较热门的研究方向,将UML模型信息转换成XMI中间标准格式,能够实现模型到模型转换,模型到代码自动生成,加快系统开发进度,提高软件质量。提出一种UML用例图到XMI的映射算法。首先介绍了MDA,UML,XMI以及... 模型信息转换是目前软件工程领域比较热门的研究方向,将UML模型信息转换成XMI中间标准格式,能够实现模型到模型转换,模型到代码自动生成,加快系统开发进度,提高软件质量。提出一种UML用例图到XMI的映射算法。首先介绍了MDA,UML,XMI以及用例图等基本概念,然后对XMI Schema抽象模型进行形式化描述,并根据XMI模式定义和UML用例图映射规则对映射算法进行具体描述。最后通过一个具体的泛化用例图到XMI的映射实例进行算法验证。 展开更多
关键词 mda uml 用例图 XMI 映射
在线阅读 下载PDF
从UML顺序图生成状态图的一个方法 被引量:2
4
作者 袁海 李宣东 郑国梁 《计算机科学》 CSCD 北大核心 2003年第6期155-158,161,共5页
UML (Unified Modeling Language) is a visual modeling language used for specifying, visualizing, constructing,and documenting the artifacts of software systems by various diagrams. It has been widely accepted as a stan... UML (Unified Modeling Language) is a visual modeling language used for specifying, visualizing, constructing,and documenting the artifacts of software systems by various diagrams. It has been widely accepted as a standard modeling language in both academic and industrial areas. UML sequence diagrams are mostly used in specifying system requirements. By representing interactions, which are arranged in time sequence,between the objects in a system,sequence diagrams can construct scenarios indicating the system's functions. A UML statechart diagram is a graph shows the sequences of states that an object or an interaction goes through during its life in response to received stimuli,together with its responses and actions. It's useful in the design stage of system development. This essay discusses the computer-aided transformation from sequence diagrams to statechart diagrams,which can offer strong support for the transfering from requirement analysis to system design in the software development process. With OCL (Object Control Language) semantic constrain,a transform algorithm is provided in the paper. And the differences with the related works are also mentioned. 展开更多
关键词 面向对象 软件开发 uml 顺序图 状态图 软件建模语言
在线阅读 下载PDF
基于Petri网的UML形式化建模应用分析 被引量:8
5
作者 李龙澍 胡正梁 《计算机技术与发展》 2010年第4期76-79,83,共5页
UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使... UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析。排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的。 展开更多
关键词 uml形式化 状态图 序列图 PETRI网
在线阅读 下载PDF
基于UML的概念模型的Petri网映射算法研究 被引量:2
6
作者 叶丽君 桑海 +1 位作者 张明清 唐俊 《计算机仿真》 CSCD 北大核心 2009年第3期112-116,共5页
概念模型的动态部分由于其复杂性不易通过阅读式的审查实施验证,针对采用统一建模语言(UML)描述的概念模型,通过UML时序图模型向Petri网模型的映射,可建立Petri网可执行模型,再对其进行验证。在深入分析UML时序图特点的基础上,针对已有... 概念模型的动态部分由于其复杂性不易通过阅读式的审查实施验证,针对采用统一建模语言(UML)描述的概念模型,通过UML时序图模型向Petri网模型的映射,可建立Petri网可执行模型,再对其进行验证。在深入分析UML时序图特点的基础上,针对已有映射方法存在的缺点,提出了基于消息的模型映射算法,并对时序图中的特殊结构(可选、条件、并行、循环),分别提出了其相应的映射算法,并验证了映射的正确性。方法有利于检查模型映射前后的一致性,同时具有可扩展的优点。 展开更多
关键词 概念模型 统一建模语言 时序图 映射
在线阅读 下载PDF
由序列图合成状态图 被引量:2
7
作者 郭俊丽 陈平 《计算机工程与设计》 CSCD 2003年第7期50-52,55,共4页
序列图和状态图对于描述和理解面向对象软件系统有着极其重要的作用。符合UML标准的序列图和状态图存在信息重叠,根据序列图提供的信息可以合成状态图。给出了在Rational Rose中由序列图合成状态图工具的实现。
关键词 面向对象 软件系统 软件开发 可视化建模工具 序列图 状态图
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部