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

• 作者: 刘大昕 潘文林
• 来源期刊: 计算机应用研究
• 关键词: 对象角色建模 面向事实建模 一阶逻辑形式化分析
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 软件技术研究
• 页码范围: 1413-1417
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.04.060

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘大昕	哈尔滨工程大学机电工程学院	116	1114	18.0	27.0
5	潘文林	哈尔滨工程大学机电工程学院	8	30	2.0	5.0