应用模型有效性验证

应用模型有效性验证

3.2.3　应用模型有效性验证

模型有效性检验可以在模型生命周期的每一步进行,这里指在模型静态/动态集成生成模型后所进行的有效性检查。模型有效性检验的关键为:①在集成两个模型时,语法引导编辑如何支持；②模型有效性检验是否可以独立于语言（卢涛,2002）。

应用模型的有效性验证指在进行模型组件集成后,为检查集成后的应用模型结构是否合理、是否能够进行有效计算而进行的检查,主要包括两个方面的内容:

（1）应用模型运行实体约束检查,包括值约束、结构约束、空间语义约束三个部分的内容。在应用模型组件集成后,由于重新组装集成了应用模型组件,组件之间的关系、链接发生了变化,组件的输入/输出/参数必须重新组织集成,这些使得集成后的应用模型必须检查其正确性、合理性、有效性。在模型实体定义中已经定义了三类约束,三类约束可以在输入/输出/中间值三个层面上进行,具体约束检查如下:

◇　值约束检查变量的值域；

◇　结构约束检查变量的先后关系与组件集成链接的合理性；

◇　时空间语义约束检查应用模型各变量的时空投影与尺度。

（2）应用模型描述实体集成后的有效性、完整性检查,包括应用模型定义文档、应用模型组件字典、应用模型元数据三个部分内容。描述文档相关性检查应该独立于具体的描述语言,但目前实现的难度非常大。本书在第5章将定义基于XML Schema应用模型的各描述文档模式。由于XML具有简单、自定义的优点,具有良好的表达能力和可扩充性,而且XML是良构的,可实现异构环境下的信息交互,并以有效的规范验证文档的合法性,能够方便应用程序处理。因此应用模型相关文档的有效性检查将针对XML实例文档进行,可利用现有的解析工具,如XPath等。文档的有效性检查包括具体内容如下:

◇　应用模型实例文档语法结构的有效性检查；

◇　应用模型实例文档结构检查,实现文档与应用模型结构一致性；

◇　应用模型实例文档内容检查,实现文档与应用模型内容的一致性。

应用模型的有效性检查对象包括:已有应用模型本身、基于应用模型组件集成后生成的应用模型、应用模型演化维护后生成的应用模型,应用模型有效性检查过程如图3.17所示。

图3.17　应用模型有效性检查