{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:56:26Z","timestamp":1725566186062},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540237235"},{"type":"electronic","value":"9783540304647"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30464-7_56","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T17:09:10Z","timestamp":1285261750000},"page":"753-765","source":"Crossref","is-referenced-by-count":7,"title":["An Approach to Formalizing the Semantics of UML Statecharts"],"prefix":"10.1007","author":[{"given":"Xuede","family":"Zhan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"56_CR1","unstructured":"OMG UML Specification, version 2.0 (November 2003), \n                    \n                      http:\/\/www.omg.org"},{"key":"56_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1007\/3-540-36103-0_55","volume-title":"Formal Methods and Software Engineering","author":"S.-K. Kim","year":"2002","unstructured":"Kim, S.-K., Carrington, D.: A formal metamodeling approach to a transformation between the UML state machine and object-Z. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol.\u00a02495, p. 548. Springer, Heidelberg (2002)"},{"key":"56_CR3","volume-title":"2nd BCS-FACS Northern Formal Methods Workshop","author":"E. Mikk","year":"1997","unstructured":"Mikk, E., Lakhnech, Y., Petersohn, C., Siegel, M.: On Formal Semantics of Statecharts as Supported by STATEMATE. In: 2nd BCS-FACS Northern Formal Methods Workshop, July 1997, Springer, Heidelberg (1997)"},{"issue":"4","key":"56_CR4","first-page":"293","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology (Also available as technical report of Weizmann Institute of Science, CS95-31)\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology (Also available as technical report of Weizmann Institute of Science, CS95-31)"},{"key":"56_CR5","first-page":"56","volume-title":"Proc. 2nd IEEE Symp. on Logic in Computer Science","author":"D. Harel","year":"1987","unstructured":"Harel, D., Pnueli, A., Schmidt, J.P., Sherman, R.: On the Formal Semantics of Statecharts. In: Proc. 2nd IEEE Symp. on Logic in Computer Science, pp. 56\u201364. IEEE Press, Los Alamitos (1987)"},{"key":"56_CR6","volume-title":"Testing Object-Oriented System:Models, Patterns, and Tools","author":"R.V. Binder","year":"2000","unstructured":"Binder, R.V.: Testing Object-Oriented System:Models, Patterns, and Tools. Addison Wesley Longman, Inc., Amsterdam (2000)"},{"key":"56_CR7","series-title":"Lecture Notes in Computer Science","first-page":"245","volume-title":"Proceedings of International Conference on Theoretical Aspects of Computer Science","author":"Pnueli","year":"1991","unstructured":"Pnueli, Shalev, M.: What is in a step: on the semantics of statscharts. In: Proceedings of International Conference on Theoretical Aspects of Computer Science. LNCS, vol.\u00a0298, pp. 245\u2013264. Springer, Heidelberg (1991)"},{"key":"56_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/3-540-36103-0_53","volume-title":"Formal Methods and Software Engineering","author":"H. Miao","year":"2002","unstructured":"Miao, H., Liu, L., Li, L.: Formalizing UML Models with Object-Z. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol.\u00a02495, p. 523. Springer, Heidelberg (2002)"},{"key":"56_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/3-540-46037-3_30","volume-title":"Diagrammatic Representation and Inference","author":"Y. Jin","year":"2002","unstructured":"Jin, Y., Esser, R., Janneck, J.W.: Describing the syntax and semantics of UML Statecharts in a heterogeneous modeling environment. In: Hegarty, M., Meyer, B., Narayanan, N.H. (eds.) Diagrams 2002. LNCS (LNAI), vol.\u00a02317, p. 320. Springer, Heidelberg (2002)"},{"key":"56_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/BFb0014994","volume-title":"CONCUR \u201994: Concurrency Theory","author":"Uselton","year":"1994","unstructured":"Uselton, Smolka, S.: A compositional semantics for Statecharts using labeled transition systems. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol.\u00a0836, pp. 2\u201317. Springer, Heidelberg (1994)"},{"key":"56_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BFb0026110","volume-title":"CAAP \u201988","author":"Huizing","year":"1988","unstructured":"Huizing, Gerth, R., de Roever, W.P.: Modeling Statecharts behavior in a fully abstract way. In: Dauchet, M., Nivat, M. (eds.) CAAP 1988. LNCS, vol.\u00a0299, pp. 271\u2013294. Springer, Heidelberg (1988)"},{"key":"56_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/3-540-45441-1_30","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"M.v.d. Beeck","year":"2001","unstructured":"Beeck, M.v.d.: Formalization of UML-Statecharts. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 406\u2013421. Springer, Heidelberg (2001)"},{"key":"56_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/3-540-45441-1_30","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"S. Kuske","year":"2001","unstructured":"Kuske, S.: A Formal Semantics of UML State Machines Based on Structured Graph Transformation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 406\u2013421. Springer, Heidelberg (2001)"},{"key":"56_CR14","first-page":"1864","volume":"12","author":"L. Liuying","year":"2001","unstructured":"Liuying, L., Ji, W., Zhichang, Q.: An Operational Semantics for UML Statechart Diagrams. Journal of Software\u00a012, 1864\u20131873 (2001)","journal-title":"Journal of Software"},{"key":"56_CR15","unstructured":"issertation] (in Chinese). National University of Defense Technology, Changsha (2000)"},{"key":"56_CR16","unstructured":"Bowen, J.P.: Formal Specification and Documentation Using Z: A Case Study Approach. International Thomson Computer Press (1996)"},{"key":"56_CR17","volume-title":"The Way of Z: Practical Programming with formal Methods","author":"J. Jacky","year":"1997","unstructured":"Jacky, J.: The Way of Z: Practical Programming with formal Methods. Cambridge University Press, Cambridge (1997)"},{"key":"56_CR18","unstructured":"Bowen, J.P.: Experience Teaching Z with Tool and Web Support. Technical Report SBUCISM- 00-30, SCISM, South Bank University, London, UK (2000)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling \u2013 ER 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30464-7_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:01:34Z","timestamp":1620000094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30464-7_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540237235","9783540304647"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30464-7_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}