{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:29:59Z","timestamp":1742383799963},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426677"},{"type":"electronic","value":"9783540454410"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45441-1_30","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T13:29:50Z","timestamp":1186406990000},"page":"406-421","source":"Crossref","is-referenced-by-count":17,"title":["Formalization of UML-Statecharts"],"prefix":"10.1007","author":[{"given":"Michael","family":"von der Beeck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,17]]},"reference":[{"key":"30_CR1","unstructured":"K. Compton, J. Huggins, and W. Shen. A Semantic Model for the State Machine in the Unified Modeling Language. In Proc. Dynamic Behaviour in UML Models: Semantic Questions, pages 25\u201331. LMU M\u00fcnchen, Institut f\u00fcr Informatik, Bericht 0006, 2000."},{"key":"30_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/3-540-40011-7_23","volume-title":"UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference,York, UK, October 2000, Proceedings","author":"G. Engels","year":"2000","unstructured":"G. Engels, J. H. Hausmann, R. Heckel, and S. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference,York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 323\u2013337. Springer, 2000."},{"key":"30_CR3","series-title":"Lect Notes Comput Sci","volume-title":"UML\u201999-The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28\u201330. 1999, Proceedings","author":"A. Evans","year":"1999","unstructured":"A. Evans and S. Kent. Core meta-modelling semantics of UML: The pUML approach. In R. France and B. Rumpe, editors, UML\u201999-The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28\u201330. 1999, Proceedings, volume 1723 of LNCS. Springer, 1999."},{"key":"30_CR4","unstructured":"M. Gogolla and F. Parisi-Presicce. State diagrams in UML: A formal semantics using graph transformations. In M. Broy, D. Coleman, T. S. E. Maibaum, and B. Rumpe, editors, Proceedings PSMT\u201998 Workshop on Precise Semantics for Modeling Techniques. Technische Universit\u00e4t M\u00fcnchen, TUM-I9803, 1998."},{"key":"30_CR5","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"},{"issue":"4","key":"30_CR6","first-page":"293","volume":"5","author":"D. Harel","year":"1996","unstructured":"D. Harel and A. Naamad. The STATEMATE semantics of Statecharts. ACMTransactions on Software Engineering, 5(4):293\u2013333, October 1996.","journal-title":"ACMTransactions on Software Engineering"},{"key":"30_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1007\/3-540-40011-7_39","volume-title":"UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference,York, UK, October 2000, Proceedings","author":"G. Kwon","year":"2000","unstructured":"G. Kwon. Rewrite rules and operational semantics for model checking UML statecharts. In A. Evans, S. Kent, and B. Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference,York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 528\u2013540. Springer, 2000."},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML Statechart diagrams. In Formal Methods for Open Object-based Distributed Systems. Chapman & Hall, 1999.","DOI":"10.1007\/978-0-387-35562-7_25"},{"key":"30_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/3-540-48320-9_28","volume-title":"Concurrency Theory (CONCUR\u2019 99)","author":"G. L\u00fcttgen","year":"1999","unstructured":"G. L\u00fcttgen, M. von der Beeck, and R. Cleaveland. Statecharts via process algebra. In Concurrency Theory (CONCUR\u2019 99), volume 1664 of Lecture Notes in Computer Science, pages 399\u2013414. Springer-Verlag, 1999."},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"G. L\u00fcttgen, M. von der Beeck, and R. Cleaveland. A Compositional Approach to Statecharts Semantics. In Proc. of ACM SIGSOFT Eighth Int. Symp. on the Foundations of Software Engineering (FSE-8), pages 120\u2013129. ACM, 2000.","DOI":"10.1145\/357474.355062"},{"key":"30_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1007\/3-540-61604-7_84","volume-title":"CONCUR\u2019 96 (Concurrency Theory)","author":"A. Maggiolo-Schettini","year":"1996","unstructured":"A. Maggiolo-Schettini, A. Peron, and S. Tini. Equivalences of Statecharts. In U. Montanari and V. Sassone, editors, CONCUR\u2019 96 (Concurrency Theory), volume 1119 of Lecture Notes in Computer Science, pages 687\u2013702, Pisa, Italy, August 1996. Springer-Verlag."},{"key":"30_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Asian Computing Science Conference (ASIAN\u2019 97)","author":"E. Mikk","year":"1997","unstructured":"E. Mikk, Y. Lakhnech, and M. Siegel. Hierarchical automata as model for Statecharts. In Proceedings of Asian Computing Science Conference (ASIAN\u2019 97), volume 1345 of Lecture Notes in Computer Science. Springer-Verlag, December 1997."},{"key":"30_CR13","unstructured":"OMG. OMG Unified Modeling Language Specification. Version 1.3 alpha R5, 1999."},{"key":"30_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-40011-7_12","volume-title":"UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings","author":"P. Padawitz","year":"2000","unstructured":"P. Padawitz. Swinging UML: How to make class diagrams and state machines amenable to constraint solving and proving. In A. Evans, S. Kent, and B. Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 162\u2013177. Springer, 2000."},{"key":"30_CR15","series-title":"Lect Notes Comput Sci","volume-title":"UML\u201999-The Unified Modeling Language. Beyond the Standard","author":"I. Paltor","year":"1999","unstructured":"I. Paltor and J. Lilius. Formalising UML state machines for model checking. In R. France and B. Rumpe, editors, UML\u201999-The Unified Modeling Language. Beyond the Standard., volume 1723 of LNCS. Springer, 1999."},{"key":"30_CR16","series-title":"Technical Report","volume-title":"A structural approach to operational semantics","author":"G. Plotkin","year":"1981","unstructured":"G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Department, Aarhus University, Denmark, 1981."},{"key":"30_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","volume-title":"Theoretical Aspects of Computer Software (TACS\u2019 91)","author":"A. Pnueli","year":"1991","unstructured":"A. Pnueli and M. Shalev. What is in a step: On the semantics of Statecharts. In Theoretical Aspects of Computer Software (TACS\u2019 91), volume 526 of Lecture Notes in Computer Science, pages 244\u2013264. Springer-Verlag, 1991."},{"key":"30_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-46428-X_10","volume-title":"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 Lightwight Formal Approach. In Fundamental Approaches to Software Engineering, number 1783 in LNCS, pages 127\u2013146. Springer, 2000."},{"key":"30_CR19","unstructured":"G. Reggio, M. Cerioli, and E. Astesiano. Towards a Rigorous Semantics of UML Supportin its Multiview Approach. In Proceedings Dynamic Behaviour in UML Models: Semantic Questions, pages 86\u201391. Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Bericht 0006, 2000."},{"key":"30_CR20","unstructured":"J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998."},{"key":"30_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/BFb0014994","volume-title":"CONCUR\u2019 94 (Concurrency Theory)","author":"A. Uselton","year":"1994","unstructured":"A. Uselton and S. Smolka. A compositional semantics for Statecharts using labeled transition systems. In B. Jonsson and J. Parrow, editors, CONCUR\u2019 94 (Concurrency Theory), volume 836 of Lecture Notes in Computer Science, pages 2\u201317. Springer-Verlag, 1994."},{"key":"30_CR22","doi-asserted-by":"crossref","unstructured":"M. von der Beeck. A Concise Compositional Statecharts Semantics Definition. In Proc. of FORTE\/PSTV 2000, pages 335\u2013350. Kluwer, 2000.","DOI":"10.1007\/978-0-387-35533-7_21"}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45441-1_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T15:45:09Z","timestamp":1556725509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45441-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426677","9783540454410"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45441-1_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}