{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T00:30:26Z","timestamp":1687653026788},"reference-count":62,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":6803,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1994,12]]},"DOI":"10.1016\/0304-3975(94)90110-4","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T00:17:21Z","timestamp":1027642641000},"page":"221-266","source":"Crossref","is-referenced-by-count":13,"title":["Functorial theory of a parameterized specifications in a general specification framework"],"prefix":"10.1016","volume":"135","author":[{"given":"Hartmut","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"Martin","family":"Gro\u00dfe-Rhode","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(94)90110-4_BIB1","series-title":"Universal Algebra","first-page":"13","article-title":"A general axiomatizability theorem formulated in terms of cone-injective","author":"Andr\u00e9ka","year":"1981"},{"key":"10.1016\/0304-3975(94)90110-4_BIB2","series-title":"Constraints and their Normal Forms in the Framework of Specification Logics","author":"Baldamus","year":"1990"},{"key":"10.1016\/0304-3975(94)90110-4_BIB3","series-title":"Proc. TAPSOFT'91","first-page":"103","article-title":"Unifying initial and loose semantics of parameterized specifications in an arbitary institutions","volume":"Vol. 493","author":"Baumeister","year":"1991"},{"key":"10.1016\/0304-3975(94)90110-4_BIB4","doi-asserted-by":"crossref","first-page":"10","DOI":"10.2307\/2273784","article-title":"Fibred categories and the foundations of naive category theorem","volume":"50","author":"Benabou","year":"1985","journal-title":"J. Symbolic Logic"},{"issue":"2\/3","key":"10.1016\/0304-3975(94)90110-4_BIB5","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0022-0000(87)90028-6","article-title":"Algebraic specification of modules and their basic interconnections","volume":"34","author":"Blum","year":"1987","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0304-3975(94)90110-4_BIB6","series-title":"Proc. 1979 Copenhagen Winter School","first-page":"293","article-title":"Semantics of CLEAR, a specification language","volume":"Vol. 86","author":"Burstall","year":"1980"},{"key":"10.1016\/0304-3975(94)90110-4_BIB7_1","series-title":"Tech. Report ECS-LFCS-89-90","article-title":"Some Fundamental Algebraic Tools for the Semantics of Computation, Part 3: Indexed Categories","author":"Burstall","year":"1989"},{"key":"10.1016\/0304-3975(94)90110-4_BIB7_2","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0304-3975(91)90085-G","volume":"91","year":"1991","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(94)90110-4_BIB8","series-title":"COMPASS ESPIRIT BRG WG No.3264","year":"1991"},{"key":"10.1016\/0304-3975(94)90110-4_BIB9","series-title":"Tech. Report","article-title":"Logical support for modularization","author":"Diaconescu","year":"1991"},{"key":"10.1016\/0304-3975(94)90110-4_BIB10","article-title":"Theory of algebraic module specifications including behavioural semantics, constraitns and aspects of generalized morphisms","author":"Ehrig","year":"1991","journal-title":"Proc. AM AST'91"},{"key":"10.1016\/0304-3975(94)90110-4_BIB11","unstructured":"H. Ehrig, M. Baldamus, F. Cornelius and F. Orejas, Abstract and behavioural module specifications, submitted for publication."},{"key":"10.1016\/0304-3975(94)90110-4_BIB12","series-title":"Tech. Report 91\/02","article-title":"New concepts for amalgamation and extension in the framework of specification logic","author":"Ehrig","year":"1991"},{"key":"10.1016\/0304-3975(94)90110-4_BIB13","series-title":"Categorical Methods in Computer Science \u2014 with Aspects from Topology","first-page":"1","article-title":"A categorical concept of constraints for algebraic specifications","volume":"Vol. 393","author":"Ehrig","year":"1989"},{"key":"10.1016\/0304-3975(94)90110-4_BIB14","article-title":"Algebraic specification of modules and modular software systems within the framework of specification logics","author":"Ehrig","year":"1989","journal-title":"Tech. Report. 89\/17"},{"key":"10.1016\/0304-3975(94)90110-4_BIB15","first-page":"79","article-title":"Concepts and compatibility requirements for implementations and transformations of specifications, algebraic specification column","author":"Ehrig","year":"1989","journal-title":"Bull. EATCS38"},{"key":"10.1016\/0304-3975(94)90110-4_BIB16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-10828-9_51","article-title":"Algebraic theory of parameterized specifications with requirements","volume":"Vol. 112","author":"Ehrig","year":"1981","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/0304-3975(94)90110-4_BIB17","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-56610-4_54","article-title":"Compositionality results for different types of parameterization and parameter passing in specification languages","author":"Ehrig","year":"1993","journal-title":"Proc. TAPSOFT'93"},{"key":"10.1016\/0304-3975(94)90110-4_BIB18","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/3-540-10003-2_68","article-title":"Parameterized data types in algebraic specification languages","volume":"Vol. 85","author":"Ehrig","year":"1980","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/0304-3975(94)90110-4_BIB19","first-page":"322","article-title":"Parameter passing in algebraic specification languages","volume":"Vol. 134","author":"Ehrig","year":"1984"},{"key":"10.1016\/0304-3975(94)90110-4_BIB20","series-title":"Internat. Workshop Graph Grammars and Their Applications to Comp. Sci. &Biology","article-title":"Constructing specifications of abstract data types by replacements","author":"Ehrich","year":"1978"},{"key":"10.1016\/0304-3975(94)90110-4_BIB21","article-title":"Fundamentals of Algebraic Specification 1. Equations and Initial Semantics","volume":"Vol. 6","author":"Ehrig","year":"1985"},{"key":"10.1016\/0304-3975(94)90110-4_BIB22","article-title":"Fundamentals of Algebraic Specification 2. Module Specifications and Constraints","volume":"Vol. 21","author":"Ehrig","year":"1990"},{"key":"10.1016\/0304-3975(94)90110-4_BIB23","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0304-3975(90)90049-N","article-title":"Combining data type and recursive process specifications using projection algebras","volume":"71","author":"Ehrig","year":"1991","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(94)90110-4_BIB24","first-page":"263","article-title":"On recent trends in algebraic specification","volume":"Vol. 372","author":"Ehrig","year":"1989"},{"key":"10.1016\/0304-3975(94)90110-4_BIB25","series-title":"Tech. Report. No. 82-09","article-title":"Algebraic constraints for specifications and canonical form results","author":"Ehrig","year":"1982"},{"key":"10.1016\/0304-3975(94)90110-4_BIB26","first-page":"188","article-title":"Algebraic specifications with generating constraints","volume":"Vol. 154","author":"Ehrig","year":"1983"},{"key":"10.1016\/0304-3975(94)90110-4_BIB27","article-title":"Algebraic specifications of modules","author":"Ehrig","year":"1985","journal-title":"Proc. IFIP Work Conf. 85: The Role of Abstract Models in Programming"},{"key":"10.1016\/0304-3975(94)90110-4_BIB28","series-title":"Information Processing 86","first-page":"675","article-title":"Programming in the large with algebraic module specifications","author":"Ehrig","year":"1986"},{"key":"10.1016\/0304-3975(94)90110-4_BIB29","series-title":"Tech. Report","article-title":"A final algebra semantics for parameterized specifications","author":"Ganzinger","year":"1980"},{"key":"10.1016\/0304-3975(94)90110-4_BIB30","first-page":"221","article-title":"Introducing institutions","volume":"Vol. 164","author":"Goguen","year":"1984"},{"key":"10.1016\/0304-3975(94)90110-4_BIB31","series-title":"Tech. Report CSLI-85-30","article-title":"Institutions: Abstract models, theory for computer science","author":"Goguen","year":"1985"},{"issue":"1","key":"10.1016\/0304-3975(94)90110-4_BIB32","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","article-title":"Institutions: Abstract model theory for specification and programming","volume":"39","author":"Goguen","year":"1992","journal-title":"J. ACM"},{"key":"10.1016\/0304-3975(94)90110-4_BIB33","first-page":"301","article-title":"Transformation of combined data type and process specifications, using projections algebras","volume":"Vol. 430","author":"Gro\u00dfe-Rhode","year":"1990"},{"key":"10.1016\/0304-3975(94)90110-4_BIB34","series-title":"Categorical Methods in Computer Science \u2014 with Aspects from Topology","article-title":"Parameterized data type and process specifications using projection algebras","volume":"Vol. 393","author":"Gro\u00dfe-Rhode","year":"1989"},{"key":"10.1016\/0304-3975(94)90110-4_BIB35","series-title":"Proc. Conf. on Categorical Algebra","first-page":"21","article-title":"Fibred and cofibred categories","author":"Gray","year":"1966"},{"key":"10.1016\/0304-3975(94)90110-4_BIB36","first-page":"16","article-title":"The integration of logical and algebraic types","volume":"Vol. 393","author":"Gray","year":"1989"},{"key":"10.1016\/0304-3975(94)90110-4_BIB37_1","series-title":"S\u00e9minaire de G\u00e9om\u00e9trie Alg\u00e9braique du Boid-Marie","article-title":"Cat\u00e9gories fibr\u00e9es et descente, in: in: Rev\u00e9tements \u00e9tales et groupe fondamental","author":"Grothendieck","year":"1963"},{"key":"10.1016\/0304-3975(94)90110-4_BIB37_2","first-page":"145","article-title":"Cat\u00e9gories fibr\u00e9es et descente, in: in: Rev\u00e9tements \u00e9tales et groupe fondamental","volume":"Vol. 224","author":"Grothendieck","year":"1971"},{"key":"10.1016\/0304-3975(94)90110-4_BIB38_1","article-title":"An initial algebra approach to the specification, correctness and implementation of abstract data types","author":"Goguen","year":"1976","journal-title":"IBM Research Report RC 6487"},{"key":"10.1016\/0304-3975(94)90110-4_BIB38_2","series-title":"Current Trends in Programming Methodology IV: Data Structuring","first-page":"80","article-title":"An initial algebra approach to the specification, correctness and implementation of abstract data types","author":"Goguen","year":"1978"},{"key":"10.1016\/0304-3975(94)90110-4_BIB39","series-title":"Category Theory","author":"Herrlich","year":"1973"},{"key":"10.1016\/0304-3975(94)90110-4_BIB40","article-title":"Indexed categories and their applications","volume":"Vol. 661","author":"Johnstone","year":"1978"},{"key":"10.1016\/0304-3975(94)90110-4_BIB41","series-title":"Categorical Methods in Computer Science \u2014 with Aspects from Topology","first-page":"50","article-title":"Empty carriers: the categorical burden on logic","volume":"Vol. 393","author":"Mahr","year":"1989"},{"key":"10.1016\/0304-3975(94)90110-4_BIB42","series-title":"Logic Colloquium '87","first-page":"275","article-title":"General logics","author":"Meseguer","year":"1989"},{"key":"10.1016\/0304-3975(94)90110-4_BIB43","series-title":"Habilitationsschrift","article-title":"Higher-order algebraic specifications","author":"M\u00f6ller","year":"1987"},{"key":"10.1016\/0304-3975(94)90110-4_BIB44","series-title":"Tech. Report DAIMI PB-370","article-title":"An Introduction to Action Semantics","author":"Mosses","year":"1991"},{"key":"10.1016\/0304-3975(94)90110-4_BIB45","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-50325-0_10","article-title":"Behavioral semantics for algebraic specification languages","volume":"Vol. 332","author":"Nivela","year":"1988","journal-title":"Lecture Notes in Computer Science"},{"key":"10.1016\/0304-3975(94)90110-4_BIB46","series-title":"Computer Science \u2014 with Aspects from Topology","first-page":"220","article-title":"Semantical constructions for categories of behavioral specifications","volume":"Vol. 393","author":"Orejas","year":"1989"},{"key":"10.1016\/0304-3975(94)90110-4_BIB47","series-title":"Technical Report","article-title":"Constraints for behavioral specifications","author":"Orejas","year":"1990"},{"key":"10.1016\/0304-3975(94)90110-4_BIB48","series-title":"Tech. Report No. 83-1","article-title":"Correctness, completeness, and consistency of equational data type specifications","author":"Padawitz","year":"1983"},{"key":"10.1016\/0304-3975(94)90110-4_BIB49","article-title":"Computing in Horn Clause Theories","volume":"Vol. 16","author":"Padawitz","year":"1988"},{"key":"10.1016\/0304-3975(94)90110-4_BIB50","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0019-9958(86)80027-4","article-title":"On specification theories, and models with higher types","volume":"68","author":"Poign\u00e9","year":"1986","journal-title":"Inform. and Control"},{"key":"10.1016\/0304-3975(94)90110-4_BIB51","first-page":"291","article-title":"Initially restricting algebraic theories","volume":"Vol. 88","author":"Reichel","year":"1980"},{"key":"10.1016\/0304-3975(94)90110-4_BIB52","first-page":"27","article-title":"Behavioural equivalence \u2014 a unifying concept for initial and final specification methods","author":"Reichel","year":"1981","journal-title":"Proc. 3rd Hungarian Comp. Sci. Conf."},{"key":"10.1016\/0304-3975(94)90110-4_BIB53","unstructured":"D. Sannella, S. Sokolowski and A. Tarlecki, Toward formal development of programs from algebraic specifications: parameterisation revisited. FB3-Mathematik\/Informatik, Universit\u00e4t Bremen, to appear in: Acta Informatica."},{"key":"10.1016\/0304-3975(94)90110-4_BIB54","series-title":"Proc. the Internat. Symp. on Semantics of Data Types","article-title":"Building specifications in an arbitrary institution","volume":"Vol. 173","author":"Sannella","year":"1984"},{"key":"10.1016\/0304-3975(94)90110-4_BIB55","series-title":"Information Proc. 86","first-page":"685","article-title":"Software-system development \u2014 An abstract view","author":"Tarlecki","year":"1986"},{"key":"10.1016\/0304-3975(94)90110-4_BIB56","first-page":"119","article-title":"Data type specification: parameterization and the power of specification techniques","author":"Thatcher","year":"1978","journal-title":"10th Symp. Theory of Computing"},{"key":"10.1016\/0304-3975(94)90110-4_BIB57","first-page":"490","article-title":"The formal description of data types using sketches","volume":"Vol. 298","author":"Wells","year":"1987"},{"issue":"123","key":"10.1016\/0304-3975(94)90110-4_BIB58","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0304-3975(86)90051-4","article-title":"Structured algebraic specifications: A kernel language","volume":"42","author":"Wirsing","year":"1986","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0304-3975(94)90110-4_BIB59","series-title":"Project MAC Progress Report 11","first-page":"28","article-title":"Algebraic specification of data types","author":"Zilles","year":"1974"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0304397594901104?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0304397594901104?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T09:59:16Z","timestamp":1555063156000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0304397594901104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":62,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["0304397594901104"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(94)90110-4","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}