{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T04:58:30Z","timestamp":1771477110257,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540630890","type":"print"},{"value":"9783540691273","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0053386","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T04:12:53Z","timestamp":1149653573000},"page":"344-366","source":"Crossref","is-referenced-by-count":43,"title":["Towards a formalization of the Unified Modeling Language"],"prefix":"10.1007","author":[{"given":"Ruth","family":"Breu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ursula","family":"Hinkel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Hofmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cornel","family":"Klein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Paech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Veronika","family":"Thurner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"15_CR1","unstructured":"G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, 1994."},{"key":"15_CR2","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language for Object-Oriented Development, Version 1.0, 1996."},{"key":"15_CR3","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language for Object-Oriented Development, Version 0.9, 1996."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"R. Breu and R. Grosu. Modeling the dynamic behaviour of objects \u2014 about events, messages and methods, submitted to publication, 1997.","DOI":"10.1007\/BFb0002785"},{"key":"15_CR5","unstructured":"M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems \u2014 An Introduction to focus \u2014 revised version-. SFB-Bericht 342\/2-2\/92 A, Technische Universit\u00e4t M\u00fcnchen, January 1993."},{"key":"15_CR6","volume-title":"Technical Report SFB 342\/2\/92 A","author":"M. Broy","year":"1993","unstructured":"M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, and R. Weber. The Design of Distributed Systems \u2014 An Introduction to FOCUS. Technical Report SFB 342\/2\/92 A, Technische Universit\u00e4t M\u00fcnchen, 1993. http:\/\/www4.informatik.tu-muenchen.de\/reports\/TUM-I9202.ps.gz."},{"key":"15_CR7","unstructured":"M. Broy, R. Grosu, and C. Klein. Timed State Transition Diagrams, submitted to publication, 1997."},{"key":"15_CR8","unstructured":"M. Broy, C. Hofmann, I. Kr\u00fcger, and M. Schmidt. A graphical description technique for communication in software architectures. Technical Report TUM-I9705, Technische Universit\u00e4t M\u00fcnchen, 1997."},{"key":"15_CR9","first-page":"247","volume-title":"LNCS 863","author":"M. Broy","year":"1994","unstructured":"M. Broy and K. St\u00d8len. Specification and Refinement of Finite Dataflow Networks \u2014 a Relational Approach. In Proc. FTRTFT'94, LNCS 863, pages 247\u2013267. Springer-Verlag, Berlin, 1994."},{"key":"15_CR10","unstructured":"S. Cook and J. Daniels. Designing Object Systems. Prentice Hall, 1994."},{"key":"15_CR11","unstructured":"R. Grosu, C. Klein, and B. Rumpe. Enhancing the syslab system model with state. TUM-I 9631, Technische Universit\u00e4t M\u00fcnchen, 1996. http:\/\/www4.informatik.tu-muenchen.de\/reports\/TUM-I9631.html."},{"key":"15_CR12","unstructured":"R. Grosu, C. Klein, B. Rumpe, and M. Broy. State transition diagrams. TUM-I 9630, Technische Universit\u00e4t M\u00fcnchen, 1996. http:\/\/www4.informatik.tu-muenchen.de\/reports\/TUM-I9630.html."},{"key":"15_CR13","unstructured":"R. Grosu and B. Rumpe. Concurrent timed port automata. TUM-I 9533, Technische Universit\u00e4t M\u00fcnchen, 1995. http:\/\/www4.informatik.tu-muenchen.de\/reports\/TUM-I9533.html."},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"15_CR15","unstructured":"R. Hettler. Description techniques for data in the SYSLAB method. Technical Report TUM-I9632, Technische Universit\u00e4t M\u00fcnchen, 1996. http:\/\/www4.informatik.tu-muenchen.de\/reports\/TUM-I9632.html."},{"key":"15_CR16","unstructured":"C. Hofmann, C. Klein, and B. Rumpe. The object oriented system model, internal report, to appear as technical report, Technische Universit\u00e4t M\u00fcnchen, 1997."},{"key":"15_CR17","unstructured":"I. Jacobson. Object-Oriented Software Engineering \u2014 A Use Case Driven Approach. Addison-Wesley, 1992."},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"C. Klein, B. Rumpe, and M. Broy. A stream-based mathematical model for distributed information processing systems \u2014 SysLab system model-. In Elie Naijm and Jean-Bernard Stefani, editors, FMOODS'96 Formal Methods for Open Object-based Distributed Systems, pages 323\u2013338. ENST France Telecom, 1996.","DOI":"10.1007\/978-0-387-35082-0_23"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"B. Liskov and J.M. Wing. A new definition of the subtype relation. In EC00P,LNCS 707, pages 118\u2013141. Springer Verlag, 1993.","DOI":"10.21236\/ADA265548"},{"key":"15_CR20","volume-title":"The Semantics of the Unified Modeling Language \u2014 Tutorial at OOPSLA '96","author":"G. \u00f6vergaard","year":"1996","unstructured":"G. \u00f6vergaard. The Semantics of the Unified Modeling Language \u2014 Tutorial at OOPSLA '96. ACM, San Jose, October 1996."},{"key":"15_CR21","unstructured":"B. Paech. A framework for interaction description with roles, submitted to publication, 1997."},{"key":"15_CR22","volume-title":"LNCS 873","author":"B. Paech","year":"1994","unstructured":"B. Paech and B. Rumpe. A new Concept of Refinement used for Behaviour Modelling with Automata. In FME'94, Formal Methods Europe, Symposium '94, LNCS 873. Springer-Verlag, Berlin, October 1994."},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"B. Paech and B. Rumpe. The state based description of services, submitted to publication, 1997.","DOI":"10.1007\/978-0-387-35261-9_20"},{"key":"15_CR24","unstructured":"J. Rumbaugh. Object-Oriented Modelling and Design. Prentice Hall, 1991."},{"key":"15_CR25","unstructured":"B. Rumpe. Formale Methodik des Entwurfs verteilter objektorientierter Systeme. Herbert Utz Verlag Wissenschaft, 1996. PhD thesis, Technische Universit\u00e4t M\u00fcnchen."},{"key":"15_CR26","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-0-585-27524-6_16","volume-title":"Specification of Behavioral Semantics in Object-Oriented Information Modeling","author":"B. Rumpe","year":"1996","unstructured":"B. Rumpe and C. Klein. Automata with output as description of object behavior. In H. Kilov and W. Harvey, editors, Specification of Behavioral Semantics in Object-Oriented Information Modeling, pages 265\u2013286, Norwell, Massachusetts, 1996. Kluwer Academic Publishers. http:\/\/www4.informatik.tu-muenchen.de\/papers\/RumpeKlein_SoBS1996.html."},{"key":"15_CR27","unstructured":"B. Rumpe, C. Klein, and M. Broy. Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme \u2014 Syslab Systemmodell-. Technical Report TUM-I9510, Technische Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, March 1995. http:\/\/www4.informatik.tu-muenchen.de\/reports\/TUM-I9510.ps.gz."},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"B. Sch\u00e4tz, H. Hu\u00dfmann, and M. Broy. Graphical Development of Consistent System Specifications. In J. Woodcock M.-C. Gaudel, editor, FME'96: Industrial Benefit and Advances In Formal Methods, pages 248\u2013267. Springer, Lecture Notes in Computer Science 1051, 1996.","DOI":"10.1007\/3-540-60973-3_91"},{"key":"15_CR29","unstructured":"V. Thurner. A description technique for business process modelling, internal report, to appear, 1997."}],"container-title":["Lecture Notes in Computer Science","ECOOP'97 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053386","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T17:01:44Z","timestamp":1683478904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053386"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630890","9783540691273"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/bfb0053386","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}