{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:24:34Z","timestamp":1759134274680,"version":"3.37.3"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:00:00Z","timestamp":1504224000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"LUMS Faculty Initative Fund Research"},{"DOI":"10.13039\/100000001","name":"US National Science Foundation (NSF)","doi-asserted-by":"publisher","award":["IIS-0964639"],"award-info":[{"award-number":["IIS-0964639"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1137732"],"award-info":[{"award-number":["1137732"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2017,9,1]]},"DOI":"10.1109\/tdsc.2015.2481881","type":"journal-article","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T18:44:01Z","timestamp":1443120241000},"page":"478-493","source":"Crossref","is-referenced-by-count":11,"title":["Composability Verification of Multi-Service Workflows in a Policy-Driven Cloud Computing Environment"],"prefix":"10.1109","volume":"14","author":[{"given":"Basit","family":"Shafiq","sequence":"first","affiliation":[]},{"given":"Sameera","family":"Ghayyur","sequence":"additional","affiliation":[]},{"given":"Ammar","family":"Masood","sequence":"additional","affiliation":[]},{"given":"Zahid","family":"Pervaiz","sequence":"additional","affiliation":[]},{"given":"Abdulrahman","family":"Almutairi","sequence":"additional","affiliation":[]},{"given":"Farrukh","family":"Khan","sequence":"additional","affiliation":[]},{"given":"Arif","family":"Ghafoor","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1137\/0208032"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICIW.2007.68"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060853"},{"article-title":"From AUML to WS-BPEL","year":"0","author":"casella","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2005.05.014"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-005-1073-9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/11557432_40"},{"article-title":"Detecting architectural mismatches during systems composition","year":"0","author":"gacek","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SRII.2011.39"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/775418.775420"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2005.1"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.10.011"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/96602.96604"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/293910.293151"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-140510"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/300830.300837"},{"key":"ref8","first-page":"18","article-title":"Using semantic web ontology for intercloud directories and exchanges","author":"bernstein","year":"0","journal-title":"Proc Int Conf Comput Intell"},{"key":"ref7","first-page":"43","article-title":"Automatic composition of E-Services that export their behavior","author":"bedrardi","year":"0","journal-title":"Proc 1st Int Conf Symp Serv Oriented Comput"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.153"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2007.10"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1035293.1035318"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2005.18"},{"key":"ref22","first-page":"161","article-title":"An efficient symbolic representation of periodic time","author":"niezette","year":"0","journal-title":"Proc Int Conf Inf Knowl Manage (CIKM)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2010.09.002"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2005.185"},{"journal-title":"Object Management Group Unified Modeling Language Specification Version 1 4 2","year":"0","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2295136.2295172"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2005.1"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/ielaam\/8858\/8023000\/7275132-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/8023000\/07275132.pdf?arnumber=7275132","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:51:30Z","timestamp":1649443890000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7275132\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,1]]},"references-count":30,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2015.2481881","relation":{},"ISSN":["1545-5971"],"issn-type":[{"type":"print","value":"1545-5971"}],"subject":[],"published":{"date-parts":[[2017,9,1]]}}}