{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T22:39:20Z","timestamp":1774737560782,"version":"3.50.1"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/soca.2012.6449454","type":"proceedings-article","created":{"date-parts":[[2013,2,13]],"date-time":"2013-02-13T22:11:17Z","timestamp":1360793477000},"page":"1-4","source":"Crossref","is-referenced-by-count":5,"title":["Composing trustworthy context-dependent services"],"prefix":"10.1109","author":[{"given":"Naseem","family":"Ibrahim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","author":"ibrahim","year":"2012","journal-title":"Specification Composition and Provision of Trustworthy Context-dependent Services"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.61.2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.8"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2011.92"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988756"},{"key":"6","year":"2005","journal-title":"Web Services Choreography Description Language Version 1 0"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/944217.944234"},{"key":"4","author":"wan","year":"2006","journal-title":"Lucx Lucid Enriched with Context"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.03.002"},{"key":"8","first-page":"226","article-title":"Verification of computation orchestration via timed automata","author":"dong","year":"2006","journal-title":"ICFEM"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78739-6_20"},{"key":"12","author":"tiezzi","year":"2009","journal-title":"Specification and Analysis of Service-oriented Applications"}],"event":{"name":"2012 5th IEEE International Conference on Service-Oriented Computing and Applications (SOCA)","location":"Taipei, Taiwan","start":{"date-parts":[[2012,12,17]]},"end":{"date-parts":[[2012,12,19]]}},"container-title":["2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6422836\/6449417\/06449454.pdf?arnumber=6449454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T21:47:21Z","timestamp":1490219241000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6449454\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/soca.2012.6449454","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}