{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:45:46Z","timestamp":1725493546348},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422877"},{"type":"electronic","value":"9783540482246"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48224-5_80","type":"book-chapter","created":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T02:29:04Z","timestamp":1193538544000},"page":"993-1004","source":"Crossref","is-referenced-by-count":5,"title":["Amalgamation in CASL via Enriched Signatures"],"prefix":"10.1007","author":[{"given":"Lutz","family":"Schr\u00f6der","sequence":"first","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]},{"given":"Andrzej","family":"Tarlecki","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"80_CR1","volume-title":"Abstract and concrete categories","author":"J. Ad\u00e1mek","year":"1990","unstructured":"J. Ad\u00e1mek, H. Herrlich, and G. E. Strecker, Abstract and concrete categories, 2nd ed., Wiley Interscience, New York, 1990.","edition":"2nd ed."},{"key":"80_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/BFb0014424","volume-title":"Recent Trends in Data Type Specification","author":"D. Aspinall","year":"1994","unstructured":"D. Aspinall, Types, subtypes, and ASL+, Recent Trends in Data Type Specification, LNCS, vol. 906, Springer, 1994, pp. 116\u2013131."},{"key":"80_CR3","unstructured":"H. Baumeister, Relations between abstract datatypes modeled as abstract datatypes, Ph.D. thesis, Universit\u00e4t des Saarlandes, 1998."},{"key":"80_CR4","doi-asserted-by":"crossref","unstructured":"M. Bidoit, M. V. Cengarle, and R. Hennicker, Proof systems for structured specifications and their refinements, Algebraic Foundations of Systems Specification (E. Astesiano et al., eds.), Springer, 1999, pp. 385\u2013433.","DOI":"10.1007\/978-3-642-59851-7_11"},{"key":"80_CR5","doi-asserted-by":"crossref","unstructured":"F. Borceux, Handbook of categorical algebra 1, Cambridge, 1994.","DOI":"10.1017\/CBO9780511525858"},{"key":"80_CR6","doi-asserted-by":"crossref","unstructured":"T. Borzyszkowski, Logical systems for structured specifications, Theoret. Comput. Sci., to appear.","DOI":"10.1016\/S0304-3975(01)00317-6"},{"key":"80_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BFb0000465","volume-title":"Algebraic Methodology and Software Technology","author":"M. Cerioli","year":"1997","unstructured":"M. Cerioli, A. Haxthausen, B. Krieg-Br\u00fcckner, and T. Mossakowski, Permissive subsorted partial logic in CASL, Algebraic Methodology and Software Technology, LNCS, vol. 1349, Springer, 1997, pp. 91\u2013107."},{"key":"80_CR8","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1017\/S0960129500000700","volume":"5","author":"I. Cla\u03b2en","year":"1995","unstructured":"I. Cla\u03b2en, M. Gro\u03b2e-Rhode, and U. Wolter, Categorical concepts for parameterized partial specifications, Math. Struct. Comput. Sci. 5 (1995), 153\u2013188.","journal-title":"Math. Struct. Comput. Sci."},{"key":"80_CR9","unstructured":"CoFI, The Common Framework Initiative for algebraic specification and development, electronic archives, accessible by WWW2 and 3."},{"key":"80_CR10","unstructured":"CoFI Language Design Task Group, Casl Summary, version 1.0, Documents\/CASL\/Summary, in [9], July 1999."},{"key":"80_CR11","unstructured":"R. Diaconescu, J. Goguen, and P. Stefaneas, Logical support for modularisation, Logical Environments, Cambridge, 1993, pp. 83\u2013130."},{"key":"80_CR12","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0304-3975(94)90110-4","volume":"135","author":"H. Ehrig","year":"1994","unstructured":"H. Ehrig and M. Gro\u03b2e-Rhode, Functorial theory of parameterized specifications in a general specification framework, Theoret. Comput. Sci. 135 (1994), 221\u2013266.","journal-title":"Theoret. Comput. Sci."},{"key":"80_CR13","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr, Fundamentals of algebraic specification 2, Springer, 1990.","DOI":"10.1007\/978-3-642-61284-8"},{"key":"80_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and R. Burstall, Institutions: Abstract model theory for specification and programming, J. ACM 39 (1992), 95\u2013146.","journal-title":"J. ACM"},{"key":"80_CR15","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"R. Harper, F. Honsell, and G. D. Plotkin, A framework for defining logics, J. ACM 40 (1993), 143\u2013184.","journal-title":"J. ACM"},{"key":"80_CR16","unstructured":"B. Klin, An implementation of static semantics for architectural specifications in Casl (in Polish), Master\u2019s thesis, Warsaw University, 2000."},{"key":"80_CR17","unstructured":"B. Klin, P. Hoffman, A. Tarlecki, T. Mossakowski, and L. Schr\u00f6der, Checking amalgamability conditions for CASL architectural specifications, work in progress; see also [16]."},{"key":"80_CR18","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F. W. Lawvere","year":"1963","unstructured":"F. W. Lawvere, Functorial semantics of algebraic theories, Proc. Natl. Acad. Sci. USA 50 (1963), 869\u2013872.","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"80_CR19","unstructured":"S. Mac Lane, Categories for the working mathematician, Springer, 1997."},{"key":"80_CR20","doi-asserted-by":"publisher","first-page":"473","DOI":"10.2307\/2000508","volume":"299","author":"M. Makkai","year":"1987","unstructured":"M. Makkai and A. M. Pitts, Some results on locally finitely presentable categories, Trans. Amer. Math. Soc. 299 (1987), 473\u2013496.","journal-title":"Trans. Amer. Math. Soc."},{"key":"80_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-45314-8_20","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Mossakowski","year":"2001","unstructured":"T. Mossakowski, S. Autexier, and D. Hutter, Extending development graphs with hiding, Fundamental Approaches to Software Engineering, LNCS, vol. 2029, Springer, 2001, pp. 269\u2013283."},{"key":"80_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/3-540-48483-3_15","volume-title":"Workshop on Abstract Datatypes","author":"P. D. Mosses","year":"1999","unstructured":"P. D. Mosses, Casl: A guided tour of its design, Workshop on Abstract Datatypes, LNCS, vol. 1589, Springer, 1999, pp. 216\u2013240."},{"key":"80_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-10250-7_24","volume-title":"Semantics-Directed Compiler Generation","author":"J. C. Reynolds","year":"1980","unstructured":"J. C. Reynolds, Using category theory to design implicit conversions and generic operators, Semantics-Directed Compiler Generation, LNCS, vol. 94, Springer, 1980, pp. 211\u2013258."},{"key":"80_CR24","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/BF01191893","volume":"29","author":"D. Sannella","year":"1992","unstructured":"D. Sannella, S. Soko\u0142owski, and A. Tarlecki, Towards formal development of programs from algebraic specifications: Parameterisation revisited, Acta Inform. 29 (1992), 689\u2013736.","journal-title":"Acta Inform."},{"key":"80_CR25","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"D. Sannella and A. Tarlecki, Specifications in an arbitrary institution, Inform. and Comput. 76 (1988), 165\u2013210.","journal-title":"Inform. and Comput."},{"key":"80_CR26","unstructured":"L. Schr\u00f6der, T. Mossakowski, A. Tarlecki, P. Hoffman, and B. Klin, Amalgamation in the semantics of CASL, work in progress; preprint to be made available 4"},{"key":"80_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-45314-8_19","volume-title":"Fundamental Approaches to Software Engineering","author":"L. Schr\u00f6der","year":"2001","unstructured":"______Semantics of architectural specifications in CASL, Fundamental Approaches to Software Engineering, LNCS, vol. 2029, Springer, 2001, pp. 253\u2013268."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48224-5_80","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:28:14Z","timestamp":1556922494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48224-5_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422877","9783540482246"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-48224-5_80","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}