基于本体的元需求模型与元需求集研究*

针对大型信息系统需求的复杂性,从需求的元级概念出发,提出了元需求概念,分析定义了元需求的构成要素、要素间关系及特征;用模型的方法来表示元需求,构建元需求模型,并形式化地表示模型。引进本体概念,将元需求模型看做是一个本体,用本体网络语言表示元需求模型;借鉴本体构建方法,基于Protégé工具构建了元需求集。元需求模型及元需求集实现了需求获取与分析,为基于元需求的需求获取及分析提供基础。     

基于结构相似性的需求资源本体匹配方法

为解决国防动员指挥流程中需求、潜力等信息资源描述不一致、匹配不高效问题,在构建具有相似结构的需求和资源本体的基础上,提出基于结构相似性的需求资源本体匹配方法。该方法首先利用需求和资源本体清晰且相似的概念层次结构,对其进行基于本体树的概念类映射,减少概念对的搜索空间,提高了匹配速度;然后对映射类的实例集采取属性约束的方法进行精确匹配,确保了匹配质量。最后以某部国防动员指挥所中的交通运输业务为例,验证了该方法的可行性和有效性。     

面向服务的网络化软件需求语义互操作展开的连接本体

面向服务计算的网络化软件需求的交互与行为协作实质上是一个受约束的语义互操作性问题,其研究重点在于自组织过程及其群体行为涌现中的需求语义互操作性的约束、展开、聚类以满足涉众用户需求.针对上述问题,本文提出一个基于连接本体的网络化软件需求语义互操作展开方法.文中研究了面向本体的需求工程,实现了基于领域本体和需求资产重用的需求获取技术,同时面向网络化软件需求语义的互操作聚类,运用连接本体解决网络松散耦合、异域、异构下服务资源聚合的需求建模,给出了连接本体的形式化定义和连接本体生成算法,设计了基于连接本体的需求语义互操作展开自动化集成环境,探讨了国际上的相关前沿工作,为面向服务的网络化软件需求工程开辟了一条新的研究思路.     

基于关系数据库存储OWL本体的方法研究

在研究OWL本体的存储模式和现有的基于关系数据库本体存储模式的基础上,本文提出了一种新的基于关系数据库存储OWL本体的方法。该方法根据OWL的构词特征,设计关系表来保存本体中资源之间的关系,描述了特征和约束、刻画了本体的层次和等价等关系,很好地存储了本体的语义信息。它适用于存储大规模的本体,同时大大提高了检索、查询、映射的效率。     

OWL本体关系数据库构建方法

随着本体种类和资源的增加,本体的结构越来越复杂,为了合理地存储各种结构类型的本体、支持高效的本体查询,本文提出了一种基于关系数据库的OWL本体存储方法。该方法通过细致考虑OWL的基本元素,采用与传统的本体分解存储模式不同的构词分类方法,将OWL本体中的类、属性、实例、属性特征和属性约束分别存储在一张二维表中,从而解决了资源与属性值之间的复杂关系问题,并保证了OWL本体存储到关系数据库后语义信息的完整性。最后,利用关系数据库管理系统高效的检索和匹配速度以及SQL语言的高度非过程化,将检索和匹配OWL本体转换成检索关系数据库,弥补了OWL本体数据查询效率低的不足之处。     

读者浏览空间的本体模型

随着网络技术的发展,电子教程应运而生,然而目前的电子教程没有满足读者个性化浏览的要求。文章提出面向读者信息需求的浏览空间眼1演的读者信息需求本体模型,让读者的需求信息更好地让机器可理解,设想解决目前的电子教程对不同的读者提供相同的知识的问题。同时,文章给出该浏览空间的本体模型,满足读者个性化浏览的要求。     

MC与广义需求集成中的需求信息元方法研究

针对大规模定制生产模式的特点阐述了需求信息建模的策略，面向大规模定制领域提出了适合广义需求信息描述的需求信息元方法，通过定义需求本体提高了需求信息表达的规范性和可重用性，结合项目实施案例论述了在Web应用体系下需求信息元的实现技术．     

中文本体构建及可视化研究

本体是解决语义层次上web信息共享和交换的基础,随着本体研究的发展,中文本体应用需求不断扩大。对于本体工程的第一步——本体构建,现已出现很多本体构建工具,如：Protege-2000、WebODE、OilEd、OntoEdit以及KAON等。然而,却缺乏一款功能完整的中文本体构建工具。文中对现有本体构建工具进行了比较分析,并对Protege的中文本体构建能力进行评估,深入探讨了其构建中文本体过程中遇到的可视化问题,提出了可行性解决方案。全面讨论了中文本体构建工具现存的问题,指出了未来的研究方向。     

中文本体构建及可视化研究

本体是解决语义层次上web信息共享和交换的基础,随着本体研究的发展,中文本体应用需求不断扩大。对于本体工程的第一步——本体构建,现已出现很多本体构建工具,如：Protege-2000、WebODE、OilEd、OntoEdit以及KAON等。然而,却缺乏一款功能完整的中文本体构建工具。文中对现有本体构建工具进行了比较分析,并对Protege的中文本体构建能力进行评估,深入探讨了其构建中文本体过程中遇到的可视化问题,提出了可行性解决方案。全面讨论了中文本体构建工具现存的问题,指出了未来的研究方向。     

一种基于结构相似的本体匹配方法

本体匹配对于本体映射与集成、本体的检索和重用、信息集成、语义Web服务的匹配以及基于本体的软件需求工程等是不可缺少的重要环’节。针对领域中存在不同的本体的问题,讨论了一种基于分型、迭代的结构匹配方法,并通过实验检验了该方法的有效性。     

基于信息检索和本体的动态需求追踪方法

在对现有追踪方法的研究和分析的基础上,提出了一个新的基于信息检索和本体的动态需求追踪模型,由概率相似度计算公式和本体推理相互补充来建立需求追踪关系。通过对模型实现系统的验证,实验结果表明该模型是有效的,并且与常规概率模型相比,需求追踪的精度和效率都得到了一定的提高。     

航电系统软件需求知识本体构建及评价

针对航电(AE)系统软件密集化程度增加及其软件需求工程中存在的二义性和不完备性等问题,构建 AE 系统软件需求知识本体及其知识框架,在此基础上建立 AE 系统泛化本体,将研究领域限定为飞控(FC)系统,构建飞控系统领域本体。对FC系统领域本体进行评价,结果显示,按照最大隶属度原则,该FC系统领域本体的质量等级为中,需要对其开发技术质量和结构显示质量等方面进行改进。     

语义集成中的不确定性本体映射模型

语义Web的高速发展使其具有动态性和异构性特征,解决语义信息的异构性问题成为实现信息集成的关键。本体作为一种语义Web的知识表示形式,增强了Web的语义信息。因此,为了解决语义异构性,实现数据间的互操作,必须建立异构本体间的映射关系。然而,为庞大的异构本体建立完全精确的本体映射是不现实的,本体映射中存在一定的不确定性。提出了一种新型的本体映射框架——语义集成中的不确定性本体映射。从不同方面研究本体特征,集合了多种映射策略,并引入了各映射策略中不确定性匹配的解决方案。实验证明,该方法具有可靠的实验性能,并且具有很好的通用性和可扩展性。     

基于本体的业务管理框架

在分析当前业务管理框架的基础上,提出基于本体的业务管理框架。在该框架中,采用本体为业务特征建模,采用本体活动为业务过程建模,生成本体业务模型,然后基于该业务模型实施本体推理,自动获取业务采集数据项,用于业务数据采集,并采用Petri网设计业务性能分析模型,用于自动业务性能分析。基于本体的业务管理框架能够有效地建模影响业务性能的因素,实施有效的业务数据采集,并能够自动完成业务性能分析,发现业务性能瓶颈,还能够根据业务分性能分析结果实施业务配置,提高业务性能。     

New methods of creating MBD process model: On the basis of machining knowledge

Traditional machining process planning, which passes manufacturing information through 2D drawing, fails to meet the requirement of current 3D manufacturing environment. Thus, model based definition technology, which uses 3D technology to upgrade the current manufacturing capacity, comes into being. This paper focuses on the creation methods of 3D machining process model. In the first place, the relation between machining knowledge and 3D modeling knowledge has been analyzed, establishing machining ontology and modeling ontology. Then, forward creation method and reversed creation method of machining-knowledge-based 3D process model are proposed. In forward creation method, to drive 3D modeling with machining knowledge, process model is created in commercial CAD platform with modeling ontology transferred from machining ontology for knowledge reasoning through the decision tree constructed from training set and test set. Reversed creation method is established by identifying and suppressing the volumetric machining features and surface machining features after building attributed adjacent graph of process model, and the machining knowledge contained in 3D process model is extracted for subsequent reuse. Finally, the validity of this method is verified with the proposed prototype system.     

Towards an Ontological Approach to Information System Security and Safety Requirement Modeling and Reuse

ABSTRACT

Misuse cases are currently used to identify safety and security threats and subsequently capture safety and security requirements. There is limited consensus to the precise meaning of the basic terminology used for use/misuse case concepts. This paper delves into the use of ontology for the formal representation of the use-misuse case domain knowledge for eliciting safety and security requirements. We classify misuse cases into different category to reflect different type of misusers. This will allow participants during the requirement engineering stage to have a common understanding of the problem domain. We enhanced the misuse case domain to include abusive misuse case and vulnerable use case in order to boost the elicitation of safety requirements. The proposed ontological approach will allow developer to share and reuse the knowledge represented in the ontology thereby avoiding ambiguity and inconsistency in capturing safety and security requirements. OWL protégé 3.3.1 editor was used for the ontology coding. An illustration of the use of the ontology is given with examples from the health care information system.     

语义Web本体及本体库系统设计技术

当前的Web页面使用格式化表示语言描述信息,由于其以自然语言形式描述信息,因而不利于机器理解,为此而出现了语义Web这一研究领域,旨在实现Web的机器理解。文中介绍了语义Web的结构,然后对语义Web模型中的本体模型作了深入的讨论,包括本体的概念、构建本体的原因以及一个本体库系统所应具有的功能,并给出了有关功能结构图,最后讨论了未来的研究方向。     

支持服务组合的需求模型及其可满足性判定

服务组合一般是根据用户需求来查找匹配的服务并对其进行组合,但用户需求往往是基于自然语.言的,很难用于服务的自动组合.提出了一种基于环境本体的组合服务需求模型,该模型以环境实体上的意图为基础,将关联意图集定义为任务.引入Petri网作为任务间的控制逻辑关系,并给出了一种判定需求可满足性的方法.最后选择旅行安排作为具体案例...