{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:11:44Z","timestamp":1725538304533},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642049408"},{"type":"electronic","value":"9783642049415"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04941-5_5","type":"book-chapter","created":{"date-parts":[[2009,9,18]],"date-time":"2009-09-18T13:53:38Z","timestamp":1253282018000},"page":"26-37","source":"Crossref","is-referenced-by-count":2,"title":["Interpretation of History Pseudostates in Orthogonal States of UML State Machines"],"prefix":"10.1007","author":[{"given":"Anna","family":"Derezi\u0144ska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romuald","family":"Pilitowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Unified Modelling Language, \n                    \n                      http:\/\/www.uml.org"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.scico.2006.08.007","volume":"65","author":"W.L. Yeung","year":"2007","unstructured":"Yeung, W.L., Leung, K.R.P.H., Wang, J., Wei, D.: Modelling and Model Checking Suspendible Business Processses via Statechart Diagrams and CSP. Science of Computer Programming\u00a065, 14\u201329 (2007)","journal-title":"Science of Computer Programming"},{"key":"5_CR3","unstructured":"van Langenhove, S.: Towards the Correctness of Software Behavior in UML. PhD Thesis, Ghent University, Belgium (2005)"},{"key":"5_CR4","first-page":"54","volume-title":"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 State Machines. In: 2nd IEEE Symp. on Logic in Computer Science, pp. 54\u201364. IEEE Press, Los Alamitos (1987)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-540-27863-4_19","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"D. Harel","year":"2004","unstructured":"Harel, D., Kugler, H.: The Rhapsody Semantics of Statecharts (or On the Executable Core of the UML) (preliminary version). In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 325\u2013354. Springer, Heidelberg (2004)"},{"key":"5_CR6","unstructured":"Crane, M., Dingel, J.: On the Semantics of UML State Machines: Categorization and Comparison. Technical Report 2005-501. School of Computing, Queens University of Kingston, Ontario, Canada (2005)"},{"key":"5_CR7","unstructured":"STL: UML 2 Semantics Project, References, Queen\u2019s University, \n                    \n                      http:\/\/www.cs.queensu.ca\/home\/stl\/internal\/uml2\/refs.htm"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/11557432_8","volume-title":"Model Driven Engineering Languages and Systems","author":"M. Crane","year":"2005","unstructured":"Crane, M., Dingel, J.: UML vs. Classical vs. Rhapsody Statecharts: Not All Models are Created Equal. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 97\u2013112. Springer, Heidelberg (2005)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Jurjens, J.: A UML Statecharts Semantics with Message-Passing. In: ACM Symp. on App. Comp., SAC 2002, pp. 1009\u20131013 (2002)","DOI":"10.1145\/508791.508987"},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/s10270-002-0012-8","volume":"1","author":"M. Beck","year":"2002","unstructured":"Beck, M.: A Structured Operational Semantics for UML Statecharts. Software and System Modeling\u00a01(2), 130\u2013141 (2002)","journal-title":"Software and System Modeling"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/11880240_18","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Taleghani","year":"2006","unstructured":"Taleghani, A., Atlee, J.M.: Semantic Variations Among UML StateMachines. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 245\u2013259. Springer, Heidelberg (2006)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/11557432_5","volume-title":"Model Driven Engineering Languages and Systems","author":"F. Chauvel","year":"2005","unstructured":"Chauvel, F., Jezequel, J.-M.: Code Generation from UML Models with Semantic Variation Points. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 54\u201368. Springer, Heidelberg (2005)"},{"issue":"2","key":"5_CR13","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":"5_CR14","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., 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":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-70952-7_16","volume-title":"Formal Methods: Applications and Technology","author":"H. Fecher","year":"2007","unstructured":"Fecher, H., Sch\u00f6nborn, J.: UML 2.0 state machines: Complete formal semantics via core state machines. In: Brim, L., Haverkort, B.R., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol.\u00a04346, pp. 244\u2013260. Springer, Heidelberg (2007)"},{"issue":"9","key":"5_CR16","doi-asserted-by":"publisher","first-page":"35","DOI":"10.5381\/jot.2007.6.9.a2","volume":"6","author":"K. Lano","year":"2007","unstructured":"Lano, K., Clark, D.: Direct Semantics of Extended State Machines. Journal of Object Tecnology\u00a06(9), 35\u201351 (2007)","journal-title":"Journal of Object Tecnology"},{"key":"5_CR17","unstructured":"Lam, V.S.W., Padget, J.: Analyzing Equivalences of UML Statechart Diagrams by Structural Congruence and Open Bisimulations. In: UML ZWI. LNCS, vol.\u00a02185, pp. 406\u2013421. Springer, Heidelberg (2001)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/3-540-46852-8_31","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"J. Lilius","year":"1999","unstructured":"Lilius, J., Paltor, I.P.: Formalising UML State Machines for Model Checking. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 430\u2013444. Springer, Heidelberg (1999)"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.jvlc.2005.11.001","volume":"17","author":"K. H\u00f6lscher","year":"2006","unstructured":"H\u00f6lscher, K., Ziemann, P., Gogolla, M.: On translating UML models into graph transformation systems. Journal of Visual Languages and Computing\u00a017, 78\u2013105 (2006)","journal-title":"Journal of Visual Languages and Computing"},{"key":"5_CR20","unstructured":"Niaz, I.A., Tanaka, J.: Mapping UML Statecharts into Java code. In: IASTED Int. Conf. Software Engineering, pp. 111\u2013116 (2004)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Knapp, A., Merz, S., Rauh, C.: Model Checking Timed UML State Machines and Collaborations. In: 7th Int. Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, pp. 395\u2013414 (2002)","DOI":"10.1007\/3-540-45739-9_23"},{"key":"5_CR22","unstructured":"Rhapsody, \n                    \n                      http:\/\/www.telelogic.com\/"},{"key":"5_CR23","unstructured":"Derezinska, A., Pilitowski, R.: Event Processing in Code Generation and Execution Framework of UML State Machines. In: Madeyski, L., et al. (eds.) Software Engineering in progress, Nakom, Pozna\u0144, pp. 80\u201392 (2007)"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/978-1-4020-6268-1_75","volume-title":"Innovations and Advanced Techniques in Computer and Information Sciences and Engineering","author":"R. Pilitowski","year":"2007","unstructured":"Pilitowski, R., Derezinska, A.: Code Generation and Execution Framework for UML 2.0 Classes and State Machines. In: Sobh, T. (ed.) Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, pp. 421\u2013427. Springer, Heidelberg (2007)"},{"key":"5_CR25","unstructured":"Pilitowski, R.: Generation of C# code from UML 2.0 class and state machine diagrams (in Polish). Master thesis, Inst. of Comp. Science, Warsaw Univ. of Technology, Poland (2006)"},{"key":"5_CR26","volume-title":"Executable UML a Foundation for Model-Driven Architecture","author":"S.J. Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.J.: Executable UML a Foundation for Model-Driven Architecture. Addison-Wesley, Reading (2002)"},{"key":"5_CR27","unstructured":"Carter, K.: iUMLite - xUML modeling tool, \n                    \n                      http:\/\/www.kc.com"},{"key":"5_CR28","unstructured":"Semantics of a foundation subset for executable UML models (FUML) (2008), \n                    \n                      http:\/\/www.omg.org\/spec\/\/FUML\/"}],"container-title":["Lecture Notes in Computer Science","Next Generation Information Technologies and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04941-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T23:47:19Z","timestamp":1552175239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04941-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642049408","9783642049415"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04941-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}