Compositional Semantics for Heterogeneous Systems

编程语言的语义为其行为提供了精确的数学描述。系统的语义通常通过指定较小子系统的语义，然后描述这些子系统如何相互作用来定义。迄今为止，大多数方法都依赖于这些子系统之间的同质性，例如，它们可能需要用相同的编程语言定义。然而，原则上，一个适当丰富的语义语言可以通过描述这些子系统之间的接口来促进在完全不同的框架中定义的行为的组合。在所提出的研究中，我们将研究语义作为异构系统中组件之间的接口的潜在作用。我们将使用这些接口从组件子系统中建模更大的系统，并在这些模型中研究适当的可观等价概念，并可能应用于系统安全。

The semantics of a programming language provide a precise mathematical description of itsbehaviour. The semantics of systems are often defined compositionally by specifying thesemantics of smaller subsystems, and then describing how these subsystems interact with oneanother. Most approaches to date rely on a level of homogeneity between these subsystems forinstance, they may be required to be defined in the same programming language. Inprinciple, however, a suitably rich, semantic language could facilitate the compositions ofbehaviours which were defined in radically different frameworks by describing the interfacebetween these subsystems.In the proposed research, we will investigate the potential role of semantics as an interfacebetween components in heterogeneous systems. We will use these interfaces to model largersystems from component subsystems and to investigate appropropriate notions of observableequivalence in these models, with possible applications to system security.