Publication
Heterogeneous Logical Environments for Distributed Specifications
Till Mossakowski; Andrzej Tarlecki
In: Andrea Corradini; Ugo Montanari (Hrsg.). Recent Trends in Algebraic Development Techniques: 19th International Workshop. International Workshop on Algebraic Development Techniques (WADT-2008), June 13-16, Pisa, Italy, Pages 266-289, Lecture Notes in Computer Science (LNCS), Vol. 5486, ISBN 978-3-642-03428-2, Springer, Berlin, Heidelberg, 2009.
Abstract
We use the theory of institutions to capture the concept of a heterogeneous logical environment as a number of institutions linked by institution morphisms and comorphisms. We discuss heterogeneous specifications built in such environments, with inter-institutional specification morphisms based on both institution morphisms and comorphisms. We distinguish three kinds of heterogeneity: (1) specifications in logical environments with universal logic (2) heterogeneous specifications focused at a particular logic, and (3) heterogeneous specifications distributed over a number of logics.