{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:21:17Z","timestamp":1725898877662},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591320"},{"type":"electronic","value":"9783540491989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0014434","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T18:08:44Z","timestamp":1134324524000},"page":"290-306","source":"Crossref","is-referenced-by-count":7,"title":["An algebraic semantics for the object specification language TROLL light"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gogolla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudolf","family":"Herzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"15_CR1","unstructured":"R. Achuthan, V.S. Alagar, and T. Radhakrishnan. An Object-Oriented Framework for Specifying Reactive Systems. In V.S. Alagar and R. Missaoui, editors, Proc. Colloquium on Object Orientation in Databases and Software Engineering (COODBSE'94), pages 18\u201330. Universit\u00e9 du Quebec \u00e0 Montr\u00e9al, 1994."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"E. Astesiano and E. Zucca. D-Oids: A Model for Dynamic Data-Types. Mathematical Structures in Computer Science, 1994.","DOI":"10.1017\/S0960129500000736"},{"key":"15_CR3","unstructured":"G. v. Bochmann, M. Barbeau, M. Erradi, L. Lecomte, P. Mondain-Monval, and N. Williams. Mondel: An Object-Oriented Specification Language. D\u00e9partement d'Informatique et de Recherche Op\u00e9rationnelle, Publication 748, Universit\u00e9 de Montr\u00e9al, 1990."},{"key":"15_CR4","series-title":"Technical Report CS-R8411","volume-title":"Object-Oriented Algebraic Specification: Proposal for a Notation and 12 Examples","author":"J.A. Bergstra","year":"1984","unstructured":"J.A. Bergstra, J. Heering, and J.W. Klop. Object-Oriented Algebraic Specification: Proposal for a Notation and 12 Examples. Technical Report CS-R8411, CWI, Department of Computer Science, Amsterdam, 1984."},{"key":"15_CR5","volume-title":"LNCS 562","author":"R. Breu","year":"1991","unstructured":"R. Breu. Algebraic Specification Techniques in Object Oriented Programming Environments. Springer, Berlin, LNCS 562, 1991."},{"key":"15_CR6","volume-title":"Informatik-Bericht 92-02","author":"S. Conrad","year":"1992","unstructured":"S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, TU Braunschweig, 1992."},{"key":"15_CR7","series-title":"LNCS 785","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-57867-6_8","volume-title":"Recent Trends in Data Type Specification (WADT'92)","author":"S. Clerici","year":"1994","unstructured":"S. Clerici, R. Jimenez, and F. Orejas. Semantic Constructions in the Specification Language GLIDER. In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type Specification (WADT'92), pages 144\u2013157. Springer, Berlin, LNCS 785, 1994."},{"key":"15_CR8","unstructured":"P. Dauchy and M.-C. Gaudel. Algebraic Specifications with Implicit State. Technical Report 887, Universit\u00e9 de Paris-Sud, 1994."},{"key":"15_CR9","unstructured":"O.-J. Dahl and O. Owe. Formal Development with ABEL. Technical Report 159, University of Oslo, 1991."},{"key":"15_CR10","series-title":"LNCS 668","first-page":"453","volume-title":"Constructing Systems as Object Communities","author":"H.-D. Ehrich","year":"1993","unstructured":"H.-D. Ehrich, G. Denker, and A. Sernadas. Constructing Systems as Object Communities. In M.-C. Gaudel and J.-P. Jouannaud, editors, Proc. Theory and Practice of Software Development (TAPSOFT'93), pages 453\u2013467. Springer, Berlin, LNCS 668, 1993."},{"key":"15_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, Berlin, 1985."},{"key":"15_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specification 2: Modules and Constraints","author":"H. Ehrig","year":"1990","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Modules and Constraints. Springer, Berlin, 1990."},{"key":"15_CR13","first-page":"162","volume":"53","author":"H. Ehrig","year":"1994","unstructured":"H. Ehrig and F. Orejas. Dynamic Abstract Data Types: An Informal Proposal. EATCS Bulletin, 53:162\u2013169, 1994.","journal-title":"EATCS Bulletin"},{"key":"15_CR14","first-page":"231","volume-title":"Algebraic Specification of Modules","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and H. Weber. Algebraic Specification of Modules. In E.J. Neuhold and G. Chroust, editors, Formal Models in Programming \u2014 Proc. of the IFIP TC2 Working Conf. on the Role of Abstract Models in Information Processing, pages 231\u2013258. North-Holland, Amsterdam, 1985."},{"issue":"3","key":"15_CR15","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF01212304","volume":"4","author":"J. Fiadeiro","year":"1992","unstructured":"J. Fiadeiro and T. Maibaum. Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects of Computing, 4(3):239\u2013272, 1992.","journal-title":"Formal Aspects of Computing"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"P. Gabriel. The Object-Based Specification Language II: Concepts, Syntax, and Semantics. In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type Specification (WADT'91), pages 254\u2013270. Springer, LNCS 655, 1993.","DOI":"10.1007\/3-540-56379-2_44"},{"key":"15_CR17","first-page":"17","volume-title":"LNCS 722","author":"M. Gogolla","year":"1993","unstructured":"M. Gogolla, S. Conrad, and R. Herzig. Sketching Concepts and Computational Model of TROLL light. In A. Miola, editor, Proc. 3rd Int. Conf. Design and Implementation of Symbolic Computation Systems (DISCO'93), pages 17\u201332. Springer, Berlin, LNCS 722, 1993."},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"J.A. Goguen and R. Diaconescu. Towards an Algebraic Semantics for the Object Paradigm. In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type Specification (WADT'92), pages 1\u201329. Springer, LNCS 785, 1994.","DOI":"10.1007\/3-540-57867-6_1"},{"key":"15_CR19","first-page":"376","volume-title":"LNCS 823","author":"M. Gogolla","year":"1994","unstructured":"M. Gogolla, R. Herzig, S. Conrad, G. Denker, and N. Vlachantonis. Integrating the ER Approach in an OO Environment. In R. Elmasri, V. Kouramajian, and B. Thalheim, editors, Proc. 12th Int. Conf. on the Entity-Relationship Approach (ER'93), pages 376\u2013389. Springer, Berlin, LNCS 823, 1994."},{"key":"15_CR20","series-title":"LNCS 504","first-page":"144","volume-title":"Proc. 1st Int. East-West Database Workshop","author":"G. Gottlob","year":"1991","unstructured":"G. Gottlob, G. Kappel, and M. Schrefl. Semantics of Object-Oriented Data Models \u2014 The Evolving Algebra Approach. In J.W. Schmidt and A.A. Stogny, editors, Proc. 1st Int. East-West Database Workshop, pages 144\u2013160. Springer, Berlin, LNCS 504, 1991."},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"J.A. Goguen and J. Meseguer. Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 417\u2013477. MIT Press, 1987.","DOI":"10.1145\/323779.323755"},{"key":"15_CR22","first-page":"259","volume-title":"LNCS 351","author":"M. Gogolla","year":"1989","unstructured":"M. Gogolla. Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach. In J. Diaz and F. Orejas, editors, Proc. Theory and Practice of Software Development (TAPSOFT'89), pages 259\u2013274. Springer, Berlin, LNCS 351, 1989."},{"key":"15_CR23","series-title":"LNCS 534","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/3-540-54496-8_6","volume-title":"Recent Trends in Data Type Specification (WADT'90)","author":"M. Grosse-Rhode","year":"1991","unstructured":"M. Grosse-Rhode. Towards Object-Oriented Algebraic Specifications. In H. Ehrig, K.P. Jantke, F. Orejas, and H. Reichel, editors, Recent Trends in Data Type Specification (WADT'90), pages 98\u2013116. Springer, Berlin, LNCS 534, 1991."},{"key":"15_CR24","first-page":"1","volume-title":"Trends in Theoretical Computer Science","author":"Y. Gurevich","year":"1988","unstructured":"Y. Gurevich. Logic and the Challenge of Computer Science. In E. B\u00f6rger, editor, Trends in Theoretical Computer Science, pages 1\u201357. Computer Science Press, Rockville (MD), 1988."},{"key":"15_CR25","series-title":"Technical Report 94-06","volume-title":"The KORSO Approach to the Development of Reliable Information Systems","author":"M. Gogolla","year":"1994","unstructured":"M. Gogolla, N. Viachantonis, R. Herzig, G. Denker, S. Conrad, and H.-D. Ehrich. The KORSO Approach to the Development of Reliable Information Systems. Technical Report 94-06, TU Braunschweig, 1994."},{"key":"15_CR26","first-page":"183","volume-title":"Compositional Description of Object Communities with TROLL light","author":"R. Herzig","year":"1994","unstructured":"R. Herzig, S. Conrad, and M. Gogolla. Compositional Description of Object Communities with TROLL light. In C. Chrisment, editor, Proc. Basque Int. Workshop on Information Technology (BIWIT'94), pages 183\u2013194. C\u00e9padu\u00e8s-\u00c9ditions, Toulouse, 1994."},{"key":"15_CR27","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"M. Hennessy. Algebraic Theory of Processes. MIT Press, Cambridge (MA), 1988."},{"key":"15_CR28","series-title":"LNCS 858","first-page":"20","volume-title":"A SQL-like Query Calculus for Object-Oriented Database Systems","author":"R. Herzig","year":"1994","unstructured":"R. Herzig and M. Gogolla. A SQL-like Query Calculus for Object-Oriented Database Systems. In E. Bertino and S. Urban, editors, Proc. Int. Symp. on Object-Oriented Methodologies and Systems (ISOOMS'94), pages 20\u201339. Springer, Berlin, LNCS 858, 1994."},{"key":"15_CR29","unstructured":"R. Herzig and M. Gogolla. An Animator for the Object Specification Language TROLL light. In V.S. Alagar and R. Missaoui, editors, Proc. Colloquium on Object Orientation in Databases and Software Engineering (COODBSE'94), pages 4\u201317. Universit\u00e9 du Queb\u00e9c \u00e0 Montr\u00e9al, 1994."},{"issue":"3","key":"15_CR30","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/45072.45073","volume":"19","author":"R. Hull","year":"1987","unstructured":"R. Hull and R. King. Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys, 19(3):201\u2013260, 1987.","journal-title":"ACM Computing Surveys"},{"key":"15_CR31","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (NJ), 1985."},{"key":"15_CR32","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. InformatikBericht 91-04, Technische Universit\u00e4t Braunschweig, 1991."},{"key":"15_CR33","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs (NJ), 1989."},{"issue":"3","key":"15_CR34","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/62061.62062","volume":"20","author":"J. Peckham","year":"1988","unstructured":"J. Peckham and F. Maryanski. Semantic Data Models. ACM Computing Surveys, 20(3):153\u2013189, 1988.","journal-title":"ACM Computing Surveys"},{"key":"15_CR35","series-title":"LNCS 785","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/3-540-57867-6_18","volume-title":"Recent Trends in Data Type Specification (WADT'92)","author":"F. Paxisi-Presicce","year":"1994","unstructured":"F. Paxisi-Presicce and A. Pierantonio. Structured Inheritance for Algebraic Class Specifications. In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type Specification (WADT'92), pages 295\u2013309. Springer, Berlin, LNCS 785, 1994."},{"key":"15_CR36","doi-asserted-by":"crossref","unstructured":"G. Reggio. Entities: An Institution for Dynamic Systems. In H. Ehrig, K.P. Jantke, F. Orejas, and H. Reichel, editors, Recent Trends in Data Type Specification (WADT'90), pages 246\u2013265. Springer, LNCS 534, 1991.","DOI":"10.1007\/3-540-54496-8_13"},{"key":"15_CR37","doi-asserted-by":"crossref","unstructured":"H. Reichel. An Approach to Object Semantics Based on Terminal Co-Algebras. Mathematical Structures in Computer Science, 1994.","DOI":"10.1017\/S0960129500000694"},{"key":"15_CR38","unstructured":"A. Sernadas, C. Sernadas, and J.F. Costa. Object Specification Logic. Internal Report, INESC, University of Lisbon, 1992. To appear in Journal of Logic and Computation."},{"key":"15_CR39","first-page":"107","volume-title":"Object-Oriented Specification of Databases: An Algebraic Approach","author":"A. Sernadas","year":"1987","unstructured":"A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P.M. Stocker and W. Kent, editors, Proc. 13th Int. Conf. on Very Large Data Bases (VLDB'87), pages 107\u2013116. Morgan-Kaufmann, Palo Alto, 1987."},{"key":"15_CR40","unstructured":"R. Wieringa. Equational Specification of Dynamic Objects. In R.A. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design & Construction (DS-4), Proc. IFIP WG 2.6 Working Conference, Windermere (UK) 1990, pages 415\u2013438. North-Holland, 1991."},{"key":"15_CR41","first-page":"677","volume-title":"Handbook of Theoretical Computer Science, Vol. B","author":"M. Wirsing","year":"1990","unstructured":"M. Wirsing. Algebraic Specification. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pages 677\u2013788. North-Holland, Amsterdam, 1990."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014434","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T21:26:43Z","timestamp":1683322003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014434"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591320","9783540491989"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/bfb0014434","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}