Formula规范.ppt

Formula规范 Formula可满足的计算方式包括 加、减、乘、除、整数与实数的除与取模、取最大、最小值、字符串值的比较与修改 数字科目上的“+”、“”“”、“=”、“=”“!=” ，非数字科目的“=” 、“!=” 跨上下文、单位的计算 ……… Formula规范 Formula规范的定义 由若干个Schema文件组成 Variable.xsd:定义变量的语法声明（事实变量或通用变量） generic-label.xsd:定义了通用标签的声明方法，可验证在schema及xlink中的元素 generic-link.xsd：定义了引用通用链接的声明方法 Formula规范 Formula规范的定义 由若干个Schema文件组成 generic-reference.xsd:定义了引用通用资源的声明方法，可引用shema中任意元素，也能为xlink提供引用 General-filter.xsd：通用过滤，过滤不符合（或符合）条件的数据用于计算，当不存在特定条件过滤时，该过滤被使用 Concept-filter.xsd:概念过滤，过滤不符合（或符合）概念条件的数据 Formula规范 Formula规范的定义 由若干个Schema文件组成 period-filter.xsd:时间属性过滤，过滤不符合（或符合）时间属性条件的数据 entity-filter.xsd：实体标识条件过滤，过滤不符合（或符合）实体标识条件的数据 unit-filter.xsd:单位过滤，过滤不符合（或符合）单位条件的数据 Formula规范 Formula规范的定义 由若干个Schema文件组成 match-filter.xsd:过滤多个变量本身或属性间匹配（或不匹配）的数据 dimension-filter.xsd：维度过滤，过滤不符合（或符合）维度定义条件的数据 segment-scenario-filter.xsd: segment、scenario过滤，过滤不符合（或符合） segment或scenario定义条件的数据 Formula规范 Formula规范的定义 由若干个Schema文件组成 tuple-filter.xsd:元组过滤，过滤不符合（或符合）元组中相关定义条件的数据 boolean-filter.xsd：过滤条件关联，可通过“andFilter”或“orFilter”关联过滤条件过滤不符合（或符合）定义条件的数据 relative-filter.xsd:上下文过滤，过滤不符合（或符合）相近或相同上下文条件的数据 Formula规范 Formula规范的定义 由若干个Schema文件组成 consistency-assertion.xsd:一致性断言，判断实例文档中的值与formula公式中的定义是否一致 existence-assertion.xsd：存在性断言，对实例文档中元素是否存在，值的长度等是否符合约束进行校验 value-assertion.xsd: 值断言，对值域等方面是否符合约束进行校验 Formula规范 Formula定义举例 * *