Heterogeneous Logical Environments for Distributed Specifications
Type of publication: | Inproceedings |
Citation: | MossakowskiTarlecki09 |
Booktitle: | WADT 2008 |
Series: | Lecture Notes in Computer Science |
Volume: | 5486 |
Year: | 2009 |
Pages: | 266--289 |
Publisher: | Springer |
DOI: | 10.1007/978-3-642-03429-9_18 |
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. |
Userfields: | bdsk-url-1={http://dx.doi.org/10.1007/978-3-642-03429-9_18}, pdfurl={http://www.informatik.uni-bremen.de/~till/papers/disthet.pdf}, project={I4-SPIN}, status={Reviewed}, |
Keywords: | institutions heterogeneous specification comorphism |
Authors | |
Editors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|