摘要： 通过使用一种基于谓词逻辑的形式化框架来匹配对象模型到关系模型以构建持久对象层。文中涉及了类图的形式化定义、类图的操作规则和两种模型之间的转换规则。

关键词: 持久对象层, 形式化, UML, 类图, 转换规则

Abstract: This paper proposes a formal framework based on predicate calculus that maps object models into relational ones to construct persistent object layer.This study is about the formal definition of class diagram,class diagram manipulation and transposition rules.

中图分类号: 

• TP311.52