论文部分内容阅读
1引言 在面向对象规范化理论中,一个对象属于一个范式是指当且仅当由该对象的模型能够导出用户关于该对象的解释.所谓用户解释就是用户规定的一组依赖约束,依赖约束[2]分为路径依赖约束(PD-约束)、局部依赖约束(LD-约束)和全局依赖约束(GD-约束)三类.在范式判定和规范化处理过程中,仅使用GD-约束,用户解释中的依赖约束也就是GD-约束.……