{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:58:26Z","timestamp":1730260706739,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/icws.2008.14","type":"proceedings-article","created":{"date-parts":[[2008,11,12]],"date-time":"2008-11-12T14:02:29Z","timestamp":1226498549000},"page":"195-202","source":"Crossref","is-referenced-by-count":16,"title":["A Formal Model of Human Workflow"],"prefix":"10.1109","author":[{"given":"Xiangpeng","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Zongyan","family":"Qiu","sequence":"additional","affiliation":[]},{"given":"Chao","family":"Cai","sequence":"additional","affiliation":[]},{"given":"Hongli","family":"Yang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"user tasks and access control over web services","author":"thomas","year":"2007","journal-title":"ICWS"},{"key":"22","article-title":"verifying bpel workflows under authorisation constraints","volume":"4102","author":"zhao","year":"0","journal-title":"LNCS"},{"journal-title":"An operational semantics for timed CSP","year":"1992","author":"schneider","key":"17"},{"key":"23","article-title":"decserflow: towards a truly declarative service flow language","volume":"4184","author":"van der aalst","year":"0","journal-title":"LNCS"},{"key":"18","article-title":"the consistency of task-based authorization constraints in workflow systems","author":"tan","year":"0","journal-title":"Proc of CSFW'04 2004"},{"key":"15","article-title":"semantics of bpel4ws-like fault and compensation handling","volume":"3582","author":"qiu","year":"0","journal-title":"LNCS"},{"journal-title":"Theory and Practice of Concurrency","year":"1997","author":"roscoe","key":"16"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.07.035"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1023\/B:ITEM.0000031582.55219.2b"},{"journal-title":"eXtensible access control markup language","year":"2005","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75183-0_5"},{"journal-title":"BPEL4People","year":"2007","key":"3"},{"key":"20","first-page":"166","article-title":"task-based authorization controls (tbac)","author":"thomas","year":"1997","journal-title":"DBSec"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2006.21"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1022494.1022526"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988756"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/775412.775419"},{"key":"4","article-title":"precise modelling of compensating business transactions and its application to bpel","volume":"11","author":"butler","year":"2005","journal-title":"Journal of Universal Computer Science"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/373256.373266"},{"year":"0","key":"8"}],"event":{"name":"2008 IEEE International Conference on Web Services (ICWS)","start":{"date-parts":[[2008,9,23]]},"location":"Beijing, China","end":{"date-parts":[[2008,9,26]]}},"container-title":["2008 IEEE International Conference on Web Services"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/4670129\/4670130\/04670176.pdf?arnumber=4670176","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T10:17:55Z","timestamp":1489659475000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/4670176\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":23,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/icws.2008.14","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}