{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:56Z","timestamp":1761611216190},"publisher-location":"Berlin, Heidelberg","reference-count":34,"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_4","type":"book-chapter","created":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T06:29:04Z","timestamp":1193552944000},"page":"40-60","source":"Crossref","is-referenced-by-count":7,"title":["Integrating Semantics for Object\u2014Oriented System Models"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gro\u00dfe-Rhode","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. A Theory of Objects. Springer Verlag, 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"issue":"3","key":"4_CR2","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/S1389-1286(00)00114-6","volume":"34","author":"E.A. Boiten","year":"2000","unstructured":"E.A. Boiten, H. Bowman, J. Derrick, P.F. Linington, and M.W.A. Steen. Viewpoint consistency in ODP. Computer Networks, 34(3):503\u2013537, 2000.","journal-title":"Computer Networks"},{"key":"4_CR3","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language, User Guide. Addison-Wesley, 1998."},{"key":"4_CR4","series-title":"Technical Aspects and Applications","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/978-3-642-48673-9_7","volume-title":"The Unified Modeling Language","author":"R. Breu","year":"1998","unstructured":"R. Breu, R. Grosu, F. Huber, B. Rumpe, and W. Schwerin. Systems, views and models of UML. In Martin Schader and Axel Korthaus, editors, The Unified Modeling Language, Technical Aspects and Applications, pages 93\u2013109. Physica Verlag, Heidelberg, 1998."},{"key":"4_CR5","unstructured":"Brinksma, E. (ed.). Information processing systems-Open Systems Interconnection-LOTOS-A formal description technique based on the temporal ordering of observational behaviour. ISO 8807, 1989. International Standard."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"M. Broy and K. Stolen. Specification and Development of Interactive Systems. FOCUS on Streams, Interfaces, and Refinement. Springer Verlag, 2001.","DOI":"10.1007\/978-1-4613-0091-5"},{"key":"4_CR7","series-title":"Lect Notes Comput Sci","volume-title":"UML\u201998-Beyond the Notation","author":"J.-M. Bruel","year":"1998","unstructured":"J.-M. Bruel and R.B. France. Transforming UML models to formal specifications. In P.-A. Muller and J. Bezivin, editors, UML\u201998-Beyond the Notation. Springer LNCS, 1998."},{"key":"4_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-45314-8_3","volume-title":"Proc. Fundamental Approaches to Software Engineering (FASE 2001)","author":"T. Clark","year":"2001","unstructured":"T. Clark, A. Evans, and S. Kent. The metamodelling language calculus: Foundational semantics for UML. In H. Hussmann, editor, Proc. Fundamental Approaches to Software Engineering (FASE 2001), LNCS 2029, pages 17\u201331. Springer Verlag, 2001."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS\u201999), pages 293\u2013312. Kluwer Academic Publishers, 1999.","DOI":"10.1007\/978-0-387-35562-7_23"},{"key":"4_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-62503-8","volume-title":"Proc. COMPOS\u201997","author":"W. Damm","year":"1997","unstructured":"W. Damm, B. Josko, H. Hungar, and A. Pnueli. A compositional real-time semantics of STATEMATE designs. In W.-P. de Roever, H. Langmaack, and A. Pnueli, editors, Proc. COMPOS\u201997, volume 1536 of LNCS, 1997."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"R. Droms. Dynamic host configuration protocol. IETF, Networking Group, March 1997. Available at http:\/\/www.ietf.org\/rfc\/rfc2131.txt .","DOI":"10.17487\/rfc2131"},{"key":"4_CR12","unstructured":"D.F. D\u2019Souza and A.C. Wills. Objects, Components, and Frameworks with UML. The Catalysis Approach. Object Technology Series. Addison Wesley, 1999."},{"key":"4_CR13","series-title":"EATCS Monographs on Theoretical Computer Science","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, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"R. Eshuis and R. Wieringa. Requirements-level semantics for UML statecharts. In S.F. Smith and C.L. Talcott, editors, Proc. FMOODS 2000, IFIP TC6\/WG6.1, pages 121\u2013140. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-0-387-35520-7_6"},{"key":"4_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 2nd International Conference on the UML","author":"A. Evans","year":"1999","unstructured":"A. Evans and S. Kent. Core meta-modelling semantics of UML: The pUML approach. In B. Rumpe and R.B. France, editors, Proc. 2nd International Conference on the UML. Springer LNCS 1723, 1999."},{"issue":"3","key":"4_CR16","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 specifications. Formal Aspects of Computing, 4(3):239\u2013272, 1992.","journal-title":"Formal Aspects of Computing"},{"key":"4_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45499-3_33","volume-title":"Proc. Algebraic Methodology and Software Technology (AMAST 2000)","author":"C. Fischer","year":"2000","unstructured":"C. Fischer and H. Wehrheim. Behavioural subtyping relations for object-oriented formalisms. In T. Rus, editor, Proc. Algebraic Methodology and Software Technology (AMAST 2000). Springer LNCS 1816, 2000."},{"issue":"1","key":"4_CR18","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and R.M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95\u2013146, 1992.","journal-title":"Journal of the ACM"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"M. Gro\u00dfe-Rhode. A compositional comparison of specifications of the alternating bit protocol in CCS and UNITY based on algebra transformation systems. In K. Araki, A. Galloway, and K. Taguchi, editors, Proc. of the 1st International Conference on Integrated Formal Methods (IFM\u201999), York, UK, 28-29 June 1999, pages 253\u2013272. Springer Verlag, 1999.","DOI":"10.1007\/978-1-4471-0851-1_14"},{"key":"4_CR20","unstructured":"M. Gro\u00dfe-Rhode. Semantic integration of heterogeneous formal specifications via transformation systems. Technical report, TU Berlin, 2001."},{"key":"4_CR21","unstructured":"Object Management Group. Unified Modeling Language-version 1.3, 2000. Available at http:\/\/www.omg.org\/uml ."},{"key":"4_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/3-540-45319-9_35","volume-title":"Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001)","author":"J. Klose","year":"2001","unstructured":"J. Klose and H. Wittke. An automata based interpretation of life sequence charts. In Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), pages 512\u2013527. Springer LNCS 2031, 2001."},{"key":"4_CR23","unstructured":"P.F. Linington. Introduction to the open distributed processing basic reference model. In J. de Meer, V. Heymer, and R. Roth, editors, Proceedings IFIP TC6\/WG6.4 International Workshop on Open Distributed Processing, pages 3\u201313, 1991."},{"key":"4_CR24","unstructured":"G. L\u00fcttgen, M. von der Beeck, and R. Cleaveland. A compositional approach to statecharts semantics. Technical Report NASA\/CR-2000-210086, ICASE Report No. 2000-12, Langley Research Center, 2000."},{"key":"4_CR25","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall International, 1989."},{"key":"4_CR26","unstructured":"ITU-T recommendation X.901-X.904, ISO\/IEC standard 10746. Reference Model of Open Distributed Processing, 1994."},{"key":"4_CR27","unstructured":"M. \u00d6zhan. Semantische Konsistenzanalyse von UML Sequenz-und Zustandsdiagrammen. Technical Report 2001\/07, TU Berlin, 2001."},{"key":"4_CR28","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/3-540-45314-8_13","volume-title":"Proc. Fundamental Approaches to Software Engineering (FASE 2001)","author":"G. Reggio","year":"2001","unstructured":"G. Reggio, M. Cerioli, and E. Astesiano. Towards a rigoruos semantics of UML supporting its multiview aproach. In H. Hussmann, editor, Proc. Fundamental Approaches to Software Engineering (FASE 2001), LNCS 2029, pages 171\u2013186. Springer Verlag, 2001."},{"key":"4_CR29","series-title":"Technical Report 2000\/15","volume-title":"Translation of UML class diagrams into diagrams of transformation specifications","author":"J. Tenzer","year":"2000","unstructured":"J. Tenzer. Translation of UML class diagrams into diagrams of transformation specifications. Technical Report 2000\/15, TU Berlin, FB Informatik, November 2000."},{"key":"4_CR30","unstructured":"A. Tsiolakis. Semantic analysis and consistency checking of UML sequence diagrams. Technical Report 2001\/06, TU Berlin, 2001."},{"key":"4_CR31","series-title":"Lect Notes Comput Sci","first-page":"128","volume-title":"Third International School and Symposium on Formal Techniques in Real-time and Fault-tolerant Systems (FTRTFT\u201994)","author":"M. Beeck von der","year":"1994","unstructured":"M. von der Beeck. A comparison of Statechart variants. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Third International School and Symposium on Formal Techniques in Real-time and Fault-tolerant Systems (FTRTFT\u201994), pages 128\u2013148. Springer LNCS 863, 1994."},{"key":"4_CR32","unstructured":"J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998."},{"key":"4_CR33","unstructured":"M. Weber. Abstract object systems-a three-layer model of concurrent real-time object systems. Technical Report 97\/12, TU Berlin, 1997."},{"key":"4_CR34","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/3-540-48166-4_24","volume-title":"Proc. Software Engineering ESEC\/FSE\u201999","author":"M. Wermelinger","year":"1999","unstructured":"M. Wermelinger and J.L. Fiadeiro. Algebraic software architecture reconfiguration. In Proc. Software Engineering ESEC\/FSE\u201999, pages 393\u2013409. Springer LNCS 1687, 1999."}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:28:58Z","timestamp":1556936938000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48224-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422877","9783540482246"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-48224-5_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}