{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:44:45Z","timestamp":1725543885522},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642114854"},{"type":"electronic","value":"9783642114861"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11486-1_18","type":"book-chapter","created":{"date-parts":[[2010,1,27]],"date-time":"2010-01-27T08:39:51Z","timestamp":1264581591000},"page":"206-217","source":"Crossref","is-referenced-by-count":6,"title":["Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams"],"prefix":"10.1007","author":[{"given":"Jens","family":"Kohlmeyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter","family":"Guttmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"18_CR1","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/s10270-002-0012-8","volume":"1","author":"M. Beeck von der","year":"2002","unstructured":"von der Beeck, M.: A structured operational semantics for UML-statecharts. Software and Systems Modeling\u00a01(2), 130\u2013141 (2002)","journal-title":"Software and Systems Modeling"},{"issue":"5","key":"18_CR2","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.infsof.2003.09.009","volume":"46","author":"E. B\u00f6rger","year":"2004","unstructured":"B\u00f6rger, E., Cavarra, A., Riccobene, E.: On formalizing UML state machines using ASMs. Information and Software Technology\u00a046(5), 287\u2013292 (2004)","journal-title":"Information and Software Technology"},{"key":"18_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36498-6","volume-title":"Abstract State Machines","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines. Springer, Heidelberg (2003)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-540-69489-2_39","volume-title":"Models in Software Engineering","author":"M. Broy","year":"2007","unstructured":"Broy, M., Crane, M., Dingel, J., Hartman, A., Rumpe, B., Selic, B.: 2nd UML 2 semantics symposium: Formal semantics for UML. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 318\u2013323. Springer, Heidelberg (2007)"},{"key":"18_CR5","unstructured":"Cengarle, M.V., Gr\u00f6nninger, H., Rumpe, B.: System model semantics of statecharts. Informatik-Bericht 2008-04, TU Braunschweig (July 2008)"},{"key":"18_CR6","unstructured":"Cengarle, M.V., Knapp, A.: UML 2.0 interactions: Semantics and refinement. In: J\u00fcrjens, J., Fernandez, E.B., France, R., Rumpe, B. (eds.) Critical Systems Development with UML, pp. 85\u201399. TU M\u00fcnchen (2004)"},{"key":"18_CR7","unstructured":"Crane, M.L.: Slicing UML\u2019s Three-layer Architecture: A Semantic Foundation for Behavioural Specification. PhD thesis, Queen\u2019s University (January 2009)"},{"key":"18_CR8","first-page":"96","volume-title":"Conference of the Centre for Advanced Studies on Collaborative Research","author":"M.L. Crane","year":"2008","unstructured":"Crane, M.L., Dingel, J.: Towards a UML virtual machine: Implementing an interpreter for UML 2 actions and activities. In: Chechik, M., Vigder, M., Stewart, D. (eds.) Conference of the Centre for Advanced Studies on Collaborative Research, pp. 96\u2013110. ACM Press, New York (2008)"},{"key":"18_CR9","unstructured":"Dausend, M.: Entwicklung einer ASM-Spezifikation der Semantik der Zustandsautomaten der UML 2.0. Diploma thesis, Universit\u00e4t Ulm (June 2007)"},{"key":"18_CR10","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 machine. 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)"},{"key":"18_CR11","unstructured":"F\u00fcrst, J.: Entwicklung einer ASM-Spezifikation f\u00fcr die Semantik von UML 2 Sequenzdiagrammen als Grundlage zur Anbindung an ActiveCharts. Diploma thesis, Universit\u00e4t Ulm (February 2008)"},{"key":"18_CR12","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/978-0-387-35496-5_4","volume-title":"Formal Methods for Open Object-Based Distributed Systems\u00a0V","author":"J. J\u00fcrjens","year":"2002","unstructured":"J\u00fcrjens, J.: Formal semantics for interacting UML subsystems. In: Jacobs, B., Rensink, A. (eds.) Formal Methods for Open Object-Based Distributed Systems\u00a0V, pp. 29\u201343. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"18_CR13","unstructured":"Kohlmeyer, J.: Executing UML 2 diagrams in ActiveCharts: A formal semantics for the combination of behavior specifications in the UML 2. In: Bertelle, C., Ayesh, A. (eds.) ESM 2008, October 2008, pp. 94\u2013101 (2008)"},{"key":"18_CR14","unstructured":"Kohlmeyer, J.: Eine formale Semantik f\u00fcr die Verkn\u00fcpfung von Verhaltensbeschreibungen in der UML 2. PhD thesis, Universit\u00e4t Ulm (July 2009)"},{"key":"18_CR15","first-page":"168","volume-title":"Australian Software Engineering Conference","author":"X. Li","year":"2004","unstructured":"Li, X., Liu, Z., He, J.: A formal semantics of UML sequence diagram. In: Australian Software Engineering Conference, pp. 168\u2013177. IEEE, Los Alamitos (2004)"},{"issue":"4","key":"18_CR16","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10270-008-0083-2","volume":"7","author":"S. Markovi\u0107","year":"2008","unstructured":"Markovi\u0107, S., Baar, T.: Semantics of OCL specified with QVT. Software and Systems Modeling\u00a07(4), 399\u2013422 (2008)","journal-title":"Software and Systems Modeling"},{"key":"18_CR17","unstructured":"Object Management Group. UML 2.1.2 Superstructure Specification (November 2007)"},{"key":"18_CR18","unstructured":"Sarstedt, S.: Overcoming the limitations of signal handling when simulating UML\u00a02 activity charts. In: Feliz-Teixeira, J.M., Carvalho Brito, A.E. (eds.) ESM 2005, October 2005, pp. 61\u201365 (2005)"},{"key":"18_CR19","unstructured":"Sarstedt, S.: Semantic Foundation and Tool Support for Model-Driven Development with UML 2 Activity Diagrams. PhD thesis, Universit\u00e4t Ulm (July 2006)"},{"key":"18_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-540-70881-0_30","volume-title":"Perspectives of Systems Informatics","author":"S. Sarstedt","year":"2007","unstructured":"Sarstedt, S., Guttmann, W.: An ASM semantics of token flow in UML 2 activity diagrams. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol.\u00a04378, pp. 349\u2013362. Springer, Heidelberg (2007)"},{"key":"18_CR21","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/HCC.2003.1260216","volume-title":"Symposium on Human Centric Computing Languages and Environments","author":"H. St\u00f6rrle","year":"2003","unstructured":"St\u00f6rrle, H.: Semantics of interactions in UML 2.0. In: Symposium on Human Centric Computing Languages and Environments, pp. 129\u2013136. IEEE, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11486-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:30:55Z","timestamp":1558287055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11486-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642114854","9783642114861"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11486-1_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}