{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:16:14Z","timestamp":1729664174585,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1109\/apscc.2008.180","type":"proceedings-article","created":{"date-parts":[[2009,2,13]],"date-time":"2009-02-13T19:46:34Z","timestamp":1234554394000},"page":"890-895","source":"Crossref","is-referenced-by-count":2,"title":["The Spacecraft Automatic Testing System Based on Workflow"],"prefix":"10.1109","author":[{"given":"Dan","family":"Yu","sequence":"first","affiliation":[]},{"given":"Gang","family":"Ye","sequence":"additional","affiliation":[]},{"given":"Shilong","family":"Ma","sequence":"additional","affiliation":[]},{"given":"Naixue","family":"Xiong","sequence":"additional","affiliation":[]},{"given":"Laurence T.","family":"Yang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Workflow Management Models Methods and Systems","year":"2002","author":"van der aalst","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.2514\/6.2006-5529"},{"key":"10","first-page":"45","volume":"25","author":"van der aalst","year":"1994","journal-title":"Putting Petri Nets to Work in Industry"},{"journal-title":"Electrical Test Technology of Spacecraft","year":"2007","author":"wang","key":"1"},{"key":"7","article-title":"workflow management coalition","author":"hollingsworth","year":"1995","journal-title":"The Workflow Reference Model"},{"journal-title":"Workflow management coalition terminology and glossary","year":"1999","key":"6"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1109\/SMC-IT.2006.83","article-title":"the evolution of a test process for spacecraft software","author":"clancy","year":"2006","journal-title":"Proc of the 2nd IEEE International Conference on Space Mission Challenges for Information Technology"},{"key":"4","first-page":"57","article-title":"design and realization method of the test and control language for spacecraft overall checkout","volume":"16","author":"wang","year":"2007","journal-title":"Spacecraft Engineering"},{"journal-title":"Workflow Process Definition Interface-XML Process Definition Language","year":"2002","author":"marin","key":"9"},{"key":"8","article-title":"workflow management coalition","author":"lawrence","year":"1997","journal-title":"Workflow Handbook"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/69.991725"},{"journal-title":"Business Process Execution Language for Web Services","year":"2003","author":"andrews","key":"12"}],"event":{"name":"2008 IEEE Asia-Pacific Services Computing Conference (APSCC)","start":{"date-parts":[[2008,12,9]]},"location":"Yilan, Taiwan","end":{"date-parts":[[2008,12,12]]}},"container-title":["2008 IEEE Asia-Pacific Services Computing Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4780614\/4780615\/04780789.pdf?arnumber=4780789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T16:45:06Z","timestamp":1497804306000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4780789\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/apscc.2008.180","relation":{},"subject":[],"published":{"date-parts":[[2008,12]]}}}