{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:31Z","timestamp":1725512011845},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709510"},{"type":"electronic","value":"9783540709527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-70952-7_16","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T08:40:01Z","timestamp":1182847201000},"page":"244-260","source":"Crossref","is-referenced-by-count":13,"title":["UML 2.0 State Machines: Complete Formal Semantics Via core state machine"],"prefix":"10.1007","author":[{"given":"Harald","family":"Fecher","sequence":"first","affiliation":[]},{"given":"Jens","family":"Sch\u00f6nborn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Crane, M.L., Dingel, J.: On the semantics of uml state machines: Categorization and comparison. Technical Report 501, Queen\u2019s University (2005)"},{"key":"16_CR2","unstructured":"Fecher, H., Kyas, M., Sch\u00f6nborn, J.: Semantic issues in UML 2.0 state machines. Technical Report 0507, Christian-Albrechts-Universit\u00e4t zu Kiel (2005)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/11576280_5","volume-title":"Formal Methods and Software Engineering","author":"H. Fecher","year":"2005","unstructured":"Fecher, H., Sch\u00f6nborn, J., Kyas, M., de Roever, W.P.: 29 new unclarities in the semantics of uml 2.0 state machines. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785, pp. 52\u201365. Springer, Heidelberg (2005)"},{"key":"16_CR4","first-page":"9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Oxford (1995)"},{"issue":"4","key":"16_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology\u00a05(4), 293\u2013333 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"16_CR6","first-page":"54","volume-title":"LICS","author":"D. Harel","year":"1987","unstructured":"Harel, D., Pnueli, A., Schmidt, J.P., Sherman, R.: On the formal semantics of statecharts (extended abstract). In: LICS, pp. 54\u201364. IEEE Computer Society Press, Los Alamitos (1987)"},{"issue":"2","key":"16_CR7","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/s10270-003-0046-6","volume":"3","author":"Y. Jin","year":"2004","unstructured":"Jin, Y., Esser, R., Janneck, J.W.: A method for describing the syntax and semantics of uml statecharts. Software and System Modeling\u00a03(2), 150\u2013163 (2004)","journal-title":"Software and System Modeling"},{"key":"16_CR8","unstructured":"Object Management Group. UML Superstructure Specification, v2.0 formal\/05-07-04 (2005)"},{"key":"16_CR9","unstructured":"Reggio, G., Wieringa, R.: Thirty one problems in the semantics of uml 1.3 dynamics. In: OOPSLA\u201999 workshop, Rigorous Modelling and Analysis of the UML: Challenges and Limitations (1999)"},{"key":"16_CR10","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/978-1-4615-5229-1_17","volume-title":"Behavioral Specifications of Businesses and Systems","author":"A.J.H. Simons","year":"1999","unstructured":"Simons, A.J.H., Graham, I.: 30 things that go wrong in object modelling with uml 1.3. In: Behavioral Specifications of Businesses and Systems, pp. 237\u2013257. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"753","DOI":"10.1007\/978-3-540-30464-7_56","volume-title":"Conceptual Modeling \u2013 ER 2004","author":"X. Zhan","year":"2004","unstructured":"Zhan, X., Miao, H.: An approach to formalizing the semantics of uml statecharts. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol.\u00a03288, pp. 753\u2013765. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Applications and Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70952-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T08:29:50Z","timestamp":1550392190000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70952-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540709510","9783540709527"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70952-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}