{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:22:25Z","timestamp":1743042145982,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319116792"},{"type":"electronic","value":"9783319116808"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-11680-8_38","type":"book-chapter","created":{"date-parts":[[2014,9,29]],"date-time":"2014-09-29T17:25:41Z","timestamp":1412011541000},"page":"473-486","source":"Crossref","is-referenced-by-count":1,"title":["Formalising Concurrent UML State Machines Using Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"\u00c9tienne","family":"Andr\u00e9","sequence":"first","affiliation":[]},{"given":"Mohamed","family":"Mahdi Benmoussa","sequence":"additional","affiliation":[]},{"given":"Christine","family":"Choppy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"Andr\u00e9, E., Benmoussa, M.M., Choppy, C.: Translating UML state machines to coloured Petri nets using Acceleo: A report. In: ESSS. EPTCS (2014)","DOI":"10.4204\/EPTCS.150.1"},{"issue":"4","key":"38_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2237796.2237819","volume":"37","author":"E. Andr\u00e9","year":"2012","unstructured":"Andr\u00e9, E., Choppy, C., Klai, K.: Formalizing non-concurrent UML state machines using colored Petri nets. ACM SIGSOFT Soft. Eng. Notes\u00a037(4), 1\u20138 (2012)","journal-title":"ACM SIGSOFT Soft. Eng. Notes"},{"issue":"1","key":"38_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1921532.1921561","volume":"36","author":"C. Choppy","year":"2011","unstructured":"Choppy, C., Klai, K., Zidani, H.: Formal verification of UML state diagrams: a Petri net based approach. ACM SIGSOFT Soft. Eng. Notes\u00a036(1), 1\u20138 (2011)","journal-title":"ACM SIGSOFT Soft. Eng. Notes"},{"key":"38_CR4","doi-asserted-by":"crossref","unstructured":"Dubrovin, J., Junttila, T.A.: Symbolic model checking of hierarchical UML state machines. Technical Report B23, Helsinki University of Technology (2007)","DOI":"10.1109\/ACSD.2008.4574602"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets \u2013 Modelling and Validation of Concurrent Systems. Springer (2009)","DOI":"10.1007\/b95112"},{"issue":"2","key":"38_CR6","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":"38_CR7","unstructured":"Jussila, T., Dubrovin, J., Junttila, T., Latvala, T., Porres, I.: Model checking dynamic and hierarchical UML state machines. In: MDV (2006)"},{"key":"38_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.5381\/jot.2010.9.4.a2","volume":"9","author":"E. Kerkouche","year":"2010","unstructured":"Kerkouche, E., Chaoui, A., Bourennane, E.B., Labbani, O.: A UML and colored Petri nets integrated modeling and analysis approach using graph transformation. Journal of Object Technology\u00a09, 25\u201343 (2010)","journal-title":"Journal of Object Technology"},{"key":"38_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-642-38613-8_23","volume-title":"Integrated Formal Methods","author":"S. Liu","year":"2013","unstructured":"Liu, S., Liu, Y., Andr\u00e9, \u00c9., Choppy, C., Sun, J., Wadhwa, B., Dong, J.S.: A formal semantics for complete UML state machines with communications. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol.\u00a07940, pp. 331\u2013346. Springer, Heidelberg (2013)"},{"key":"38_CR10","unstructured":"OMG. Unified Modeling Language Superstructure, Version 2.5, beta 1(October 2012), \n                      http:\/\/www.omg.org\/spec\/UML\/2.5\/Beta1\/PDF\/"},{"issue":"1","key":"38_CR11","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C.F. Snook","year":"2006","unstructured":"Snook, C.F., Butler, M.J.: UML-B: Formal modeling and design aided by UML. ACM TSEM\u00a015(1), 92\u2013122 (2006)","journal-title":"ACM TSEM"},{"key":"38_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-642-38697-8_22","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"M. Westergaard","year":"2013","unstructured":"Westergaard, M.: CPN tools 4: Multi-formalism and extensibility. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol.\u00a07927, pp. 400\u2013409. Springer, Heidelberg (2013)"},{"key":"38_CR13","doi-asserted-by":"crossref","unstructured":"Zhang, S., Liu, Y.: An automatic approach to model checking UML state machines. In: SSIRI-C, pp. 1\u20136. IEEE (2010)","DOI":"10.1109\/SSIRI-C.2010.11"}],"container-title":["Advances in Intelligent Systems and Computing","Knowledge and Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11680-8_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T22:03:41Z","timestamp":1676412221000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11680-8_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319116792","9783319116808"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11680-8_38","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015]]}}}