{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T14:03:15Z","timestamp":1730210595767,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1109\/cscwd.2008.4537017","type":"proceedings-article","created":{"date-parts":[[2010,12,13]],"date-time":"2010-12-13T21:00:45Z","timestamp":1292274045000},"page":"427-433","source":"Crossref","is-referenced-by-count":1,"title":["Running smart process based on goals"],"prefix":"10.1109","author":[{"family":"Zongmin Shang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Haiyang Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Liqiang Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Hui Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yongquan Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1287\/isre.13.1.1.94"},{"year":"0","key":"16"},{"key":"13","first-page":"635","article-title":"describing and verifying web service using pi-calculus","volume":"28","author":"liao","year":"2005","journal-title":"Chinese Journal of Computers"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1023\/B:DAPD.0000026270.78463.77"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.038"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035202"},{"key":"3","first-page":"73","article-title":"acquiring users' requirements based on process semantic database under smart process application model","volume":"27","author":"shang","year":"2006","journal-title":"Journal on Communications (China)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"1","first-page":"83","article-title":"web services composition for process management in e-business","volume":"45","author":"zhang","year":"2004","journal-title":"Journal of Computer Information Systems"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/944217.944236"},{"key":"7","first-page":"143","article-title":"formal analysis of compatibility of web service via ccs","author":"liu","year":"2005","journal-title":"International Conference on Next Generation Web Services Practices (NWeSP 05)"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-006-2031-5"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"5"},{"key":"4","first-page":"428","article-title":"automatic generation of process based on process semantic database with smart process application model","volume":"33","author":"shang","year":"2006","journal-title":"Computer Science (China)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CSCWD.2007.4281559"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.05.007"}],"event":{"name":"in Design (CSCWD)","start":{"date-parts":[[2008,4,16]]},"location":"Xian, China","end":{"date-parts":[[2008,4,18]]}},"container-title":["2008 12th International Conference on Computer Supported Cooperative Work in Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4530852\/4536938\/04537017.pdf?arnumber=4537017","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T17:30:22Z","timestamp":1489685422000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4537017\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/cscwd.2008.4537017","relation":{},"subject":[],"published":{"date-parts":[[2008,4]]}}}