{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:06Z","timestamp":1750307166921,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"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.2095592","type":"proceedings-article","created":{"date-parts":[[2012,1,17]],"date-time":"2012-01-17T17:20:41Z","timestamp":1326820841000},"page":"317-320","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["MDE approach for the generation and verification of SCA model"],"prefix":"10.1145","author":[{"given":"Soumaya","family":"Louhichi","sequence":"first","affiliation":[{"name":"MIRACL, ISIMS, Sfax, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Graiet","sequence":"additional","affiliation":[{"name":"MIRACL, ISIMS, Sfax, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Kmimech","sequence":"additional","affiliation":[{"name":"MIRACL, ISIMS, Sfax, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed Tahar","family":"Bhiri","sequence":"additional","affiliation":[{"name":"MIRACL, ISIMS, Sfax, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Gaaloul","sequence":"additional","affiliation":[{"name":"T\u00e9l\u00e9com SudParis, rue Charles Fourier, \u00c9vry Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Cariou","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Pau et des pays de l'Adour, PAU CEDEX France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,12,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Open Service Oriented Architecture, the Home Page","author":"OSOA","year":"2007","unstructured":"OSOA , Open Service Oriented Architecture, the Home Page , 2007 . DOI= http:\/\/www.osoa.org\/. OSOA, Open Service Oriented Architecture, the Home Page, 2007. DOI= http:\/\/www.osoa.org\/."},{"key":"e_1_3_2_1_2_1","volume-title":"SCA Assembly Model v1.00 specifications","author":"Open SOA","year":"2007","unstructured":"Open SOA Collaboration , Service Component Architecture (SCA) , SCA Assembly Model v1.00 specifications , 2007 . Open SOA Collaboration, Service Component Architecture (SCA), SCA Assembly Model v1.00 specifications, 2007."},{"key":"e_1_3_2_1_3_1","volume-title":"Toulouse","author":"Combemale B.","year":"2008","unstructured":"Combemale , B. 2008 . Approche de M\u00e9tamod\u00e9lisation pour la Simulation et la Verification de Mod\u00e8le . Toulouse , 2008. Combemale, B. 2008. Approche de M\u00e9tamod\u00e9lisation pour la Simulation et la Verification de Mod\u00e8le. Toulouse, 2008."},{"key":"e_1_3_2_1_4_1","unstructured":"Troya J. and Vallecillo A. Towards a Rewriting Logic Semantics for ATL. ISUM\/A tenea Research Group. Universidad de Maalaga Spain.  Troya J. and Vallecillo A. Towards a Rewriting Logic Semantics for ATL. ISUM\/A tenea Research Group. Universidad de Maalaga Spain."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin J. 2004. Sur les Principes de L'ing\u00e9nierie des Mod\u00e8les RSTI_L'objet 10 ou sont les objets?.  B\u00e9zivin J. 2004. Sur les Principes de L'ing\u00e9nierie des Mod\u00e8les RSTI_L'objet 10 ou sont les objets?.","DOI":"10.3166\/objet.10.4.145-157"},{"key":"e_1_3_2_1_6_1","unstructured":"OMG. Meta Object Facility (MOF) specification --version 1.4 formal. April 2002.  OMG. Meta Object Facility (MOF) specification --version 1.4 formal. April 2002."},{"key":"e_1_3_2_1_7_1","unstructured":"The LINA website. DOI= http\/\/www.sciences.univ nantes.fr\/lina\/atl.  The LINA website. DOI= http\/\/www.sciences.univ nantes.fr\/lina\/atl."},{"key":"e_1_3_2_1_8_1","unstructured":"Combemale B. and Rougemaille S. 2005. --ATL- Atlas Transformation Language.  Combemale B. and Rougemaille S. 2005. --ATL- Atlas Transformation Language."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SKG.2011.37"},{"key":"e_1_3_2_1_10_1","volume-title":"The Sixth International Conference on Software Engineering Advances (ICSEA","author":"Louhichi S.","year":"2011","unstructured":"Louhichi , S. , Graiet , M. , Kmimech , M. , Bhiri , M. T. , Gaaloul , W. and Cariou , E . 2011. ATL Transformation of UML 2.0 for the Generation of SCA Model . In The Sixth International Conference on Software Engineering Advances (ICSEA 2011 ), Barcelona, Spain. Louhichi, S., Graiet, M., Kmimech, M., Bhiri, M. T., Gaaloul, W. and Cariou, E. 2011. ATL Transformation of UML 2.0 for the Generation of SCA Model. In The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Barcelona, Spain."},{"volume-title":"The B-Book: Assigning programs to meanings","author":"Abrial J. R.","key":"e_1_3_2_1_11_1","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."},{"volume-title":"Modeling in Event-B: System and Software Engineering","author":"Abrial J. R.","key":"e_1_3_2_1_12_1","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."}],"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.2095592","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2095536.2095592","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:39Z","timestamp":1750240479000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2095536.2095592"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12,5]]},"references-count":12,"alternative-id":["10.1145\/2095536.2095592","10.1145\/2095536"],"URL":"https:\/\/doi.org\/10.1145\/2095536.2095592","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"}}]}}