{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:28:25Z","timestamp":1729661305126,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/rcis.2015.7128880","type":"proceedings-article","created":{"date-parts":[[2015,6,24]],"date-time":"2015-06-24T15:56:17Z","timestamp":1435161377000},"page":"193-204","source":"Crossref","is-referenced-by-count":1,"title":["Formal modeling for verifying SCA composition"],"prefix":"10.1109","author":[{"given":"Lazhar","family":"Hamel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Graiet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Kmimech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","article-title":"Prob: A model checker for b","author":"leuschel","year":"2003","journal-title":"FME 2003 Formal Methods LNCS 2805"},{"year":"0","article-title":"Event-b and the rodin platform","key":"ref30"},{"key":"ref10","first-page":"40","article-title":"H.r.m.: Web service protocols: Compatibility and adaptation","author":"dumas","year":"2008","journal-title":"IEEE Data Eng Bull"},{"year":"0","author":"seguel","article-title":"An overview on protocol adaptors for service component integration","key":"ref11"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/APSEC.2006.4"},{"key":"ref13","first-page":"358","article-title":"Service discovery from observed behavior while guaranteeing deadlock freedom in collaborations","volume":"8274","author":"miier","year":"2013","journal-title":"ICSOC"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-3-540-31811-8_2","article-title":"When are two web services compatible","author":"bordeaux","year":"2005","journal-title":"Proc 5th Int Conf on Technologies for E-Services"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1016\/j.entcs.2011.11.011"},{"key":"ref16","volume":"147","author":"buhnova","year":"2014","journal-title":"Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures FESCA 2014 Grenoble France 12th April 2014"},{"year":"0","author":"kacem","journal-title":"Modélisation des applications distribuées à architecture dynamique conception et validation 2008","key":"ref17"},{"key":"ref18","first-page":"46","article-title":"Using um12.0 and gg for describing the dynamic of software architectures","author":"kacem","year":"2005","journal-title":"ICITA (l)"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1504\/IJWGS.2005.007545"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.3166\/isi.16.2.127-150"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/CSSE.2008.1007"},{"year":"2011","journal-title":"Service Component Architecture Assembly Model Specification Version 1 1","key":"ref27"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/SKG.2013.31"},{"key":"ref6","article-title":"The um14soa profile","author":"philip mayer","year":"0","journal-title":"Technical Report 2010"},{"year":"2010","author":"gharbi","article-title":"Algorithme de selection dans les applications a services: Une approche basee sur la methode d'analyse de concepts formels","key":"ref29"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1016\/j.entcs.2008.03.084"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/11841760_27"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/11576280_2"},{"year":"2007","journal-title":"Open SOA mars","article-title":"SCA Service Component Architecture - Assembly Model Specification","key":"ref2"},{"key":"ref9","first-page":"29","article-title":"Specifying formal executable behavioral models for structural models of service-oriented components","author":"riccobene","year":"2010","journal-title":"ACT4S0C"},{"year":"1998","journal-title":"Open Service Oriented Architecture (OSOA) Collaboration","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1017\/CBO9780511624162"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/978-3-540-74107-7_3"},{"key":"ref21","first-page":"83","article-title":"Introducing dynamic constraints in b","author":"abrial","year":"1998"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/978-3-642-34321-6_3","article-title":"Service component architecture extensions for dynamic systems","volume":"7636","author":"am\u00e9rico","year":"2012","journal-title":"International Conference on Service Oriented Computing"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1145\/244795.244801"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/CDS.1998.675762"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1145\/1370175.1370181"}],"event":{"name":"2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS)","start":{"date-parts":[[2015,5,13]]},"location":"Athens, Greece","end":{"date-parts":[[2015,5,15]]}},"container-title":["2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7121393\/7128853\/07128880.pdf?arnumber=7128880","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T14:27:06Z","timestamp":1498228026000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7128880\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/rcis.2015.7128880","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}