{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:52:51Z","timestamp":1747806771841},"reference-count":0,"publisher":"International Academy Publishing (IAP)","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.5.9.1030-1037","type":"journal-article","created":{"date-parts":[[2010,9,2]],"date-time":"2010-09-02T07:35:09Z","timestamp":1283412909000},"source":"Crossref","is-referenced-by-count":1,"title":["Testing Conformance of BPEL Business Process Based on Model Checking"],"prefix":"10.17706","volume":"5","author":[{"given":"Fang","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rongsheng","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhao","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangyu","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2010,9,2]]},"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T11:19:56Z","timestamp":1442315996000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.academypublisher.com\/ojs\/index.php\/jsw\/article\/view\/2729"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,2]]},"references-count":0,"journal-issue":{"issue":"9","published-online":{"date-parts":[[2010,9,2]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.5.9.1030-1037","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2010,9,2]]}}}