Semantic Foundations for Composition and Interoperation of Open Systems

这项研究的目的是开发一个语义基础的语义组合和开放系统的异构组件的互操作。 组合和互操作发生在多个级别（需求、规范、代码、可执行文件）和沿着多个维度（功能、可靠性、安全性、可用性）。必须保持各层次和各方面之间的关系。 现有的工作组合和互操作主要集中在语法结构。为了提供安全、可靠和有意义的组合，开发语义基础至关重要。复杂系统的语义结构应该提供一个坚实的基础，以确定在给定条件下哪些部分是可互换的，并预测变化的影响：组件对整体的影响，以及系统需求对部分需求的影响。在广泛的应用中，这种互操作的语义基础是有价值的。它在结合来自不同领域的联合收割机组件的应用中尤其重要，这些领域包括：数据库、电子表格、知识库、多媒体、移动代理、控制理论或基于事件的仿真。 从一般逻辑理论的元方法，以及相关的映射技术和跨形式主义，是用来实现形式独立的语义系统组成。这支持了系统描述和形式化层次的多维性。 开放式机械化推理系统（OMRS）的理论以及演员系统的形式语义的工作的技术被用来研究互操作方面。 反射技术，特别是反射逻辑和多模型系统被广泛采用。 该研究有望为软件系统的组合、互操作和动态演化提供一种新的技术。 它寻求在多个层次和沿着多个维度处理互操作性：组件、语言、规范、形式/逻辑和工具。 这提供了以数学上严格的方式在系统的不同形式化之间移动的能力，并以严格集成的方式使用支持这些形式化的不同工具。 该研究基于两个关键技术思想：模块演算（用于集成）和开放多模型系统（用于互操作）。 模块演算是形式独立的，并且旨在具有强大的新操作，例如泛化。 开放的多模型系统形式化了独立互操作部件的多维方面。 ***

The objective of this proposed research is to develop a semantic foundation for semantic composition and interoperation of heterogeneous components of open systems. Composition and interoperation occur at many levels (requirements, specification, code, executables) and along multiple dimensions (functionality, reliability, security, availability). Relations among the various levels and dimensions must be preserved. Existing work on composition and interoperation has largely focused on syntactic structure. It is essential to develop a semantic basis in order to provide for safe, secure, and meaningful combinations. Semantic structuring of complex systems should provide a firm basis for determining what parts are interchangeable under given conditions, and to predict effects of changes: of components on the whole, and of system requirements on requirements for the parts. There is a wide range of applications where such a semantic foundation for interoperation can be of value. It is especially important in applications that combine components from diverse domains such as: data bases, spread sheets, knowledge bases, multi-media, mobile-agents, control theory, or event-based simulations. Metalogical methods from the theory of general logics, and associated techniques of mappings in and across formalisms, are used to achieve formalism-independent semantics for system composition. This supports the multidimensionality of a system's levels of description and formalization. Techniques from the theory of Open Mechanized Reasoning Systems (OMRS) as well as work on the formal semantics of actor systems are used to study interoperation aspects. Reflective techniques, particularly reflective logics and multi-model systems are employed extensively. This research is expected to lead to a new technology for composition, interoperation and dynamic evolution of software systems. It seeks to treat interoperability at many levels and along many dimensions: components, languag es, specifications, formalisms/logics, and tools. This provides the capacity to move in a mathematically rigorous way across the different formalizations of a system, and to use the different tools supporting these formalizations in a rigorously integrated way. The research is based on two key technical ideas: module calculi (for integration) and open multi-model systems (for interoperation). The module calculus is formalism-independent, and is intended to have powerful new operations such as generalization. Open multi-model systems formalize the multidimensional aspects of independent interoperating parts. ***