{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:46:17Z","timestamp":1725493577982},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008996"},{"type":"electronic","value":"9783540365785"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36578-8_10","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T03:16:11Z","timestamp":1193454971000},"page":"135-149","source":"Crossref","is-referenced-by-count":9,"title":["Modelling Recursive Calls with UML State Diagrams"],"prefix":"10.1007","author":[{"given":"Jennifer","family":"Tenzer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Perdita","family":"Stevens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, K. Etessami, and M. Yannakakis. Analysis of recursive state machines. In Computer Aided Verification, pages 207\u2013220, 2001.","DOI":"10.1007\/3-540-44585-4_18"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"M. Benedikt, P. Godefroid, and T.W. Reps. Model checking of unrestricted hierarchical state machines. In Automata, Languages and Programming, pages 652\u2013666, 2001.","DOI":"10.1007\/3-540-48224-5_54"},{"key":"10_CR3","unstructured":"Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison Wesley Longman, 1998."},{"key":"10_CR4","unstructured":"E. B\u00f6rger, A. Cavarra, and E. Riccobene. A precise semantics of UML state machines: making semantic variation points and ambiguities explicit. In Proc. of Semantic Foundations of Engineering Design Languages (SFEDL), Satellite Workshop of ETAPS 2002, 2002."},{"key":"10_CR5","unstructured":"M. Gogolla and F. Parisi-Presicce. State diagrams in UML: A formal semantics using graph transformations. In Manfred Broy, Derek Coleman, Tom S. E. Maibaum, and Bernhard Rumpe, editors, Proceedings PSMT\u201998 Workshop on Precise Semantics for Modeling Techniques. Technische Universit\u00e4t M\u00fcnchen, TUM-I9803, 1998."},{"key":"10_CR6","unstructured":"R. Grosu, Yanhon A. Liu, S.A. Smolka, S.D. Stoller, and J. Yan. Automated software engineering using concurrent class machines. In Proc. of the 16th IEEE International Conference on Automated Software Engineering, ASE\u201901. IEEE, 2001."},{"issue":"7","key":"10_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D. Harel","year":"1997","unstructured":"D. Harel and E. Gery. Executable object modeling with statecharts. IEEE Computer, 30:7:31\u201342, 1997.","journal-title":"IEEE Computer"},{"key":"10_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/3-540-45441-1_19","volume-title":"UML 2001-The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"S. Kuske","year":"2001","unstructured":"S. Kuske. A formal semantics of UML state machines based on structured graph transformation. In Martin Gogolla and Cris Kobryn, editors, UML 2001-The Unified Modeling Language. Modeling Languages, Concepts, and Tools, volume 2185 of Lecture Notes in Computer Science, pages 241\u2013256, 2001."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML statechart diagrams. In Proc. FMOODS\u201999, IFIP TC6\/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, Florence, Italy, February 15-18, 1999. Kluwer, 1999.","DOI":"10.1007\/978-0-387-35562-7_25"},{"key":"10_CR10","unstructured":"OMG. Unified Modeling Language Specification version 1.4, September 2001. OMG document formal\/01-09-67 available from http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm ."},{"key":"10_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-46428-X_10","volume-title":"FASE 2000-Fundamental Approaches to Software Engineering","author":"G. Reggio","year":"2000","unstructured":"G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. Analysing UML active classes and associated state machines-A lightweight formal approach. In FASE 2000-Fundamental Approaches to Software Engineering, volume 1783 of Lecture Notes in Computer Science, pages 127\u2013146, 2000."},{"key":"10_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/3-540-45441-1_30","volume-title":"UML 2001-The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"M. Beeck von der","year":"2001","unstructured":"M. von der Beeck. Formalization of UML-Statecharts. In Martin Gogolla and Cris Kobryn, editors, UML 2001-The Unified Modeling Language. Modeling Languages, Concepts, and Tools, volume 2185 of Lecture Notes in Computer Science, pages 406\u2013421, 2001."},{"key":"10_CR13","unstructured":"Perdita Stevens with Rob Pooley. Using UML: software engineering with objects and components. Addison Wesley Longman, 1999 (updated edition)."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36578-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:08:00Z","timestamp":1556921280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36578-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008996","9783540365785"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-36578-8_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}