论文部分内容阅读
数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言（DDML）和领域建模方法（DDMM）.DDML语言通过定义类型和项的语法和语义,描述领域数据类型和对象的结构,通过定义类型规则及其类型检查算法判定任意项t：T？.DDMM给出了领域数据建模的方法,即构建K1（原子类型）、K2（数据元）、K3（数据元目录）三层框架,生成表示K3层数据元目录之间关系的类型规则.在此基础上,给出了数据元目录序列的定义及其正