本体在概念建模中的应用研究

概念建模是指创建概念模型的行为,这些模型用来描述问题,与具体用于解决问题的技术和策略独立无关.在过去数十年中,大量概念建模方法和工具纷纷涌现,许多理论如本体论、语言学和认知学的引入,增强了概念建模的理论基础,基于本体的概念建模研究得到了充分重视.探讨了基于本体的概念建模理论、概念建模语言中本体的作用、上层本体与领域本体的关系;对基于本体的概念模型以及本体语言及其逻辑基础在概念模型的一致性检测的应用进行了研究.     

基于OMCM的仿真系统概念建模方法

针对仿真系统概念模型开发中存在的模型重用性不高和缺乏管理等问题,提出了元概念模型(Meta Concep-tual Model,MCM)的概念,以实现更高层次上的概念模型抽象。将本体思想引入MCM的设计中,提出了基于本体的元概念模型(Ontology-based MCM,OMCM)概念,并给出了OMCM的层次结构和建模方法。通过将OMCM和概念模型进行映射,实现了基于OMCM的概念模型建模。最后,将该方法应用于装备保障仿真系统概念模型的建模中,起到了很好的效果。     

Conceptual Modeling Method of Simulation System Based on OMCM

针对仿真系统概念模型开发中存在的模型重用性不高和缺乏管理等问题,提出了元概念模型(Meta Conceptual Model,MCM)的概念,以实现更高层次上的概念模型抽象.将本体思想引入MCM的设计中,提出了基于本体的元概念模型(Ontology-based MCM,OMCM)概念,并给出了OMCM的层次结构和建模方法.通过将OMCM和概念模型进行映射,实现了基于OMCM的概念模型建模.最后,将该方法应用于装备保障仿真系统概念模型的建模中,起到了很好的效果.     

分布式多媒体信息系统概念建模方法研究

概念建模是提高需求分析质量的重要技术。针对分布式多媒体信息系统概念建模面临的系统的异构性、海量数据和格式的差异性、时空的不一致性问题,本文介绍了信息系统常见概念建模方法,包括结构化概念建模、面向对象概念建模和本体概念建模,在此基础上,采用基于UML的面向对象概念建模法对分布式多媒体网络教学系统概念模型进行描述和表达,并建立了UML类图到本体模型的转换。     

本体的研究现状及其应用

本体作为一种在语义和知识层次上描述信息系统的概念模型建模工具,已在信息系统的许多领域得到广泛的应用。本文从本体的概念分类、本体在信息检索中的应用、基于XML或RDF的本体描述以及本体在语义Web中的应用等方面进行了系统阐述。     

基于系统六元本体的装备保障概念模型磁

针对当前概念模型中存在的问题,运用系统六元本体建模方法构建概念模型的技术框架。运用本体建模技术,从系统环境、系统组元、系统结构、系统状态、系统运行和系统功能六个方面构建系统完备的、规范的概念模型。在此基础上,运用基于系统六元本体的概念建模方法构建装备保障概念模型。结果表明,构建的装备保障概念模型更接近于自然语言表述,有一定的实用及理论研究价值。     

一种基于约束格维护概念模型一致性的方法

针对以形式概念分析理论为基础的概念建模过程中知识表示存在差距的问题,提出一种整合专家知识到概念格结构中的形式化模型.首先,将一组属性依赖与概念格提供的一系列蕴涵对齐,对原始格进行修订,然后,通过使用外延投影建立约束格来提供变化轨迹,并在此基础上,提出基于形式概念分析约束格理论弥补这一差距的建模方法,以维护概念模型的一致性.该方法不仅提供了领域专家修订概念模型的途径,还保留了原始格和最终约束格之间的变化轨迹.通过这些变化,专家可以访问实践中的概念如何与数据自动发布的概念相关联.最后,结合示例对基于约束格维护概念模型一致性方法的有效性进行了验证.     

基于本体的战场环境仿真概念模型

为了能够更加全面而明确地表示战场环境仿真概念模型,考虑到本体可以明确地表示概念和关系的特点,提出了使用本体来表示战场环境仿真的概念模型。在战场环境仿真概念模型研究的基础上,给出了战场环境仿真的主要实体和交互关系,提出使用OWL(Web Ontology Language)语言实现战场环境仿真概念模型的本体表示,并针对现有本体建模元语的不足,提出了使用8种本体建模元语建立战场环境仿真概念模型的本体。     

基于本体的仿真系统元概念模型研究*

在仿真系统的概念模型开发过程中存在着模型重用性不高和缺乏管理等问题,这些问题将影响模型开发效率和仿真系统的可靠性.为解决以上问题,提出了元概念模型(MCM)的概念,以实现在更高层次对概念模型进行抽象.将本体思想引入MCM的设计中,提出了基于本体的元概念模型(OMCM)建模方法,并给出了OMCM的层次结构和建模方法.最后,将该方法应用于装备保障仿真系统元概念模型的建模中,得到了较好的验证.     

基于本体的知识库模型研究

本体作为一种能在语义和知识层次上描述信息系统的概念模型建模工具,近年来在计算机的许多领域得到了广泛的应用。其中,基于本体的知识构建是一个复杂的系统工程。就目前的研究状况来说,主要是解决如何构建知识模型的问题。本文运用本体知识模型相关的理论,在分析了本体论、知识库和知识库系统概念的基础上探讨了本体论在知识库系统中的应用和方法,提出了一种基于本体的知识模型,并阐述了基于本体的知识库构建方法。     

Conceptual and ontological modeling in information systems

Conceptual modeling of a subject domain, which produces its conceptual model, is an important stage in designing information systems. In recent years, much attention in the development of such systems has been given to reusing information resources and to providing access to them at the semantic level. Methods and technologies of ontological modeling have lately been under intensive development. In this paper, problems and preconditions of conceptual modeling of the subject domain in database technologies and information systems are discussed. Various approaches to conceptual modeling, conceptual modeling languages, and the respective tools are considered, various interpretations of the role of the conceptual model of the subject domain are discussed, and the current state of conceptual modeling tools produced by software industry is assessed. The relationships between the conceptual schemas of the subject domain and ontologies are analyzed and their similarities and differences are described. Terminological issues and the directions of research in the field of conceptual and ontological modeling are considered. An extensive list of references is given.     

Process mining analysis of conceptual modeling behavior of novices – empirical study using JMermaid modeling and experimental logging environment

Previous studies on learning challenges in the field of modeling focus on cognitive perspectives, such as model understanding, modeling language knowledge and perceptual properties of graphical notation by novice business analysts as major sources affecting model quality. In the educational context outcome feedback is usually applied to improve learning achievements. However, not many research publications have been written observing the characteristics of a modeling process itself that can be associated with better/worse learning outcomes, nor have any empirically validated results been reported on the observations of modeling activities in the educational context. This paper attempts to cover this gap for conceptual modeling. We analyze modeling behavior (conceptual modeling event data of 20 cases, 10.000 events in total) using experimental logging functionality of the JMermaid modeling tool and process mining techniques. The outcomes of the work include modeling patterns that are indicative for worse/better learning performance. The results contribute to (1) improving teaching guidance for conceptual modeling targeted at process-oriented feedback, (2) providing recommendations on the type of data that can be useful in observing a modeling behavior from the perspective of learning outcomes. In addition, the study provides first insights for learning analytics research in the domain of conceptual modeling.     

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

While conceptual modeling is strongly related to the final quality of the software product, conceptual modeling itself remains a challenging activity. In particular, modelers must ensure that conceptual models properly formalize their intended conceptualization of a domain. This paper proposes an approach to facilitate the validation process of conceptual models defined in OntoUML by transforming these models into specifications in the logic-based language Alloy and using its analyzer to generate instances of the model and assertion counter-examples. By allowing the observation of sequences of snapshots of model instances, the dynamics of object creation, classification, association and destruction are revealed. This confronts the modeler with the implications of modeling choices and allows them to uncover mistakes or gain confidence in the quality of conceptual models.     

Using a trope-based foundational ontology for bridging different areas of concern in ontology-driven conceptual modeling

In recent years, ontology-driven reference models have gained much attention in the literature due to their potential key role in activities such as complex information modeling and semantic interoperability. The engineering process of these conceptual models should account for different phases addressing different areas of concern. In an initial phase of conceptual domain modeling, the target modeling artifacts should be constructed with the goal of maximizing quality attributes such as expressivity and truthfulness to the represented domain in reality. In a subsequent development phase, the resulting domain models can be used to guide the design decisions in the construction of different implementation artifacts addressing different computational concerns. In this paper, we present a philosophically sound, cognitively-oriented and formally characterized foundational theory of objects and tropes (property-instances). Moreover, we use this theory to bring about engineering contributions to both the aforementioned phases of ontology-driven conceptual modeling. Firstly, we show how this theory has been used to (re)design a system of modeling primitives underlying the conceptual domain modeling language OntoUML. Furthermore, we provide precise directives on how to map conceptual domain models in this language to their implementation in less-expressive computationally-oriented codification languages. In particular, we address here a mapping strategy to OWL (Web Ontology Language) that partially preserves the modal-temporal semantics of OntoUML. Finally, we discuss computational support for the proposed approach in terms of conceptual model construction, automatic transformation and temporal querying.     

面向事实的概念建模方法研究综述

领域概念知识建模是构建信息系统分析的关键技术和任务之一,同时也是知识工程的瓶颈问题,其难点在于如何正确完整地捕捉和验证领域专家的知识。ER和UML等有属性特性的建模方法能够很好地描述领域知识,但却难以让领域专家确认知识的正确性和完整性。面向事实的信息建模(FOM)是一种完全面向自然语言交流的领域概念知识建模方法,是一种理想的概念建模和本体工程辅助工具。简要分析了概念建模过程,比较了不同概念建模方法,介绍了FOM的技术演化过程,从业务规则、动态建模、模型抽象机制、模型转换和工程应用等方面评述了FOM的研究现状和待研究问题。     

一种基于UML的双时态概念模型

随着数据库技术的发展,信息系统对时鸯信息的处理需求越来越强烈。尽管出现了一些时态数据库管理系统,如TimeDB,但这些时态数据模型仍存在着一些不足。该文参考双时态概念数据模型BCDM,对UML类图进行扩展,提出了一种支持时态信息概念建模的概念模型UTCM,UTCM能够支持对时态信息的概念建模,并易于在成熟的DBMS产品上进行实现;     

基于Petri网的机电产品功能分解单元模型研究

功能分析是概念设计过程中最重要的阶段,对现有机械产品概念设计理论及方法进行了分析,提出了基于Pe试网的机电一体化产品功能分解模型.对机电一体化产品概念设计中的功能分解过程进行分析,通过基本元素和动态行为机制的定义,建立产品功能分解单元模型.以喷墨打印机为例,建立了该产品的功能分解单元模型,验证了模型的可行性.     

大规模虚拟民众群体行为仿真概念建模研究

针对现实社会中大规模社会民众群体所具有的复杂性特征,将复杂网络最新研究成果与基于Agent的成熟建模理念相结合,提出了一个虚拟战争空间中大规模社会群体行为建模的概念建模框架,该框架由三部分组成：Agent 、关系网络、智能环境（Agent Relation Environment,ARE）,给出了该框架所涉及的一系列概念的定义,对框架的内容和特点进行了较为详细的阐释和探讨。