{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T23:29:15Z","timestamp":1748993355164},"reference-count":0,"publisher":"International Academy Publishing (IAP)","issue":"11","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.8.11.2733-2737","type":"journal-article","created":{"date-parts":[[2013,12,4]],"date-time":"2013-12-04T12:44:38Z","timestamp":1386161078000},"source":"Crossref","is-referenced-by-count":7,"title":["Formal Modeling and Verification for Web Service Composition"],"prefix":"10.17706","volume":"8","author":[{"given":"Baojun","family":"Tian","sequence":"first","affiliation":[]},{"given":"Yanlin","family":"Gu","sequence":"additional","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2013,11,1]]},"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T11:24:05Z","timestamp":1442316245000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/9952"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,1]]},"references-count":0,"journal-issue":{"issue":"11","published-online":{"date-parts":[[2013,11,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.8.11.2733-2737","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2013,11,1]]}}}