{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:24:32Z","timestamp":1743013472074,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319247694"},{"type":"electronic","value":"9783319247700"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/2.5"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24770-0_47","type":"book-chapter","created":{"date-parts":[[2015,10,13]],"date-time":"2015-10-13T19:06:06Z","timestamp":1444763166000},"page":"548-559","source":"Crossref","is-referenced-by-count":4,"title":["From UML Statecharts to LOTOS Expressions Using Graph Transformation"],"prefix":"10.1007","author":[{"given":"Salim","family":"Djaaboub","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elhillali","family":"Kerkouche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,10]]},"reference":[{"unstructured":"Araujo, J., Moreira, A.: Specifying the behavior of UML collaborations using object-Z. Departamento de Infomatica, Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa, Portugal (2000)","key":"47_CR1"},{"key":"47_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/COMST.2002.5341329","volume":"4","author":"F Babich","year":"2002","unstructured":"Babich, F., Deotto, L.: Formal methods for specification and analysis of communication protocols. IEEE Commun. Surv. 4, 2\u201320 (2002)","journal-title":"IEEE Commun. Surv."},{"key":"47_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Comput. Netw. ISDN Syst. 14, 25\u201359 (1987)","journal-title":"Comput. Netw. ISDN Syst."},{"key":"47_CR4","volume-title":"The unified modeling language user guide","author":"G Booch","year":"1998","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The unified modeling language user guide. Addition-Wesley, Object Technology Series (1998)"},{"doi-asserted-by":"crossref","unstructured":"Chimisliu, V., Schwarzl, C., Peischl, B.: From UML statecharts to LOTOS: a semantics preserving model transformation. In: Ninth International Conference on Quality Software (2009)","key":"47_CR5","DOI":"10.1109\/QSIC.2009.31"},{"unstructured":"Ehrig, H., Fey, W., Hansen, H.: ACT ONE : An Algebraic Specification Language with two levels of Semantics, Research Report Nr. 83-03,  Department  of  Computer Science, TU Berlin (1983)","key":"47_CR6"},{"issue":"1","key":"47_CR7","doi-asserted-by":"publisher","first-page":"59","DOI":"10.5381\/jot.2008.7.1.a1","volume":"7","author":"Patrice Gagnon","year":"2008","unstructured":"Gagnon, P., Mokhati, F., Badri M.: Applying model checking to concurrent UML models. J. Object Technol. 7(1), 59\u201384 (2008). \n                    http:\/\/www.jot.fm\/issues\/issue_2008_01\/article1\/","journal-title":"The Journal of Object Technology"},{"issue":"2","key":"47_CR8","first-page":"537","volume":"11","author":"B Hnatkowska","year":"2001","unstructured":"Hnatkowska, B., Huzar, Z.: Transformation of dynamic aspects of uml models into lotos behaviour expressions. Int. J. Appl. Math. Comput. Sci. 11(2), 537\u2013556 (2001)","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall, New Jersey (1985)","key":"47_CR9"},{"issue":"4","key":"47_CR10","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., Labbani, O.: A UML and colored petri nets integrated modeling and analysis approach using graph transformation. J. Object Technol. 9(4), 25\u201343 (2010)","journal-title":"J. Object Technol."},{"unstructured":"Ledang, H., Souqui\u00e8res, J.: Formalizing UML behavioral diagrams with B. In: Tenth OOPSLA Workshop on Behavioral Semantics: Back to Basics, Tampa Bay, Florida, USA (2001)","key":"47_CR11"},{"unstructured":"Milner, R.: Formal a calculus of communication systems. LNCS, vol. 92. Springer, Heidelberg (1980)","key":"47_CR12"},{"doi-asserted-by":"crossref","unstructured":"Mrowka, R., Szmuc, T.: UML statecharts compositional semantics in LOTOS. In: ISPDC 2008, pp. 459\u2013463 (2008)","key":"47_CR13","DOI":"10.1109\/ISPDC.2008.60"},{"unstructured":"OMG, Object Modeling Group: Unified Modeling Language Specification, version 2.0 (July 2005)","key":"47_CR14"},{"key":"47_CR15","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-27337-7_12","volume-title":"Innovative Computing Technology","author":"R Babaee","year":"2011","unstructured":"Babaee, R., Babamir, S.M.: From UML state machines to verifiable lotos specifications. In: Pichappan, P., Ahmadi, H., Ariwa, Ezendu (eds.) INCT 2011. CCIS, vol. 241, pp. 121\u2013129. Springer, Heidelberg (2011)"},{"issue":"6","key":"47_CR16","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1142\/S021819400100075X","volume":"11","author":"JA Saldhana","year":"2001","unstructured":"Saldhana, J.A., Shatz, M., Hu, Z.: Formalisation of object behavior and interaction from UML models. Int. J. Softw. Eng. Knowl. Eng. 11(6), 643\u2013673 (2001)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"unstructured":"Xinhong, H., Lining, C., Weigang, M., Jinli G., Guo, X.: Automatic transformation from UML statechart to petri nets for safety analysis and verification. In: ICQR2MSE 2011, Conference Publications, pp. 948\u2013951 (2011). ISBN 978-1-4577-1229-6","key":"47_CR17"},{"doi-asserted-by":"crossref","unstructured":"Wang, M., Lu, L.: A transformation method from UML statechart to petri nets. In: IEEE International Conference on Computer Science and Automation Engineering (CSAE) 2012, vol. 2, pp. 89\u201392, 25\u201327 May 2012","key":"47_CR18","DOI":"10.1109\/CSAE.2012.6272734"},{"doi-asserted-by":"crossref","unstructured":"Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P.Y., Heymans, P.: State machine flattening: mapping study and assessment. CoRR abs\/1403.5398 (2014)","key":"47_CR19","DOI":"10.1109\/ICSTW.2015.7107408"},{"unstructured":"CADP: Construction and analysis of distributed processes. \n                    http:\/\/cadp.inria.fr\/","key":"47_CR20"},{"unstructured":"AToM3 Home page. \n                    http:\/\/atom3.cs.mcgill.ca\/","key":"47_CR21"},{"doi-asserted-by":"crossref","unstructured":"Lara, J.D., Vangheluwe, H., Alfonseca, M.: Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. In: Software and Systems Modelling, vol. 3, pp. 194\u2013209. Springer, Heidelberg (2004) (Special Section on Graph Transformations and Visual Modeling Techniques)","key":"47_CR22","DOI":"10.1007\/s10270-003-0047-5"}],"container-title":["Communications in Computer and Information Science","Information and Software Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24770-0_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T01:59:34Z","timestamp":1559267974000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24770-0_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319247694","9783319247700"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24770-0_47","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]}}}