{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:13:32Z","timestamp":1750306412967,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":19,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1145\/2790798.2790813","type":"proceedings-article","created":{"date-parts":[[2015,9,8]],"date-time":"2015-09-08T12:36:32Z","timestamp":1441715792000},"page":"138-143","source":"Crossref","is-referenced-by-count":0,"title":["A New Approach for Generating LOTOS Specifications from UML Dynamic Models"],"prefix":"10.1145","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":"320","reference":[{"key":"key-10.1145\/2790798.2790813-1","unstructured":"Araujo, J. and Moreira. A. 2000. Specifying the Behavior of UML Collaborations Using Object-Z. Departamento de Infomatica, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal, 2000."},{"key":"key-10.1145\/2790798.2790813-2","doi-asserted-by":"crossref","unstructured":"Babich, F. and Deotto, L. 2002. Formal methods for specification and analysis of communication protocols. IEEE Communications Surveys 2002.","DOI":"10.1109\/COMST.2002.5341329"},{"key":"key-10.1145\/2790798.2790813-3","doi-asserted-by":"crossref","unstructured":"Bolognesi, T. and Brinksma, E. 1987. Introduction to the iso specification language lotos. Computer Networks and ISDN systems 14, 25--59 (1987).","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"key-10.1145\/2790798.2790813-4","unstructured":"Booch, G. Rumbaugh, J. and Jacobson, I. The unified modeling language user guide, Addition-Wesley, Object Technology Series, 1998"},{"key":"key-10.1145\/2790798.2790813-5","doi-asserted-by":"crossref","unstructured":"Chimisliu, V. Schwarzl, C. and Peischl, B. 2009. From uml statecharts to lotos: A semantics preserving model transformation, Ninth International Conference on Quality Software (2009).","DOI":"10.1109\/QSIC.2009.31"},{"key":"key-10.1145\/2790798.2790813-6","unstructured":"Ehrig, H. Fey, W. Hansen, H. 1983. Act one an algebraic specification language with two levels of semantics (1983)."},{"key":"key-10.1145\/2790798.2790813-7","doi-asserted-by":"crossref","unstructured":"Gagnon, P. Mokhati, F. and Badri, M. 2008. Applying Model Checking to Concurrent UML Models. In Journal of Object Technology, vol. 7, no. 1, January-February 2008, pp. 59--84, http:\/\/www.jot.fm\/issues\/issue_2008_01\/article1\/","DOI":"10.5381\/jot.2008.7.1.a1"},{"key":"key-10.1145\/2790798.2790813-8","unstructured":"Hnatkowska, B. and Huzar, Z. 2001. Transformation of dynamic aspects of uml models into lotos behaviour expressions. International Journal of Applied Mathematics and Computer Science, vol. 11, no. 2, pp. 537--556, 2001."},{"key":"key-10.1145\/2790798.2790813-9","unstructured":"Hoare, C.A.R. Communicating Sequential Processes. Prentice Hall International Series in Computer Science."},{"key":"key-10.1145\/2790798.2790813-10","doi-asserted-by":"crossref","unstructured":"Kerkouche, E. Chaoui, A. Bourennane, E. and Labbani, O. 2010. A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation. In Journal of Object Technology, vol. 9, no. 4, 2010, pages 25--43.","DOI":"10.5381\/jot.2010.9.4.a2"},{"key":"key-10.1145\/2790798.2790813-11","unstructured":"Ledang, H. and Souquières, J. 2001. Formalizing UML Behavioral Diagrams with B. Tenth OOPSLA Workshop on Behavioral Semantics: Back to Basics, Tampa Bay, Florida, USA, 2001."},{"key":"key-10.1145\/2790798.2790813-12","doi-asserted-by":"crossref","unstructured":"Milner, R. 1980. Formal A Calculus of Communication Systems. LNCS, vol.92. pringer, Heidelberg (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"key-10.1145\/2790798.2790813-13","doi-asserted-by":"crossref","unstructured":"Mrowka, R. and Szmuc, T. 2008. Uml statecharts compositional semantics in lotos. In: ISPDC 2008, pp. 459--463 (2008).","DOI":"10.1109\/ISPDC.2008.60"},{"key":"key-10.1145\/2790798.2790813-14","unstructured":"OMG. Object Modeling Group. 2005. Unified Modeling Language Specification, version 2.0, July 2005."},{"key":"key-10.1145\/2790798.2790813-15","unstructured":"Pichappan, P. Ahmadi, H. and Ariwa E. 2011. From UML State Machines to Verifiable Lotos Specifications. INCT 2011, CCIS 241, pp. 121--129, 2011. Springer-Verlag Berlin Heidelberg 2011."},{"key":"key-10.1145\/2790798.2790813-16","doi-asserted-by":"crossref","unstructured":"Saldhana, J.A. Shatz, M. and Hu, Z. 2001. Formalisation of Object Behavior and Interaction From UML Models. International Journal of Software Engineering and Knowledge Engineering. Vol. 11, #6, pp. 643--673, 2001.","DOI":"10.1142\/S021819400100075X"},{"key":"key-10.1145\/2790798.2790813-17","unstructured":"Xinhong, H. Lining, C. Weigang, M. Jinli G. and Guo, X. 2011.Automatic transformation from UML statechart to Petri nets for safety analysis and verification. International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering (ICQR2MSE). 2011. Conference Publications, Print ISBN: 978-1-4577-1229-6, pp. 948--951."},{"key":"key-10.1145\/2790798.2790813-18","unstructured":"Devroey, X. Perrouin, Cordy, G. Legay, M.A. Schobbens, P.Y and Heymans, P. 2014. State Machine Flattening: Mapping Study and Assessment. CoRR abs\/1403.5398, 2014."},{"key":"key-10.1145\/2790798.2790813-19","unstructured":"AToM3Home page, http:\/\/atom3.cs.mcgill.ca\/"}],"event":{"number":"8","sponsor":["BytePress","Keio University"],"acronym":"C3S2E '15","name":"the Eighth International C* Conference","start":{"date-parts":[[2015,7,13]]},"location":"Yokohama, Japan","end":{"date-parts":[[2015,7,15]]}},"container-title":["Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering - C3S2E '15"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2790798.2790813","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=2790813&ftid=1617551&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:46Z","timestamp":1750223266000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=2790798.2790813"}},"subtitle":[],"proceedings-subject":"Computer Science & Software Engineering","short-title":[],"issued":{"date-parts":[[2008]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1145\/2790798.2790813","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}