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.