本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体工程是计算机科学的一个领域,它关注于本体的建立和使用。本文提出了形式化本体工程的思想,即在本体工程的各项活动中,充分利用形式化技术所具有的严密性、可验证、可推理、自动化等特点,提高本体工程各项活动的形式化程度,充分实现本体工程各项活动的自动化,保证过程的可控制,保证结果的可验证。本文的主要工作和贡献体现在以下几个方面:1.给出了一种基于进程演算的本体形式化表示方法。2.研究了基于进程演算的安全本体工程。3.给出了一种基于本体定义元模型的本体建模方法。4.研究了本体演化领域的一些内容:1)提出了一种基于模型转换的本体演化框架。2)给出了一种本体演化波及效应分析方法。5.给出了一种基于依赖图的本体切片方法。6.开展了本体工程的应用研究:1)给出了一种基于本体定义元模型的UML模型一致性检测方法。2)给出了一种基于描述逻辑本体的软件过程模型检测方法。