{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:19Z","timestamp":1725664039385},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540588672"},{"type":"electronic","value":"9783540491330"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-58867-1_65","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:52:16Z","timestamp":1330257136000},"page":"373-381","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["TROLL light"],"prefix":"10.1007","author":[{"given":"Rudolf","family":"Herzig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolaos","family":"Vlachantonis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"21_CR1","unstructured":"P. Loucopoulos and R. Zicari, editors. Conceptual Modeling, Databases, and CASE: An Integrated View of Information Systems Development. John Wiley & Sons, Inc., 1992."},{"key":"21_CR2","first-page":"31","volume-title":"Three Roles of Conceptual Models in Information System Design and Use","author":"R.J. Wieringa","year":"1989","unstructured":"R.J. Wieringa. Three Roles of Conceptual Models in Information System Design and Use. In E. Falkenberg and P. Lindgreen, editors, Information System Concepts: An In-Depth Analysis, Proc. IFIP WG8.1 Working Conference, Namur (Belgium), pages 31\u201351. North-Holland, Amsterdam, 1989."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"H.-D. Ehrich, G. Denker and A. Sernadas. Constructing Systems as Object Communities. In M.-C. Gaudel and J.-P. Jouannaud, editors, Proc. TAPSOFT'93: Theory and Practice of Software Development, pages 453\u2013467. Springer LNCS 668, 1993.","DOI":"10.1007\/3-540-56610-4_82"},{"key":"21_CR4","unstructured":"S. Conrad, M. Gogolla and R. Herzig, TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, Technische Universit\u00e4t Braunschweig, 1992."},{"key":"21_CR5","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, pages 107\u2013116. Morgan-Kaufmann, 1987."},{"key":"21_CR6","volume-title":"OBL-89 Users Manual (Version 2.3). Internal report","author":"J.-F. Costa","year":"1989","unstructured":"J.-F. Costa, A. Sernadas and C. Sernadas. OBL-89 Users Manual (Version 2.3). Internal report, INESC, Lisbon, 1989."},{"key":"21_CR7","unstructured":"R. Jungclaus, G. Saake, T. Hartmann and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91-04, Technische Universit\u00e4t Braunschweig, 1991."},{"key":"21_CR8","doi-asserted-by":"crossref","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, pages 17\u201332. Springer LNCS 722, 1993.","DOI":"10.1007\/BFb0013165"},{"key":"21_CR9","first-page":"463","volume-title":"LNCS 685","author":"N. Viachantonis","year":"1993","unstructured":"N. Viachantonis, R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H.-D. Ehrich. Towards Reliable Information Systems: The KORSO Approach. In C. Rolland, F. Bodart and C. Cauvet, editors, Advanced Information Systems Engineering Proc. 5th CAiSE'93, Paris, pages 463\u2013482. Springer LNCS 685, 1993."},{"key":"21_CR10","unstructured":"R. Herzig and N. Vlachantonis. Spezifikation einer Fertigungszelle in TROLL light. Interner Bericht, Technische Universit\u00e4t Braunschweig, 1992."},{"key":"21_CR11","first-page":"415","volume-title":"Object-Oriented Databases: Analysis, Design & Construction (DS-4)","author":"R.J. Wieringa","year":"1991","unstructured":"R.J. 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 WG2.6 Working Conference, Windermere (UK) 1990, pages 415\u2013438. North Holland, Amsterdam, 1991."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"E. Dubois, P. Du Bois, and M. Petit. O-O Requirements Analysis: an Agent Perspective In O.M. Nierstrasz, editor, ECOOP'93 \u2014 Object-Oriented Programming, pages 458\u2013481. Springer LNCS 707, 1993.","DOI":"10.1007\/3-540-47910-4_23"}],"container-title":["Lecture Notes in Computer Science","Formal Development of Reactive Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58867-1_65","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T18:30:32Z","timestamp":1578508232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58867-1_65"}},"subtitle":["Specification with a language for the conceptual modelling of information systems"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540588672","9783540491330"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-58867-1_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"7 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}