{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:04:46Z","timestamp":1761977086905,"version":"build-2065373602"},"reference-count":29,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2013,10,8]],"date-time":"2013-10-08T00:00:00Z","timestamp":1381190400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2014,4]]},"abstract":"<jats:p>We consider structured specifications built from flat specifications using union, translation and hiding with their standard model-class semantics in the context of an arbitrary institution. We examine the alternative of sound property-oriented semantics for such specifications, and study their relationship to model-class semantics. An exact correspondence between the two (completeness) is not achievable in general. We show through general results on property-oriented semantics that the semantics arising from the standard proof system is the strongest sound and compositional property-oriented semantics in a wide class of such semantics. We also sharpen one of the conditions that does guarantee completeness and show that it is a necessary condition.<\/jats:p>","DOI":"10.1017\/s0960129513000212","type":"journal-article","created":{"date-parts":[[2013,10,8]],"date-time":"2013-10-08T12:55:49Z","timestamp":1381236949000},"source":"Crossref","is-referenced-by-count":5,"title":["Property-oriented semantics of structured specifications"],"prefix":"10.1017","volume":"24","author":[{"given":"DONALD","family":"SANNELLA","sequence":"first","affiliation":[]},{"given":"ANDRZEJ","family":"TARLECKI","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2013,10,8]]},"reference":[{"key":"S0960129513000212_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s001650200013"},{"volume-title":"The Correctness Problem in Computer Science, Academic Press 185\u2013213","year":"1981","author":"Burstall","key":"S0960129513000212_ref7"},{"key":"S0960129513000212_ref22","first-page":"194","article-title":"On equational Craig interpolation.","volume":"6","author":"Ro\u015fu","year":"2000","journal-title":"Journal of Universal Computer Science"},{"key":"S0960129513000212_ref28","first-page":"337","volume-title":"Frontiers of Combining Systems 2 Studies in Logic and Computation","author":"Tarlecki","year":"2000"},{"key":"S0960129513000212_ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90008-9"},{"key":"S0960129513000212_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/b96103"},{"key":"S0960129513000212_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/BF01191893"},{"key":"S0960129513000212_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0036909"},{"key":"S0960129513000212_ref1","doi-asserted-by":"publisher","DOI":"10.1145\/77600.77621"},{"key":"S0960129513000212_ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00317-6"},{"key":"S0960129513000212_ref2","doi-asserted-by":"crossref","unstructured":"Bidoit M. and Mosses P. D. (eds.) (2004) CASL User Manual. Springer-Verlag Lecture Notes in Computer Science 2900. (Also available at http:\/\/www.informatik.uni-bremen.de\/cofi\/wiki\/index.php\/CASL.)","DOI":"10.1007\/b11968"},{"key":"S0960129513000212_ref4","doi-asserted-by":"crossref","first-page":"199","DOI":"10.3233\/FUN-2005-66301","article-title":"Generalized interpolation in first order logic.","volume":"66","author":"Borzyszkowski","year":"2005","journal-title":"Fundamenta Informaticae"},{"key":"S0960129513000212_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3"},{"key":"S0960129513000212_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10007-5_41"},{"key":"S0960129513000212_ref5","first-page":"1045","volume-title":"Fifth International Joint Conference on Artificial Intelligence","author":"Burstall","year":"1977"},{"volume-title":"Model Theory","year":"1990","author":"Chang","key":"S0960129513000212_ref8"},{"volume-title":"Institution-Independent Model Theory","year":"2008","author":"Diaconescu","key":"S0960129513000212_ref9"},{"key":"S0960129513000212_ref10","first-page":"83","volume-title":"Logical Environments","author":"Diaconescu","year":"1993"},{"key":"S0960129513000212_ref12","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147524"},{"key":"S0960129513000212_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39993-3_7"},{"key":"S0960129513000212_ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)90009-4"},{"key":"S0960129513000212_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00162-4"},{"key":"S0960129513000212_ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232484"},{"key":"S0960129513000212_ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"S0960129513000212_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2005.09.005"},{"key":"S0960129513000212_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BF01190411"},{"key":"S0960129513000212_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-12689-9_122"},{"key":"S0960129513000212_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17162-2_132"},{"key":"S0960129513000212_ref29","first-page":"89","article-title":"Some nuances of many-sorted universal algebra: A review.","volume":"104","author":"Tarlecki","year":"2011","journal-title":"Bulletin of the European Association for Theoretical Computer Science"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129513000212","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T16:01:13Z","timestamp":1746028873000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129513000212\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,8]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,4]]}},"alternative-id":["S0960129513000212"],"URL":"https:\/\/doi.org\/10.1017\/s0960129513000212","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"type":"print","value":"0960-1295"},{"type":"electronic","value":"1469-8072"}],"subject":[],"published":{"date-parts":[[2013,10,8]]},"article-number":"e240205"}}