{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:19:57Z","timestamp":1737436797404,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443100"},{"type":"electronic","value":"9783540458326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45832-8_28","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T15:13:34Z","timestamp":1188314014000},"page":"378-392","source":"Crossref","is-referenced-by-count":32,"title":["A Formal Semantics of UML Statecharts by Model Transition Systems"],"prefix":"10.1007","author":[{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"28_CR1","unstructured":"S. Bensalem, V. Ganesh, Y. Lakhnech, C. Munoz, S. Owre, H. Rue\u00df, J. Rushby, V. Rusu, H. Sa\u00efdi, N. Shankar, E. Singerman, and A. Tiwari. An overview of SAL. In C. M. Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187\u2013196, 2000."},{"key":"28_CR2","unstructured":"K. Compton, Y. Gurevich, J. Huggins, and W. Shen. An Automatic Verification Tool for UML. Technical Report CSE-TR-423-00, 2000."},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"G. Csert\u00e1n, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza, and D. Varr\u00f3. VIATRA: Visual automated transformations for formal verification and validation of UML models. In Proc. ASE 2002: International Conference on Automated Software Engineering. Submitted paper.","DOI":"10.1109\/ASE.2002.1115027"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook on Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools. World Scientific, 1999.","DOI":"10.1142\/4180"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"H. Ehrig, R. Heckel, M. Korff, M. L\u00f6we, L. Ribeiro, A. Wagner, and A. Corradini. In [17], chapter Algebraic Approaches to Graph Transformation \u2014 Part II: Single pushout approach and comparison with double pushout approach, pages 247\u2013312. World Scientific, 1997.","DOI":"10.1142\/9789812384720_0004"},{"key":"28_CR6","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","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, volume 1939 of LNCS, pages 323\u2013337. Springer, 2000."},{"key":"28_CR7","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."},{"issue":"3","key":"28_CR8","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(3):231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"28_CR9","unstructured":"R. Heckel, J. K\u00fcster, and G. Taentzer. Towards automatic translation of UML models into semantic domains. In Proc. AGT 2002: Workshop on Applied Graph Transformation, pages 11\u201321, Grenoble, France, April 2002."},{"issue":"5","key":"28_CR10","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279\u2013295, 1997.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"28_CR11","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 M. Gogolla and C. Kobryn, editors, UML 2001: The Unified Modeling Language. Modeling Languages, Concepts and Tools, volume 2185 of LNCS, pages 241\u2013256. Springer, 2001."},{"key":"28_CR12","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 state-charts. 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."},{"issue":"6","key":"28_CR13","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/s001659970003","volume":"11","author":"D. Latella","year":"1999","unstructured":"D. Latella, I. Majzik, and M. Massink. Automatic verification of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing, 11(6):637\u2013664, 1999.","journal-title":"Formal Aspects of Computing"},{"key":"28_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/3-540-63875-X_52","volume-title":"ASIAN\u201997 Third Asian Computing Conference. Advances in Computer Science","author":"E. Mikk","year":"1997","unstructured":"E. Mikk, Y. Lakhnech, and M. Siegel. Hierarchical automata as model for state-charts. In R. Shyamasundar and K. Euda, editors, ASIAN\u201997 Third Asian Computing Conference. Advances in Computer Science, volume 1345 of LNCS, pages 181\u2013196. Springer-Verlag, 1997."},{"key":"28_CR15","unstructured":"S. Owre, N. Shankar, J. Rushby, and D. Stringer-Calvert. The PVS language reference, Version 2.3. Technical report, SRI International, September 1999."},{"key":"28_CR16","unstructured":"I. Paltor and J. Lilius. vUML: A tool for verifying UML models. In R. J. Hall and E. Tyugu, editors, Proc. of the 14th IEEE International Conference on Automated Software Engineering, ASE\u201999. IEEE, 1999."},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations: Foundations. World Scientific, 1997.","DOI":"10.1142\/3303"},{"key":"28_CR18","unstructured":"J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999."},{"key":"28_CR19","unstructured":"A. Sch\u00fcrr, A. J. Winter, and A. Z\u00fcndorf. In G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook on Graph Grammars and Computing by Graph Transformation, volume 2: Applications, Languages and Tools. [4], chapter The PROGRES Approach: Language and Environment, pages 487\u2013550. World Scientific, 1999."},{"issue":"11","key":"28_CR20","first-page":"1088","volume":"6","author":"I. Traor\u00e9","year":"2000","unstructured":"I. Traor\u00e9. An outline of PVS semantics for UML Statecharts. Journal of Universal Computer Science, 6(11):1088\u20131108, Nov. 2000.","journal-title":"Journal of Universal Computer Science"},{"key":"28_CR21","unstructured":"D. Varr\u00f3. Towards symbolic analysis of visual modelling languages. In Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques. Submitted paper."},{"key":"28_CR22","unstructured":"D. Varr\u00f3 and A. Pataricza. Mathematical model transformations for system verification. Technical report, Budapest University of Technology and Economics, May 2001."},{"key":"28_CR23","doi-asserted-by":"crossref","unstructured":"D. Varr\u00f3, G. Varr\u00f3, and A. Pataricza. Designing the automatic transformation of visual languages. Science of Computer Programming, 44(2), August 2002. To appear.","DOI":"10.1016\/S0167-6423(02)00039-4"},{"key":"28_CR24","series-title":"Lect Notes Comput Sci","first-page":"128","volume-title":"Proc. Formal Techniques in Real Time and Fault Tolerant Systems","author":"M. Beeck von der","year":"1994","unstructured":"M. von der Beeck. A comparison of statecharts variants. In Proc. Formal Techniques in Real Time and Fault Tolerant Systems, volume 863 of LNCS, pages 128\u2013148, 1994."}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45832-8_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:14:13Z","timestamp":1737396853000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45832-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443100","9783540458326"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45832-8_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}