{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:28:04Z","timestamp":1725456484413},"publisher-location":"Berlin\/Heidelberg","reference-count":39,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354057235X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013165","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:23:18Z","timestamp":1132730598000},"page":"17-32","source":"Crossref","is-referenced-by-count":9,"title":["Sketching concepts and computational model of TROLL light"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gogolla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Conrad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudolf","family":"Herzig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"LNCS 655","first-page":"1","volume-title":"Recent Trends in Data Type Specification \u2014 Proc. 8th Workshop on Specification of Abstract Data Types","author":"E. Astesiano","year":"1993","unstructured":"E. Astesiano and G. Reggio. Algebraic Specification of Concurrency. In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type Specification \u2014 Proc. 8th Workshop on Specification of Abstract Data Types, pages 1\u201339. Springer, Berlin, LNCS 655, 1993."},{"key":"3_CR2","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":"3_CR3","unstructured":"M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger, and K. St\u00d8len. The Requirement and Design Specification Language SPECTRUM \u2014 An Informal Introduction (Version 0.3). Technical Report TUM-I9140, Technische Universit\u00e4t M\u00fcnchen, 1992."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"D. Bjorner, C.A.R. Hoare, and H. Langmaack, editors. VDM'90: VDM and Z \u2014 Formal Methods in Software Development. Springer, LNCS 428, 1990.","DOI":"10.1007\/3-540-52513-0"},{"key":"3_CR5","series-title":"LNCS 501","volume-title":"The Compass Working Group: Algebraic System Specification and Development","year":"1991","unstructured":"M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas, and D. Sannella, editors. The Compass Working Group: Algebraic System Specification and Development. Springer, Berlin, LNCS 501, 1991."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"R. Breu. Algebraic Specification Techniques in Object Oriented Programming Environments. Springer, LNCS 562, 1991.","DOI":"10.1007\/3-540-54972-2"},{"key":"3_CR7","unstructured":"S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92\u201302, Technische Universit\u00e4t Braunschweig, 1992."},{"key":"3_CR8","volume-title":"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":"3_CR9","unstructured":"O.-J. Dahl and O. Owe. Formal Development with ABEL. Technical Report 159, University of Oslo, 1991."},{"key":"3_CR10","unstructured":"H. Ehrig, W. Fey, and H. Hansen. ACT ONE: An Algebraic Specification Language with Two Levels of Semantics. Technical Report 83-03, Technische Universit\u00e4t Berlin, 1983."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"H.-D. Ehrich, M. Gogolla, and U.W. Lipeck. Algebraische Spezifikation abstrakter Datentypen \u2014 Eine Einf\u00fchrung in die Theorie. Teubner, Stuttgart, 1989.","DOI":"10.1007\/978-3-322-94709-3"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"H.-D. Ehrich, J.A. Goguen, and A. Sernadas. A Categorial Theory of Objects as Observed Processes. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages (Proc. REX\/FOOL Workshop, Noordwijkerhood (NL)), pages 203\u2013228. Springer, LNCS 489, 1990.","DOI":"10.1007\/BFb0019445"},{"key":"3_CR13","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":"3_CR14","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":"3_CR15","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0304-3975(90)90049-N","volume":"71","author":"H. Ehrig","year":"1990","unstructured":"H. Ehrig, F. Parisi-Presicce, P. Boehm, C. Rieckhoff, C. Dimitrovici, and M. Gro\\e-Rhode. Combining Data Type and Recursive Process Specifications Using Projection Algebras. Theoretical Computer Science, 71:347\u2013380, 1990.","journal-title":"Theoretical Computer Science"},{"key":"3_CR16","first-page":"254","volume-title":"The Object-Based Specification Language II: Concepts, Syntax, and Semantics","author":"P. Gabriel","year":"1993","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 \u2014 Proc. 8th Workshop on Specification of Abstract Data Types, pages 254\u2013270, Berlin, 1993. Springer, LNCS 655."},{"key":"3_CR17","volume-title":"Technical Report","author":"M.-C. Gaudel","year":"1984","unstructured":"M.-C. Gaudel. A First Introduction to PLUSS. Technical Report, Universit\u00e9 de Paris-Sud, Orsay, 1984."},{"key":"3_CR18","unstructured":"J.A. Goguen and T. Winkler. Introducing OBJ3. Research Report SRICSL-88-9, SRI International, 1988."},{"issue":"3","key":"3_CR19","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":"3_CR20","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":"3_CR21","volume-title":"Systematic Software Developing Using VDM","author":"C.B. Jones","year":"1986","unstructured":"C.B. Jones. Systematic Software Developing Using VDM. Prentice-Hall, Englewood Cliffs (NJ), 1986."},{"key":"3_CR22","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":"3_CR23","series-title":"LNCS 494","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/3540539816_61","volume-title":"Proc. TAPSOFT'91, Brighton","author":"R. Jungclaus","year":"1991","unstructured":"R. Jungclaus, G. Saake, and C. Sernadas. Formal Specification of Object Systems. In S. Abramsky and T. Maibaum, editors, Proc. TAPSOFT'91, Brighton, pages 60\u201382. Springer, Berlin, LNCS 494, 1991."},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"G. Kappel and M. Schrefl. Object\/Behavior Diagrams. In Proc. 7th Int. Conf. on Data Engineering, Kobe (Japan), pages 530\u2013539, 1991.","DOI":"10.1109\/ICDE.1991.131502"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"J. Meseguer. A Logical Theory of Concurrent Objects and its Realization in the Maude Language. In G. Agha, P. Wegener, and A. Yonezawa, editors, Research Directions in Object-Based Concurrency. MIT Press, 1992. To appear.","DOI":"10.7551\/mitpress\/2087.003.0017"},{"issue":"1","key":"3_CR26","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional Rewriting as a Unified Model of Concurrency. Theoretical Computer Science, 96(1):73\u2013156, 1992.","journal-title":"Theoretical Computer Science"},{"key":"3_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communicating Systems. Springer, Berlin, 1980."},{"key":"3_CR28","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, pages 246\u2013265. Springer, LNCS 534, 1990.","DOI":"10.1007\/3-540-54496-8_13"},{"key":"3_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"W. Reisig. Petri Nets: An Introduction. Springer, Berlin, 1985."},{"key":"3_CR30","first-page":"39","volume-title":"Object-Oriented Databases: Analysis, Design & Construction (DS-4)","author":"A. Sernadas","year":"1991","unstructured":"A. Sernadas and H.-D. Ehrich. What is an Object, after all? 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 39\u201370. North-Holland, 1991."},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"C. Sernadas, P. Gouveia, J. Gouveia, A. Sernadas, and P. Resende. The Reification Dimension in Object-Oriented Database Design. In D. Harper and M.C. Norrie, editors, Proc. Int. Workshop on Specification of Database Systems, pages 275\u2013299. Springer, 1991.","DOI":"10.1007\/978-1-4471-3864-8_15"},{"key":"3_CR32","series-title":"Yourdon Press computing series","volume-title":"Object Life Cycles: Modeling the World in States","author":"S. Shlaer","year":"1992","unstructured":"S. Shlaer and S.J. Mellor. Object Life Cycles: Modeling the World in States. Yourdon Press computing series, Prentice-Hall, Englewood Cliffs (NJ), 1992."},{"key":"3_CR33","unstructured":"C. Sernadas, P. Resende, P. Gouveia, and A. Sernadas. In-the-large Object-Oriented Design of Information Systems. In F. Van Assche, B. Moulin, and C. Rolland, editors, Proc. Object-Oriented Approach in Information Systems, pages 209\u2013232. North Holland, 1991."},{"key":"3_CR34","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), pages 107\u2013116. Morgan-Kaufmann, Palo Alto, 1987."},{"key":"3_CR35","volume-title":"Technical report","author":"A. Sernadas","year":"1991","unstructured":"A. Sernadas, C. Sernadas, P. Gouveia, P. Resende, and J. Gouveia. OBLOG \u2014 Object-Oriented Logic: An Informal Introduction. Technical report, INESC, Lisbon, 1991."},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"D.T. Sannella and A. Tarlecki. Extended ML: An Institution-Independent Framework for Formal Program Development. In Proc. Workshop on Category Theory and Computer Programming, pages 364\u2013389. Springer, LNCS 240, 1986.","DOI":"10.1007\/3-540-17162-2_133"},{"key":"3_CR37","doi-asserted-by":"crossref","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, editor, Proc. 5th Int. Conf. Advanced Information Systems Engineering. Springer, LNCS Series, 1993. To appear.","DOI":"10.1007\/3-540-56777-1_25"},{"key":"3_CR38","first-page":"415","volume-title":"Object-Oriented Databases: Analysis, Design & Construction (DS-4)","author":"R. Wieringa","year":"1991","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":"3_CR39","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. Elsevier, North-Holland, 1990."}],"container-title":["Lecture Notes in Computer Science","Design and Implementation of Symbolic Computation Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013165","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T02:05:37Z","timestamp":1706753137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013165"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354057235X"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/bfb0013165","relation":{},"subject":[]}}