面向事实程序研究

本文针对面向对象程序的不足,根据奥地利语言哲学家路德维格·维特根斯坦(LudwigWittgenstein)关于世界和语言逻辑结构的哲学论述,并结合现实世界中对象能自动适应环境变化的特性,提出了一种以面向对象程序设计为基础并包含面向对象程序设计所有功能的新型程序设计语言———面向事实程序设计,并说明了该语言的特点、优点、结构和功能。

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

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

实用的快速建模方法的研究——面向事实建模

针对UML建模技术在快速原型开发中的不便,提出了面向事实快速建模的思想.探讨了面向对象技术以及标准建模语言UML的特点,并用形式化语言进行描述,在此基础上构建了面向事实建模工具,并用实例进行了验证.

面向事实建模方法ORM的一阶逻辑形式化分析

对象角色建模方法是一种完全面向交流的面向事实概念建模方法,目前已发展到2.0版,已应用于本体论工程,因此需要对其进行形式化以分析其本体表达能力。Halpin定义了一种知识表达语言KL,并使用KL形式化分析了早期版本的ORM。借鉴Halpin的研究成果,采用经典的一阶逻辑语言L全面地分析了ORM 2.0的形式化语义。

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

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

软件危机现象与面向对象方法分析

论述了软件危机现象和面向对象方法的基本概念 ,阐明了面向对象方法是解决软件危机的一种有效途径和应以积极的态度去对待软件危机现象的观点 。

“现象”之“真”——电影《集结号》与现象学的文化视野浅谈

电影《集结号》是根据杨金远的原著《官司》由刘恒编剧、冯小刚导演、张涵予等名角主演、华谊兄弟影业公司制作的一部商业贺岁片;上映以来,由电影《集结号》的主题、内容以及编、导立场引来了诸多争议,并形成了所谓的挺"冯"派和倒"冯"派;而现象学的文化视野为《集结号》"现象"之"真"的是非争议提供了一个"面向事实本身"的机会。

基于ORM的OWL2本体可视化表达

无相关技术背景的领域专家较难直接阅读和理解OWL 2本体。为此,提出一种使用对象角色建模(ORM)可视化表达OWL 2本体的方法,并介绍一系列相应规则。通过语义等价的模型变换和扩展构造原语,使用ORM可视化表达OWL 2的构造原语、类表达式、类公理、对象特性公理、数据特性公理和键公理。实验结果表明,内置数据类型、类等价公理和对象特性的传递性公理需要对ORM进行扩展才能表达,其余OWL 2类和公理均可语义无损地转换为ORM模型。