{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:56Z","timestamp":1750307216346,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T00:00:00Z","timestamp":1323043200000},"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":[[2011,12,5]]},"DOI":"10.1145\/2095536.2095645","type":"proceedings-article","created":{"date-parts":[[2012,1,17]],"date-time":"2012-01-17T17:20:41Z","timestamp":1326820841000},"page":"523-526","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications"],"prefix":"10.1145","author":[{"given":"Ahlem Ben","family":"Younes","sequence":"first","affiliation":[{"name":"Research Unit of Technologies of Information and Communication, (UTIC)- ESSTT-Tunisia, Menara Tunis - Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila Jemni Ben","family":"Ayed","sequence":"additional","affiliation":[{"name":"Research Unit of Technologies of Information and Communication, (UTIC)- ESSTT-Tunisia, Menara, Tunis - Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,12,5]]},"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"},{"volume-title":"First B Conference..","year":"1996","author":"Abrial J-R","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","unstructured":"Johason R. Jacobson I. and Booch G. 1998. The Unified Modelling Language reference Manual. Addison- Wesley.  Johason R. Jacobson I. and Booch G. 1998. The Unified Modelling Language reference Manual . Addison- Wesley."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.233"},{"volume-title":"ICSOFT 2010--5th International Conference on Software Engineering and Data Technologies Juillet 2010","author":"Ben Younes A.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","unstructured":"Clearsy.2001.System EngineeringAtelierB Version 3.6.  Clearsy.2001.System Engineering AtelierB Version 3.6."},{"key":"e_1_3_2_1_7_1","unstructured":"Clearsy\"B4free2004 \" Available at www.b4free.com.  Clearsy\" B4free2004 \" Available at www.b4free.com."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Behm P. Desforges P and Meynadier J.-M. 1998. METEOR: An Industrial Success in Formal Development An invited talk at the 2nd Int. B conference LNCS.   Behm P. Desforges P and Meynadier J.-M. 1998. METEOR: An Industrial Success in Formal Development An invited talk at the 2nd Int. B conference LNCS.","DOI":"10.1007\/BFb0053352"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/647778.734905"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.33"},{"volume-title":"Tech Rep. Dept. Of Computer Science","year":"2001","author":"Eshuis R.","key":"e_1_3_2_1_11_1"},{"volume-title":"M 2000. Formal verification of workflow schemas","author":"Karamanolis C.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","unstructured":"Abrial J. R.. Chapter 2 of the forthcoming book: Modeling in Event-B: System and Software Engineering Forthcoming book\". http:\/\/www.event-b.org\/A ch2.pdf.  Abrial J. R.. Chapter 2 of the forthcoming book: Modeling in Event-B: System and Software Engineering Forthcoming book\". http:\/\/www.event-b.org\/A ch2.pdf."},{"volume-title":"Technical Report D7, RODIN Project Delivrable","year":"2005","author":"Metayer C.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","unstructured":"Espinosa J. M. M. Drira K. and Diaz M. 2000. Mod\u00e8le de description de proc\u00e9dures Workflow bas sur la r\u00e9criture de graph.  Espinosa J. M. M. Drira K. and Diaz M. 2000. Mod\u00e8le de description de proc\u00e9dures Workflow bas sur la r\u00e9criture de graph ."}],"event":{"name":"MoMM '11: The 9th International Conference on Advances in Mobile Computing & Multimedia","acronym":"MoMM '11","location":"Ho Chi Minh City Vietnam"},"container-title":["Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2095536.2095645","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2095536.2095645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:47Z","timestamp":1750241207000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2095536.2095645"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12,5]]},"references-count":15,"alternative-id":["10.1145\/2095536.2095645","10.1145\/2095536"],"URL":"https:\/\/doi.org\/10.1145\/2095536.2095645","relation":{},"subject":[],"published":{"date-parts":[[2011,12,5]]},"assertion":[{"value":"2011-12-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}