{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:25Z","timestamp":1750306525713,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,12,4]],"date-time":"2014-12-04T00:00:00Z","timestamp":1417651200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,12,4]]},"DOI":"10.1145\/2684200.2684341","type":"proceedings-article","created":{"date-parts":[[2015,2,23]],"date-time":"2015-02-23T16:02:15Z","timestamp":1424707335000},"page":"479-483","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Proof of the Correctness of a Transformation Approach from UML Activity Diagrams to Event-B Models"],"prefix":"10.1145","author":[{"given":"Ahlem Ben","family":"Younes","sequence":"first","affiliation":[{"name":"Laboratory LaTICE \/ ENSIT_University of Tunis, Tunisia, 5, avenue Taha Hussein, B.P. 56 Bab Menara 1008, Tunis - Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yousra BenDaly","family":"Hlaoui","sequence":"additional","affiliation":[{"name":"Laboratory LaTICE - University of Tunis, Tunisia, 5, avenue Taha Hussein, B.P. 56 Bab, Menara 1008. Tunis -- Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila Jemni Ben","family":"Ayed","sequence":"additional","affiliation":[{"name":"Laboratory LaTICE -- University of Tunis, Tunisia, avenue Taha Hussein, B.P. 56 Bab, Menara 1008. Tunis - Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,12,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Abrial J.-R.1996 \"The B Book. Assigning Programs to Meanings\". Cambridge University Press.   Abrial J.-R.1996 \"The B Book. Assigning Programs to Meanings\". Cambridge University Press.","DOI":"10.1017\/CBO9780511624162"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Abrial J.-R. 2010. Modeling in Event-B: System and Software Engineering. Cambridge University Press.   Abrial J.-R. 2010. Modeling in Event-B: System and Software Engineering. Cambridge University Press.","DOI":"10.1017\/CBO9781139195881"},{"key":"e_1_3_2_1_3_1","unstructured":"Jacobson J.R I. and Booch.G. 1998\"The Unified Modelling Language reference Manual\". Addison-Wesley.  Jacobson J.R I. and Booch.G. 1998\"The Unified Modelling Language reference Manual\". Addison-Wesley."},{"volume-title":"the Proceedings of 15th International conferences on parallel and distributed computing systems, USA. ISCA","year":"2002","author":"Pllana S.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Bendaly Hlaoui Y. and Jemni Ben Ayed L. 2008. Extended UML activity diagram for composing Grid services workflows. In CRiSIS 2008: page 207--212.  Bendaly Hlaoui Y. and Jemni Ben Ayed L. 2008. Extended UML activity diagram for composing Grid services workflows. In CRiSIS 2008: page 207--212.","DOI":"10.1109\/CRISIS.2008.4757480"},{"key":"e_1_3_2_1_6_1","unstructured":"Rodin platform. 2007. http:\/\/rodin-b-sharp.sourceforge.net.  Rodin platform. 2007. http:\/\/rodin-b-sharp.sourceforge.net."},{"key":"e_1_3_2_1_7_1","unstructured":"Clearsy. 2001. System Engineering Atelier B Version 3.6. http:\/\/www.atelierb.societe.com  Clearsy. 2001. System Engineering Atelier B Version 3.6. http:\/\/www.atelierb.societe.com"},{"volume-title":"LNCS","year":"1939","author":"Behm P.","key":"e_1_3_2_1_8_1"},{"volume-title":"International Journal Of Engineering And Computer Science","year":"2013","author":"Agarwal B.","key":"e_1_3_2_1_9_1"},{"issue":"4","key":"e_1_3_2_1_10_1","first-page":"200","article-title":"Modeling and Verification of Reactive Systems Using STATEMATE and Event B","volume":"16","author":"Jemni Ben Ayed L.","year":"2009","journal-title":"the International Journal of Computers and Their Applications IJCA"},{"volume-title":"Proceedings of 2nd IEEE International conference (ICTTA'06)","year":"2006","author":"Jemni Ben Ayed L.","key":"e_1_3_2_1_11_1"},{"first-page":"255","volume-title":"the 10th Annual International Conference on New Technologies of Distributed Systems","author":"BendalyHlaoui Y.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.233"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES-I.2009.101"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2095536.2095645"},{"key":"e_1_3_2_1_16_1","unstructured":"Object Management Group (OMG) UML 2.0 Superstructure Specification. http:\/\/www.omg.org.  Object Management Group (OMG) UML 2.0 Superstructure Specification. http:\/\/www.omg.org."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2006.185"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1117696.1117714"}],"event":{"name":"iiWAS '14: The 16th International Conference on Information Integration and Web-based Applications & Services","sponsor":["@WAS International Organization of Information Integration and Web-based Applications and Services","Johannes Kepler Univ Linz Johannes Kepler Universit\u00e4t Linz"],"location":"Hanoi Viet Nam","acronym":"iiWAS '14"},"container-title":["Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2684200.2684341","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2684200.2684341","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:04Z","timestamp":1750227124000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2684200.2684341"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,4]]},"references-count":18,"alternative-id":["10.1145\/2684200.2684341","10.1145\/2684200"],"URL":"https:\/\/doi.org\/10.1145\/2684200.2684341","relation":{},"subject":[],"published":{"date-parts":[[2014,12,4]]},"assertion":[{"value":"2014-12-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}