UML类图模型到RDF(S)的映射方法的研究

在语义Web中,资源描述框架(RDF)用于实现Web上信息资源的语义描述,为本体层提供了表示语义信息的基础,统一建模语言UML作为面向对象的标准建模语言,研究从UML类图中提取领域知识将其转换为RDF(S),有利于克服直接在知识领域构建本体对专家知识的要求过高,减少领域专家的参与,便于本体的自动构建,有利于提高本体构建的质量和效率,对语义Web的开发实现有重要意义。在此通过对RDF(S)和UML类图模型比较分析,提出了由UML类图模型到RDF(S)的映射规则及算法。主要研究UML类图模型向RDF(S)映射的方法,将现有数据领域模型UML中的信息转换为RDF(S),实现RDF(S)本体的自动构建,提高本体构建的效率。     

基于Object-Z的带OCL约束的UML类图形式化描述

UML2．0OCL是基于一阶谓词逻辑和集合论的形式化语言,用它对UML类图进行条件约束后,类图便具备了严格的语法和精确的语义,同时也具备了演绎验证的基本条件．但由于目前的建模工具还无法对缺乏精确语义的UML类图进行有效的演绎验证,因此提出了将带OCL约束的UML类图通过Object—Z进行形式化描述的方法,这样便可以充分利用Object—Z强大的演绎验证能力来验证UML类图的正确性和是否具有某种性质等。     

改进的UML活动图在建模中的研究与实现

在分析工作流建模系统的基础上,介绍了UML语言的发展和优势以及存在的不足,提出了一种基于改进的UML活动图的工作流建模方法。通过一个具体的半导体制造企业工作中的封装测试的流程建模实例,描述了建模过程;根据角色对任务进行分配,对模型的执行做了分析。结果表明,运用改进后的UML活动图进行工作流建模,成功地改善了一些传统工作流建模过程的缺点,能比较完整、准确地描述工作流建模过程,加速了开发进程。     

基于UML活动图的动态工作流过程建模的研究

在形式语义的支持下,提出了一种适合动态工作流过程建模的方法.该方法在扩展UML活动图的基础上给出了一种建模机制,利用扩展的UML活动图来对动态工作流的过程进行建模.最后,将该方法用于一个汽车企业产品研发的过程建模实例,且建模结果证明该方法是适合的.说明了基于扩展的UML活动图的工作流过程建模方法对动态工作流过程建模的有效性.     

UML在客户订单管理系统建模中的应用

统一建模语言(UML)是一种通用的用于软件开发过程的标记法和语义语言,可用于对软件系统进行描述和构造软件的系统结构。介绍了UML的基本概念,总结和分析了UML在客户订单管理系统中建模的过程与方法,对面向对象的软件开发项目有一定的指导作用。     

统一建模语言UML分层抽象建模机制

在总结传统软件开发方法经验的基础上,严格遵守软件开发方法原则,从UML建模思想出发,对传统UML三层抽象建模结构进行了分析,并引入"抽象"和"分解"作为UML建模的核心思想;提出了UML分层抽象建模机制的构想,将计算机系统开发过程概括为对功能信元、结构信元、关联信元、实现信元和集成信元的提取过程,并以此作为UML建模的指导。有效了利用UML完整语义定义,克服了传统面向对象开发方法的缺陷,实现了建模过程从需求到分析的过渡以及功能和实现事实上的分离。     

基于Web服务的多式联运流程

论述了Web服务下的多式联运的流程和信息整合,对其业务流程进行了分析,用BPEL4WS(Business Process Execution Language for Web Service)语言进行了Web服务下的多式联运流程建模描述。     

UML的Web应用扩展及在.NET开发中的应用

通过UML的Web应用扩展机制,实现对Web应用中各种对象的建模。探讨.NET框架下Web应用的UML建模及开发方法,并将其应用到一个实际的某市税收管理员工作系统中。实际应用表明该方法有利于降低开发的复杂性,缩短开发周期,取得了较好的效果。     

语义Web服务建模框架比较分析

传统的Web服务技术由于缺乏机器可理解的语义而限制了Web服务的自动化,文中从语义层面对Web服务的能力和属性进行描述,将Web服务机制和语义Web技术相结合,为服务用户提供本体描述方法.以教学资源本体为例,建立排课规则,将推理系统模型应用于排课系统,验证了服务语义的建模框架,从行为、体系结构和服务本体的角度比较分析了OWL-S、IRS、WSMO主流语义Web服务建模框架的异同.