Principles of Semantic Interoperation

这个研究项目的主要目标是发现的原则，基础和使异构信息系统的语义互操作。 这种系统包括各种各样的和局部自治的组件，具有潜在的复杂的相互约束。 一个主要的技术挑战是设计可以在多个组件上执行的活动，但仍然保留全局语义要求，即，整个信息的完整性 本研究项目通过以下方式应对上述挑战：（a）创新表示法，在统一的数学框架中捕捉数据和活动的语义;（B）开发推理上述语义的技术，以最大限度地放松对数据的语义约束;（c）制定设计规则，通过这些规则可以系统地指定复杂的活动;以及（d）在原型自动推理工具中实现设计规则，以帮助捕获和验证异构活动的规范。 这个项目的核心是评估和迭代改进的开发技术方面的分类问题。 自动推理工具极大地促进了持续评估，这对于发现语义互操作的持久科学原则至关重要。

The key objective of this research project is to discover principles that underlie and enable the semantic interoperation of heterogeneous information systems. Such systems comprise widely diverse and locally autonomous components with potentially intricate mutual constraints. A major technical challenge is to design activities that may execute over a number of components, but nevertheless preserve the global semantic requirements, i.e., the integrity of the information at large. This research project addresses the above challenge by (a) innovating representations that capture the semantics of data and activities in a unified mathematical framework; (b) developing techniques for reasoning about the above semantics to derive the maximally relaxed semantic constraints on data; (c) formulating design rules through which complex activities can be systematically specified; and (d) implementing the design rules in a prototype automated reasoning tool to assist in capturing and validating specifications of heterogeneous activities. A centerpiece of this project is the evaluation and iterative refinement of the developed techniques with respect to a taxonomy of problems. Continuous evaluation, greatly facilitated by the automated reasoning tool, is essential for discovering the lasting scientific principles of semantic interoperation.