{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T12:07:09Z","timestamp":1774440429298,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,1,23]],"date-time":"2007-01-23T00:00:00Z","timestamp":1169510400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2007,11,20]]},"DOI":"10.1007\/s10270-006-0042-8","type":"journal-article","created":{"date-parts":[[2007,1,22]],"date-time":"2007-01-22T08:54:12Z","timestamp":1169456052000},"page":"415-435","source":"Crossref","is-referenced-by-count":34,"title":["UML vs. classical vs. rhapsody statecharts: not all models are created equal"],"prefix":"10.1007","volume":"6","author":[{"given":"Michelle L.","family":"Crane","sequence":"first","affiliation":[]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,1,23]]},"reference":[{"issue":"4","key":"42_CR1","doi-asserted-by":"crossref","first-page":"786","DOI":"10.1145\/1075382.1075387","volume":"27","author":"R. Alur","year":"2005","unstructured":"Alur R., Benedikt M., Etessami K., Godefroid P., Reps T. and Yannakakis M. (2005). Analysis of recursive state machines. ACM Trans. Program. Languages Systems 27(4): 786\u2013818","journal-title":"ACM Trans. Program. Languages Systems"},{"key":"42_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry G. and Gonthier G. (1992). The ESTEREL synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19: 87\u2013152","journal-title":"Sci. Comput. Program."},{"key":"42_CR3","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley (1999)"},{"key":"42_CR4","unstructured":"Crane, M.L., Dingel, J.: On the semantics of UML state machines: Categorization and comparison. Technical Report 2005-501, School of Computing, Queen\u2019s University (2005)"},{"key":"42_CR5","doi-asserted-by":"crossref","unstructured":"Damm, W., Josko, B., Hungar, H., Pnueli A.: A compositional real-time semantics of STATEMATE designs. In: Compositionality: The Significant Difference, Lecture Notes in Computer Science, vol. 1536, pp. 186\u2013238. Springer, Heidelberg (1998)","DOI":"10.1007\/3-540-49213-5_8"},{"key":"42_CR6","unstructured":"Douglass, B.P.: Real Time UML. Object Technology Series. 3rd edn. Addison-Wesley (2004)"},{"key":"42_CR7","unstructured":"Gogolla, M., Parisi-Presicce F.: State diagrams in UML: a formal semantics using graph transformations. In: Proceedings of the Workshop on Precise Semantics for Modelling Techniques (PSMT\u201998), pp. 55\u201372. Technische Universit\u00e4t M\u00fcnchen, TUM-I9803 (1998)"},{"issue":"3","key":"42_CR8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel D. (1987). Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3): 231\u2013274","journal-title":"Sci. Comput. Program."},{"key":"42_CR9","doi-asserted-by":"crossref","unstructured":"Harel, D.: Some thoughts on statecharts, 13\u00a0years later. In: Proceedings of the 9th International Conference on Computer Aided Verification (CAV\u201997), Lecture Notes in Computer Science, vol. 1254, pp. 226\u2013231. Springer, Heidelberg (1997)","DOI":"10.1007\/3-540-63166-6_23"},{"issue":"7","key":"42_CR10","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D. Harel","year":"1997","unstructured":"Harel D. and Gery E. (1997). Executable object modeling with statecharts. Computer 30(7): 31\u201342","journal-title":"Computer"},{"key":"42_CR11","doi-asserted-by":"crossref","unstructured":"Harel, D., Kugler H.: The Rhapsody semantics of statecharts (on, on the executable core of the UML) (preliminary version). In: SoftSpez Final Report, Lecture Notes in Computer Science, vol. 3147, pp. 325\u2013354. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-27863-4_19"},{"issue":"4","key":"42_CR12","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel D. and Naamad A. (1996). The STATEMATE semantics of statecharts. ACM Trans. Soft. Eng. Methodol. (TOSEM) 5(4): 293\u2013333","journal-title":"ACM Trans. Soft. Eng. Methodol. (TOSEM)"},{"key":"42_CR13","unstructured":"Harel, D., Pnueli, A., Schmidt, J.P., Sherman R.: On the formal semantics of statecharts. In: Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, pp. 54\u201364. Computer Society Press of the IEEE (1987)"},{"key":"42_CR14","unstructured":"Harel, D., Politi M.: Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill (1998)"},{"key":"42_CR15","unstructured":"Howe, D. (ed.): The free on-line dictionary of computing. http:\/\/www.foldoc.org\/"},{"issue":"4","key":"42_CR16","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0020-0190(91)90190-S","volume":"37","author":"C. Huizing","year":"1991","unstructured":"Huizing C. and de Roever W.P. (1991). Introduction to design choices in the semantics of statecharts. Inform. Process. Lett. 37(4): 205\u2013213","journal-title":"Inform. Process. Lett."},{"key":"42_CR17","doi-asserted-by":"crossref","unstructured":"Huizing, C., Gerth, R., de Roever, W.P.: Modelling Statecharts behaviour in a fully abstract way. In: CAAP \u201988: 13th Colloquium on Trees in Algebra and Programming, Lecture Notes in Computer Science, vol. 299, pp. 271\u2013294. Springer, Heidelberg (1988)","DOI":"10.1007\/BFb0026110"},{"key":"42_CR18","unstructured":"I-Logix: Rhapsody 6.2 User Guide"},{"key":"42_CR19","unstructured":"I-Logix: Rhapsody. http:\/\/www.ilogix.com\/sublevel.aspx? id=53"},{"key":"42_CR20","unstructured":"I-Logix: Statemate. http:\/\/www.ilogix.com\/sublevel.aspx? id=74"},{"key":"42_CR21","doi-asserted-by":"crossref","unstructured":"L\u00fcttgen, G., von der Beeck, M., Cleaveland, R.: A compositional approach to statecharts semantics. In: Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 120\u2013129. ACM Press (2000)","DOI":"10.1145\/355045.355062"},{"key":"42_CR22","doi-asserted-by":"crossref","unstructured":"Maggiolo-Schettini, A., Peron, A.: A graph rewriting framework for statecharts semantics. In: Proceedings of the International Conference on Graph Grammars (GRAGRA), Notes in Computer Science, vol. 1996, pp. 107\u2013121. Springer, Heidelberg (1996)","DOI":"10.1007\/3-540-61228-9_82"},{"issue":"1","key":"42_CR23","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1016\/S0304-3975(01)00381-4","volume":"290","author":"A. Maggiolo-Schettini","year":"2003","unstructured":"Maggiolo-Schettini A., Peron A. and Tini S. (2003). A comparison of statecharts step semantics. Theor. Comput. Sci. 290(1): 465\u2013498","journal-title":"Theor. Comput. Sci."},{"key":"42_CR24","unstructured":"Mikk, E.: Semantics and Verification of Statecharts. PhD thesis, Christian-Albrechts University of Kiel, 2000. Bericht Nr. 2011"},{"key":"42_CR25","doi-asserted-by":"crossref","unstructured":"Mikk, E., Lakhnech, Y., Siegel M.: Hierarchical automata as model for statecharts. In: Proceedings of the Asian Computing Science Conference (ASIAN \u201997), Lecture Notes in Computer Science, vol. 1345, pp. 181\u2013196. Springer, Heidelberg (1997)","DOI":"10.1007\/3-540-63875-X_52"},{"key":"42_CR26","unstructured":"OMG. UML specification. Document formal\/03-03-01, Object Management Group, Version 1.5 (2003)"},{"key":"42_CR27","unstructured":"OMG. UML 2.0 infrastructure specification. Document ptc\/03-09-15, Object Management Group (2004)"},{"key":"42_CR28","unstructured":"OMG. Unified Modeling Language: Superstructure version 2.0. Document formal\/05-07-04, Object Management Group (2005)"},{"key":"42_CR29","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Shalev M.: What is in a step: On the semantics of statecharts. In: Proceedings of the International Conference on Theoretical Aspects of Computer Software (TACS\u201991), Lecture Notes in Computer Science, vol. 526, pp. 244\u2013264. Springer, Heidelberg (1991)","DOI":"10.1007\/3-540-54415-1_49"},{"issue":"5","key":"42_CR30","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B. Selic","year":"2003","unstructured":"Selic B. (2003). The pragmatics of model-driven development. IEEE Softw. 20(5): 19\u201325","journal-title":"IEEE Softw."},{"key":"42_CR31","unstructured":"Selic B.: Personal Communication (Email dated 4 Mar 05) (2005)"},{"key":"42_CR32","unstructured":"UML 2 Semantics Project. http:\/\/www.cs.queensu.ca\/ Estl\/ internal\/uml2"},{"key":"42_CR33","doi-asserted-by":"crossref","unstructured":"Uselton, A.C., Smolka, S.A.: A compositional semantics for statecharts using labeled transition systems. In: Proceedings of Concurrency Theory (CONCUR \u201994), Lecture Notes in Computer Science, vol. 836, pp. 2\u201317. Springer, Heidelberg (1994)","DOI":"10.1007\/978-3-540-48654-1_2"},{"key":"42_CR34","doi-asserted-by":"crossref","unstructured":"von der Beeck, M.: A comparison of statecharts variants. In: Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT\u201994), Lecture Notes in Computer Science, vol. 863, pp. 128\u2013148. Springer, Heidelberg (1994)","DOI":"10.1007\/3-540-58468-4_163"},{"issue":"2","key":"42_CR35","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/s10270-002-0012-8","volume":"1","author":"M. von der Beeck","year":"2002","unstructured":"von der Beeck M. (2002). A structured operational semantics for UML-statecharts. Softw. Systems Modeling 1(2): 130\u2013141","journal-title":"Softw. Systems Modeling"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0042-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-006-0042-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0042-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:55:24Z","timestamp":1559116524000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-006-0042-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,23]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,11,20]]}},"alternative-id":["42"],"URL":"https:\/\/doi.org\/10.1007\/s10270-006-0042-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1,23]]}}}