%0 Conference Paper %1 MossakowskiTarlecki09 %A Mossakowski, Till %A Tarlecki, Andrzej %B WADT 2008 %D 2009 %E Corradini, Andrea %E Montanari, Ugo %I Springer %K comorphism heterogeneous institutions specification %P 266–289 %T Heterogeneous Logical Environments for Distributed Specifications %U http://dx.doi.org/10.1007/978-3-642-03429-9_18 %V 5486 %X 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.

@inproceedings{MossakowskiTarlecki09, 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.}, added-at = {2016-08-05T15:59:03.000+0200}, author = {Mossakowski, Till and Tarlecki, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/2ff2d7845aaef794aacf2f5dec68d2b1a/tillmo}, booktitle = {WADT 2008}, editor = {Corradini, Andrea and Montanari, Ugo}, interhash = {2dcaaccc882e5a80182a376e49754b59}, intrahash = {ff2d7845aaef794aacf2f5dec68d2b1a}, keywords = {comorphism heterogeneous institutions specification}, pages = {266–289}, pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/disthet.pdf}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Heterogeneous Logical Environments for Distributed Specifications}, url = {http://dx.doi.org/10.1007/978-3-642-03429-9_18}, volume = 5486, year = 2009 }