Ontology mapping approach based on set ＆ relation theory and OCL

An ontology mapping approach based on set & relation theory and OCL is introduced,then an ontology mapping meta-model is established which is composed of ontology related elements,mapping related elements and definition rule related elements.This ontology mapping meta-model can be regarded as a unified mechanism to realize different kinds of ontology mappings.The powerful computation capability of set and relation theory and the flexible expressive capability of OCL can be used in the computation of ontology mapping meta-model to realize the unified mapping among different ontology models.Based on the mapping meta-model,a general mapping management framework is developed to provide a common mapping storage mechanism,some mapping APIs and mapping rule APIs.     

业务过程建模及其形式化验证

针对业务过程建模复杂、模型一致性难以保证的问题,提出一种求精式业务过程建模及其形式化验证方法.结合语义本体技术、基于统一建模语言(UML)的扩展机制,实现对业务过程中的不同关注点进行多视角地可视化建模.业务过程建模是一个“整体抽象过程→声明式过程→命令式过程”多阶段的求精过程.引入环境本体的概念,以软件交互对环境状态的影响来描述软件行为和能力,并在此基础上给出了模型相关定义及其形式化语义.结合一个简化的产品交易系统实例详细论述如何采用声明式形式化语言Alloy进行业务过程模型定义和模型求精的形式化验证.实例表明,采用分阶段求精式业务过程建模方法,并围绕模型语义通过Alloy语言进行形式化验证,可以有效地提升建模过程的灵活性和保证模型规范的一致性.     

Enterprise modeling method of calculation-independent model level

Aimed at deficiencies in the development and implementation of Enterprise Service Architecture (ESA) software,an ESA software developing mode based on Model Driven Architecture (MDA) is put forward.This mode includes a calculation-independent model (CIM),a platform-independent model (PIM),a platform-specific model (PSM) and a code level.Based on this mode,the modeling architecture of CIM level is presented.CIM here includes a global model,a process model,an information model and an organization model.The modeling elements of global model,process meta-model,information meta-model and organization meta-model are defined in detail and the relationship between them is described.The reflecting relationship between these models is established as well.     

基于本体的需求模型到UML模型转换方法

基于本体的需求建模能够保证需求描述的正确性和完整性,但最终得到的应用模型描述是基于应用本体的,不易于普通软件设计人员理解,无法直接成为设计时所需的需求规格说明文档.而UML语言已成为面向对象建模的实际标准.因此,将本体概念引入UML模型中,通过定义UML模型中的元本体,构建基于本体的需求模型到UML元模型的映射规则,在此基础上,设计并实现一种基于规则的图元自动转换工具,实现基于本体的需求模型到UML元模型的转换,为后期软件设计提供需求基础.     

基于OWL本体的关系数据库语义映射方法的研究

网络环境下不同关系数据库之间普遍存在着语义冲突,为实现系统互访,需要进行语义映射．针对目前关系数据库语义映射方法的不足,提出基于0WL本体的关系数据库语义映射方法,定义了从关系数据库到OWL本体的映射规则,描述了本体环境下语义冲突的检测算法,并针对几种常见的语义冲突给出了相应的解决方法．将关系数据库转换成OWL本体后,增强了关系数据库之间语义互操作的能力,实现了语义层次上的信息共享和交换,可以较好地解决关系数据库的语义映射问题．     

Configurable ontology mapping based on multi-feature

A configurable ontology mapping approach based on different kinds of concept feature information is introduced in this paper. In this approach, ontology concept feature information is classified as five kinds, which respectively corresponds to five kinds of concept similarity computation methods. Many existing ontology mapping approaches have adopted the multi-feature reasoning, whereas not all feature information can be computed in the real ontology mapping and only fractional feature information needs to be selected in the mapping computation. Consequently a configurable ontology mapping model is introduced, which is composed of CMT model, SMT model and related transformation model. Through the configurable model, users can conveniently select the most suitable features and configure the suitable weights. Simultaneously, a related 3-step ontology mapping approach is also introduced. Associated with the traditional name and instance learner-based ontology mapping approach, this approach is evaluated by an ontology mapping application example.     

基于角色的层次受限委托模型

角色委托是RBAC模型需要支持的一种重要安全策略。基于构件化的思想,在基于角色访问控制模型基础上,提出了一个受限的层次角色委托模型,该模型分别在时间约束、部分委托约束、角色依赖约束、角色冲突等方面对委托进行了限制。给出了委托授权时的冲突检测算法与用户所拥有权限的计算算法及该模型的一个应用实例。     

基于情景约束的工作流柔性访问控制模型

针对现有的访问控制模型在工作流系统中,基于情景的动态授权和灵活的任务相关授权等问题,提出一个应用于工作流系统的基于情景约束的柔性访问控制模型.模型定义了基于情景约束的角色指派策略和角色授权策略,分析了策略间的关系,对策略间可能存在的冲突进行了分类,给出策略冲突的静态和动态检测规则,并提出优先级规则和冲突消解策略的概念,安全管理员可以根据系统需求灵活地确定冲突消解的方式;模型还给出基于最小角色指派策略集和最小角色授权策略集的角色分配与授权决策算法,实现了工作流系统中基于情景的动态授权,并支持用户-角色和角色-权限的自动指派.     

基于本体的产品知识集成

针对产品生命周期中知识表达和集成的需求,提出一种基于中间层的产品知识集成框架,采用本体技术,具有显式定义语义、统一表达和动态集成产品知识的能力.元本体层定义了本体关系原语,提供通用的本体描述方法;本体层扩展元本体为共享本体、领域本体、过程本体和应用本体,支持本体的协作定义和集成映射;知识层提供了相应的逻辑结构,支持对知识实例的结构化、标准化管理,并给出使用Web本体语言（OWL）形式化表达的方法.以汽车减振器为实例说明该方法能有效提高产品数据管理（PDM）系统对知识集成的能力.     

模型驱动的3G业务生成方法

分析了现有第3代移动通信(3G)业务生成方法的缺陷,采用模型驱动架构（MDA）的视点分离思路,提出了1种模型驱动的3G业务自动化生成方法,重点研究了针对电信领域的业务需求分析方法和电信业务相关的领域元模型的构建思路. 该方法提供的是1种“业务功能模型与具体接口技术,实现技术分离、领域模型共享”的新的电信业务开发模式,从而提升了3G业务开发的抽象层次,降低了技术难度,缩短了业务的开发周期;同时增强了业务功能模型在不同接口技术和实现平台之间的可移植性,降低了业务的开发和维护费用.     

基于PSL的制造过程信息描述方法研究

为解决企业制造过程信息的描述和交互问题,提出了一种基于可扩展标记语言（XML）的过程描述元模型。在该模型中,定义了基于过程描述语言（PSL）本体的语义映射规则及映射的具体过程,对过程描述语言本体进行了语义分析,实现了对过程信息的语义层次描述;借助可扩展标记语言的语法结构,建立基于可扩展标记语言的过程描述语言核心元素的描述规则．并作为过程信息语法层次描述的统一标准,实现过程信息在语法层次的信息转换。最后,通过具体的可选工艺信息描述实例,验证了该模型及实现方法的有效性和可行性。     

一种用UML对软件产品线建模的方法

采用UML Profile扩展机制实现了产品线的差异建模,并用UML的OCL约束在元模型层和模型层的模型实现了产品线的通用约束和特定产品线的特定约束,最后给出了从产品线模型生成产品库的算法。     

Genetic algorithm-based evaluation of spatial straightness error

~~Genetic algorithm-based evaluation of spatial straightness error@崔长彩$Dept. of Automation Measurement and Control,Harbin Institute of Technology!Harbin 150001,China @车仁生$Dept. of Automation Measurement and Control,Harbin Institute of Technology!Harbin 150001,China @黄庆成$Dept. of Automation Measurement and Control,Harbin Institute of Technology!Harbin 150001,China @叶东$Dept. of Automation Measurement and Control,Harbin Institute of Technology!Harbin 150001,Chi…     

面向全生命周期复杂产品数据建模技术研究

针对复杂产品数据模型必须覆盖生命周期各个阶段、方便协同以及安全性等特点,提出采用元模型技术对其生命周期内的各种异构数据进行描述,建立面向全生命周期复杂产品数据模型.在基于元模型的产品数据概念模型的基础上,对描述复杂产品数据模型的业务元模型和数据元模型以及各种对象链进行了详尽的解释,并给出了实例.基于元模型建模技术建立的面向全生命周期复杂产品数据模型,能够将复杂产品整个产品族生命周期内的所有数据在逻辑上成为一个整体,为其全生命周期内各阶段和各个部门提供很好的服务.     

Intuitionistic fuzzy optimization

0　ＩＮＴＲＯＤＵＣＴＩＯＮＡｔｐｒｅｓｅｎｔ,ｔｈｅｄｅｔｅｒｍｉｎｉｓｔｉｃｏｐｔｉｍｉｚａｔｉｏｎｔｈｅｏｒｙｈａｓａｄｖａｎｃｅｄｃｏｎｓｉｄｅｒａｂｌｙｄｕｒｉｎｇｔｈｅｌａｓｔｔｈｒｅｅｄｅｃａｄｅｓ,ｂｕｔｉｔｓｐｏｔｅｎｔｉａｌｈａｓｎｏｔｂｅｅｎｔｈｏｒｏｕｇｈｌｙｂｒｏｕｇｈｔｉｎｔｏｐｌａｙｉｎｅｎｇｉｎｅｅｒｉｎｇｐｒａｃｔｉｃｅ.Ｔｈｅｍｏｓｔｉｍｐｏｒｔａｎｔｒｅａｓｏｎｉｓｔｈａｔｉｔｉｓｄｉｆｆｉｃｕｌｔｔｏｐｒｅｃｉｓｅｌｙｄｅｆｉｎｅａｎｏｐｔｉｍｉｚａｔｉｏｎｐ…     

基于分层递增验证的可信管理软件构造方法

为了保证管理软件在整个生命周期内都具有可信性,在ICEMDA架构基础上融入可信性理论与方 法,提出了一种可信管理软件的模型驱动构造参考方法．通过分析国内外的研究现状,明确界定了管理软件 可信性概念,给出可信性判定问题描述．结果表明该方法以ICEMDA各层次上的构造体为中心,逐层进行可 信模型描述、可信指标度量、可信性判定与优化,借助ICEMDA的模型语义保持技术实现各层间可信性的保 持与传递,并以业务构件PSM模型的可信性判定为例简要介绍了该体系的具体实施机制     

一种基于本体的并行网络流量分类方法

海量网络流量数据的处理与单一节点的计算能力瓶颈这一矛盾导致数据分类效率低,无法满足现实需求。为解决这一问题,结合本体与MapReduce技术各自在海量异构数据描述与处理方面的优势,提出一种基于本体的并行网络流量分类方法。该方法基于MapReduce并行计算架构,根据网络流量本体结构,对网络流量本体并行化构建;通过并行知识推理完成基于流量统计特征的网络流量分类。实验结果表明,集群环境下基于MapReduce的网络流量本体构建效率明显高于单机环境,而且适当增加计算节点使得加速比线性提升;并行知识推理的分类方法能够有效地提高大规模网络流量的分类效率。