面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．     

基于语义的数据库信息发布模型

随着因特网技术的发展 ,Web上数据库信息发布的需求迅速增加。传统开发模式中开发人员工作量大 ,软件不能复用。提出了基于语义的数据库信息发布模型 ,将语义描述者通过语义描述平台提供的数据集语义、数据操纵语义和发布样式语义分别存储在数据字典层、数据操纵层和发布样式层 ,再通过语义解析器解释生成发布页面。该模型实现了数据库信息发布的灵活定制和软件复用 ,使开发人员从大量重复的开发工作中解脱出来     

一种面向体系结构的软件系统自适应机制

在动态变化的分布式环境中,为了保证系统的正常运行,软件系统应能够根据环境的变化、系统运行错误及需求的变更调整自身的行为,即具有一定的自适应能力.提出一种面向体系结构的自适应机制,该机制采用了内置运行时体系结构作为驱动自适应的因素、选择自适应动作的依据以及实施自适应的载体;设计了适合分布式环境特点的三层结构的监控设施,提高了监控的效率和有效性;同时配备了满足不同用户需求的两种触发设施.该自适应机制不隶属于某个或某种运行系统,可为各种应用的运行系统添加自适应能力提供一个比较一般的、可重用的自适应框架.