基于Schematron的AI-ESTATE约束的标准化描述

针对ATS中AI-ESTATE诊断信息描述的一致性问题,提出了基于Schematron的AI-ESTATE约束的标准化描述方法。首先介绍了开放式ATS中诊断信息描述的要求,其次分析了目前Express语言约束的XML表示方法,然后研究了Schematron的约束表示原理和AI-ESTATE实体约束的特征,最后完成了AI-ESTATE约束的Schematron描述。实例验证了该方法的有效性。

IEC61850模型信息的规则表达与校验研究

IEC 61850信息模型一致性校验的核心问题是如何对模型信息的规则进行表达。通过对SCL Schema的分析后发现,Schema表达了SCL语言要素的基本语法结构,受限于Schema语言的特点,对不同语法层次上的信息间的约束表达较弱,无法用其来完整地表达IEC 61850模型规则。通过引入Schematron语言,分析其对SCL信息规则表达的规律,实现了IEC 61850模型信息的复杂约束条件的表达,提出将SCL Schema表达与Schematron语言的表达结合起来,对IEC 61850信息模型的规则完整表达。最后分析了实现IEC 61850模型一致性校验的两种方法,得出基于复合模式语言校验的方法更为简单实用的结论。

基于语义的传感观测服务系统

为了使不同类型传感器网络能够自适应地访问和交换彼此的信息资源,研究分析基于传感网整合框架的传感观测服务。通过使用Tomcat服务器构建传感观测服务2.0系统,并针对传感观测服务SOS 2.0核心操作和信息模型,使用Java编程实现XML文档验证规则,首先通过使用schema对XML文档架构的正确性进行检验,其次使用schematron对XML文档架构的规范约束表达式进行验证。实验结果表明,借助XML文档验证规则,即可增加传感观测服务的语义信息,又能解决异构传感器之间的通信问题。

协同设计系统中基于XML的访问控制实现

从RBAC模型的角度出发,提出了一种基于XML的协同设计的RBAC访问控制,利用XML作为访问控制的表达形式,使得系统具有良好的灵活性和可操作性。同时,使用Schematron XML验证语言弥补了XMLSchema在文档结构约束中的限制。

卫生信息标准符合性测试用例库研发

为了解决卫生信息化建设中对于卫生信息标准符合性测试中的一系列问题,采用了国际标准Schematron模板验证技术,设计了一套用于卫生信息服务和卫生共享信息文档标准符合性测试的共享文档测试用例库和服务交互测试用例库,满足了卫生信息标准符合性测试平台对测试用例以及测试用例管理的需要。