语义网中基于OWL DL的本体模型研究

本文探讨了语义Web中本体Ontology模型的设计.通过研究RDF和RDFS,以及语义Web对信息语义的组织方式,阐述了基于OWL DL在语义Web中建立本体模型的方法.在此基础上,探讨了本体语义模型的结构并搭建了本体语义模型的框架.     

一种基于O-RGPS领域建模框架的按需模型选择方法

在O-RGPS(Ontology annotated Domain Role/Goal/Process/Service Model Repository)领域建模框架的指导下.提出了一种支持按需模型选择的方法.该方法利用领域本体和领域模型之间的基于本体标注的语义关联,在语素相似度计算和目标相似度计算的基础上,提出了期望目标需求自动建模算法,达到按需模型选择的目的,通过一个城市交通领域实例验证了此方法的有效性.     

Web服务注册管理模型中的语义互操作性研究

针对目前不同Web服务注册管理标准之间(如UDDI,ebXML等)无法进行互操作的问题,运用元模型互操作框架(metamodel framework for interoperability,MFI)和本体技术,建立了一种支持语义瓦操作的Web服务注册管理模型的体系架构,运用MFI中的本体演化规则保证了本体在演化前后的一致性,从而保证基于本体的不同 Web服务注册库的互操作性.构建了一个基于MFI的Web服务注册管理模型的原型系统,实验结果表明该原型系统的Web服务查全率比单一Web服务模型高.     

一种新的面向事实的快速建模方法

针对UML进行快速原型开发的不便，提出了面向事实快速建模的思想。首先，探讨了面向对象技术以及标准建模语言UML的特点；然后，提出面向事实快速建模的思想并进行了研究，最后用实例进行了验证。     

Mediator模式下基于语义映射的多本体融合机制研究

针对现有本体融合机制的不足，提出了一种基于Mediator模式的多本体融合机制．首先定义了基于语义相似性的语义映射概念，然后探讨了基于复杂映射的多本体融合机制，并详细介绍了多本体融合的步骤和算法，最后介绍了这种机制在OBSA信息集成系统中的实现．     

引入领域本体的代码语义标注方法

每个程序元素都在一定程度上刻画了特定领域的高层概念。通过将程序与特定领域本体所表述的知识进行映射,可以将本体概念附加到相应的代码片段上,从而丰富代码的语义信息,为软件维护中的程序理解和逆向工程等活动提供支持。提出了一种基于领域本体的代码语义标注方法,并基于一个开源软件项目对方法的有效性进行了初步的评价。     

基于UML的线切割数控系统可视化建模

线切割数控系统作为数控系统中的一个重要分支正不断发展.而建立完善的开发模型,有利于提升整个线切割数控系统的开发效率与质量.本文运用统一建模语言UML,借助其多视图表达方式,通过实例论述UML可视化建模方法在线切割数控系统开发过程中的具体应用.     

虚拟企业业务流程的建模方法研究

为设计分析虚拟企业生产运作系统, 针对虚拟企业业务流程的特点, 应用UML、Petri网和面向对象技术, 提出了虚拟企业业务流程的建模方法. 该方法分全局业务流程和子业务流程两个层面, 全局业务流程采用UML序列图和Petri网建模, 表示虚拟企业各成员之间的交互接口关系; 子业务流程采用面向对象的Petri网建模, 实现成员企业内部流程的表达、封装和相互之间的业务连接. 仿真验证表明, 所建模型满足合理性要求.     

一种可扩展的数字权限表达语言的形式化建模及分析

为更清晰、精确表达DRM(digital right management)中权限这一关键问题,本文提出了一种可扩展的数字权限表达语言(EDREL:Extended Digital Right Expression Language)模型,并利用形式化方法(OTS/CafeOBJ建模方法),对该模型进行了形式化的建模与许可证性质分析.与现有研究相比,本文提出的模型及方法,在解决权限的准确、无二义性表达的同时,还加入了对授权方和被授权方发生权限纠纷时执行轨迹的判断与回溯的考虑以及权限的二次发布的描述,能更好地满足DRM系统中全面和精确地描述各种权限的需求.     

UML时序图向PNML转换的研究与实现

对已有行为模型向Petri网的转换机制进行对比分析,提出改进的UML2时序图到Petri网的转换规则,实现了时序图向Petri网标记语言转换的工具.实验结果表明,本文提出的工具能有效地将时序图转化为Petri网模型并生成相应PNML文件,进而更好地对UML模型进行分析和验证.     

面向对象建模语言AML的设计与实现

ＡＭＬ语言吸取了Ａｄａ９５ 基本原理和思想，引进它的基本数据类型、语句等设施，对其作更高层次的抽象和扩充．用３ 种有相同名字不同类型的程序包从不同的侧面描述给定模块的模型，提高了系统的完整性和一致性；同时运用二级并发模型和限制设施，详述了系统的并发性和不确定性的描述问题．     

UML建模与动态模拟:案例研究

为检查模型之间的一致性和模型的完备性, 本文根据ＵＭＬ１．１ 规范,通过在可视化建模工具Ｒｏｓｅ９８上开发的一个铁路模型的实例详细描述了对于软件系统如何从多个视点建立一个规范、实用的模型;并提出了一种基于ＵＭＬ模型的动态模拟方法,给出了动态模拟工具设计方案, 这种方法充分结合了当前的用户界面、动画技术和ＵＭＬ语言的半形式化语义特点．     

基于Eclipse平台的本体图形编辑器的设计与实现

文章通过对Eclipse平台和GEF框架的介绍,分析了Eclipse平台在图形编辑方面的优越性.结合本体编辑,设计并实现了基于Eclipse平台下的本体编辑器,对编辑器的系统结构做了详细地分析.编辑器由模型、视图、控制以及文件四大部分组成,由于采用基于MVC模式的GEF框架,使得软件结构清晰,明显缩短了软件的开发周期,提高了软件的可维护性和代码的重用性.     

面向物流领域的本体构建研究

为适应第四方物流对相关信息资源整合的需要,实现物流知识的重享和共用,以物流领域的相关知识研究为基础,提出了采用斯坦福大学的七步法来构建出物流信息本体.该物流本体能有效解决物流信息异构问题,促进第四方物流的发展.     

面向对象建模语言AML的代数语义

ＡＭＬ语言是一种基于Ａｄａ的通用面向对象建模语言,其兼具形式化语言和面向对象图形语言的特点,并克服了现有建模语言在并发模型和不确定性描述等方面的不足。本文利用代数语义技术,着重讨论ＡＭＬ语言中与Ａｄａ９５ 中有明显不同的成份的语义,即类程序包、结构程序包的代数语义．