节点文献

基于形式化方法的持久对象层框架

Framework of Persistent Object Layer Based on a Formal Approach

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 SHAN Wei,DANG Qimin(Department of Computer Science and Technology,East China University of Science & Technology,Shanghai 200237)

【机构】华东理工大学计算机科学与技术系；华东理工大学计算机科学与技术系上海200237；上海200237；

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

【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.更多还原

【关键词】持久对象层；形式化； UML；类图；转换规则；
【Key words】 Persistent object layer； Formalize； UML； Class diagram； Transposition rules；

【文献出处】计算机工程 ,Computer Engineering , 编辑部邮箱 ,2005年19期

【分类号】TP311.52
【被引频次】4
【下载频次】69

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献