基于MDA的Web服务合成技术研究

Web服务合成越来越引起人们的广泛关注。对基于MDA的Web服务合成技术进行了研究：描述了Web服务合成开发方法;提出利用UML类图对Web服务合成进行结构建模,对UML活动图进行行为建模,并给出UML类图和活动图到接口描述语言（WSDL）和业务流程执行语言（BPEL4WS）的转换规则;给出一个订单管理案例证明该方法的可行性。     

基于UML活动图的Web服务合成动态行为建模方法研究

描述了利用UML进行Web服务合成的建模方法,包括静态结构建模和动态行为建模两个方面,针对Web服务合成的动态行为建模部分,详细说明了利用UML活动图进行建模时需要注意的问题,如活动图的控制流模式与Web服务合成控制流模式的语义对应关系,所支持的数据模式,以及为了方便模型转换对活动图actions元素的概念扩展,给出了动态行为建模方法,并给出了基于OCL的转换规则以及UML活动图元素到BPEL4WS元素的映射关系,最后通过订单管理案例对所述方法进行验证,为Web服务合成提供了新的思路。     

服务图在合成Web服务建模中的应用

根据了合成Web服务的相关背景及传统UML建模方法的局限性，提出了服务图建模方法并将其用于有效的合成Web服务，举例说明了服务图的概念，给出了一个会话驱动的Web服务合成过程。     

基于活动图的OWL-S过程模型的图形化建模及实现

用可扩展标记语言(XML)对Web服务合成的描述,存在着描述的复杂性高和不易于用户理解的问题。本文采用基于模型驱动框架(MDA)方法,利用UML活动图对OWL-S的过程模型进行图形化建模,实现了对Web服务合成的描述,并通过实例验证了该方法的可行性。     

模型驱动架构的语义组合Web服务的验证

针对语义Web服务的组合与验证问题,提出了基于模型驱动架构（MDA）的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法,选择可用的子Web服务确定最合适的组合Web服务,并将该组合UML模型转化为可验证的Promela语言,使用SPIN工具进行验证,通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率,保证了组合过程的正确性,还能利用模板与语义匹配度实时发现与选择可用的Web服务。     

基于MDA的Web服务动态组合的研究

针对目前Web服务动态组合方面出现的技术问题,给出了基于MDA的Web服务组合的方法,MDA具有将功能需求与具体实现技术分离的优势,因此可以有效地解决Web服务动态合成的可靠性、灵活性、复用性问题.在给出了结合MDA思想的服务合成体系框架的基础上,分析了UML类图与WSDL语言元模型、UML活动图与WS-BPEL语言元模型的对应关系以确定模型到代码的转换规则.最后以某制造企业的案例验证该技术的可行性.     

基于UML的学生选课系统的分析与设计

本文使用统一建模语言(UML),对学生选课系统进行分析与设计,分别给出系统静态模型图(用例图、概念模型图)和动态模型图(交互图)及设计类图。并简要介绍系统的设计思想和功能模块,整个过程贯穿了UML建模思想,体现了UML的建模机制。     

基于UML的Web商务平台的开发方法

统一建模语言UML是一种面向对象的软件开发方法,它融合了软件工程领域的新思想、新方法和新技术。本文用UML设计了一个Web商务平台,并用支持UML的建模工具--RationalRose Enterprise Edition实现了该Web商务平台。本文给出了Web商务平台的需求分析-用例图,Web商务平台的详细设计--序列图、活动图和类图,以及Web商务平台的实现--
组件图和布局图。UML作为标准建模语言,支持从系统需求分析开始的软件开发全过程,它使系统各开发团队能够较容易地沟通,从而增强了整个系统开发过程的可控性,加快了
系统的开发速度,提高了软件质量。     

UML在CRM系统中的建模应用研究

客户关系管理系统(CRM)是以客户为中心,利用信息技术,实现市场营销、销售、服务等活动自动化。为了建立可靠、可重用、可维护的CRM系统,应用UML技术对CRM系统建模。分析了UML建模的优点,探讨了UML建模技术,提出了利用UML技术实现对CRM系统的分析建模,使用用例图分析系统的功能需求,叙述了应用类图、顺序图、组件图、配置图设计系统的结构。应用UML的可视化建模,降低了系统的复杂性,提高了软件开发效率和质量。     

基于UML的光盘管理系统的设计与实现

本文分析了UML的建模机制,并以UML为工具进行光盘管理系统的建模,给出了设计过程中的用例图、类图、活动图及顺序图,并在Delphi环境下,开发出了光盘管理软件。     

一种Web服务模型的动态行为转换方法研究实现

随着业务流程的复杂性与日俱增,编排和协调Web服务的价值也日益被人们所认识。近年来,国内外一些研究机构和IT企业在关于模型驱动架构MDA在Web服务中的应用方面作了不同程度的研究,但仅仅集中于Web服务模型的静态结构转换。根据MDA的思想,在Web服务模型的转换中,使用动态行为的平台无关模型PIM来定义业务流程,并提供将PIM转换成平台相关模型PSM的方法。研究Web服务模型的动态行为转换,讲述用UML活动图定义业务流程,并提供一种如何从UML活动图转换成BPEL的方法。     

基于MDA的Web服务合成

随着已有Web服务数量的不断增加，如何利用这些现有的Web服务创建新的更复杂Web服务成为一项新的研究课题。特别地，利用MDA进行Web服务合成已经成为研究的热点。本文研究了基于MDA的Web服务合成问题，针对Web合成的动态行为建模部分，提出建立基于UML的平台无关Web服务动态行为模型的方法，并且给出了平台无关动态行为模型到Web服务合成语言BPEL、WSCI之间的转换方法。     

面向方面的MDA开发方法

MDA中提出了两种重要的模型:平台无关模型和平台相关模型.PIM是反映系统功能性需求的业务模型,PSM是PIM针对实现技术的映射.对于系统的非功能性需求,如安全性、性能、内存管理和通信等,MDA中未提出明确的模型.借鉴面向方面的编程(AOP)的思想,提出了一种基于UML Profile的"方面"建模表示法,用于在MDA中对系统的非功能性需求建立方面模型(AOM),并在MDA方法中增加模型编织(Weaver)环节,得到功能更为强大的基于方面的MDA开发方法.     

一种支持MDA的UML类图到RDB模型的转换方法

UML被MDA用来描述各种模型,成为建模语言事实上的标准。但是,由于UML类图中缺少对关系数据库的实现的约束,使得类图转换到的关系数据库模型不唯一,不能充分体现设计者对数据库的设计意图。这不利于MDA中PIM模型和关系PSM模型的双向转换。为解决以上问题,本文提出一种通过添加构造型和OCL约束来扩展UML类图的方法,以加强类图中数据之间的关系及约束,使PIM模型能够唯一地转换到PSM模型。最后,采用QVT模型转换方法将扩展后的UML类图转换到关系数据库模型,并结合例子给出了UML类图的关联、继承、组合和聚合关系等到关系数据库模型的转换规则和方法。利用本方法可以使UML类图到关系数据库模型的转换结果唯一。     

模型驱动的Web服务合成

随着已有Web服务数量的不断增加，如何利用现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题。该文提出了MDA模型转换驱动的合成Web服务开发方法，针对Web合成的静态建模部分，提出了建立Web服务静态结构平台无关和平台相关模型的方法，给出了二者之间的转换规则。     

基于关系模型的UML类图一致性检验

UML类图是UML建模语言的核心元素之一,类图模型的正确性和一致性对于保证需求分析的正确性至关重要。论文研究了UML类图模型的语义一致性问题,提出了一种自动检验类图一致性的方法。该方法以扩展的关系逻辑为语义基础,把一致性问题归结为关系逻辑公式的可满足性问题。实践表明,该方法能够有效的检查UML类图模型的一致性,发现需求分析中的错误和漏洞,在一定程度上保证了类图模型的正确性。     

基于MDA的Web服务组合的研究及应用

随着已有Web服务数量的不断增加,如何利用这些现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题。特别地,利用MDA进行Web服务合成已经成为研究的热点。提出了一种基于模型驱动架构的Web服务组合方法,将模型驱动软件开发方法学应用到Web服务组合中。针对WSDL语言给出了一个UML Profile for WSDL来建立与WSDL平台相关的静态结构模型,并给出了与WSDL平台相关的静态结构模型和WSDL语言之间的模型转化规则。并通过一个旅行代理服务的实例说明了方法的应用情况,验证了方法的可行性。