Heterogeneous Logical Environments for Distributed Specifications

Till Mossakowski, Andrzej Tarlecki

In: Andrea Corradini, Ugo Montanari (editor). 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) 5486 ISBN 978-3-642-03428-2 Springer Berlin, Heidelberg 2009.


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.

Weitere Links

disthet.pdf (pdf, 247 KB)

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz