{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T04:44:24Z","timestamp":1722919464850},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2003.1245627","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T18:38:15Z","timestamp":1082745495000},"page":"4085-4090","source":"Crossref","is-referenced-by-count":0,"title":["P\/spl I.bar\/DROCE model based supply chain management system and its verification"],"prefix":"10.1109","volume":"5","author":[{"family":"Tao Hu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Shensheng Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Baohong Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"12","article-title":"analysis of re-configurable agile supply chain software framework, high technology letter","author":"tao","year":"2001"},{"key":"ref3","article-title":"A Meta-Model for Business Rules in Systems Analysis","author":"herbst","year":"1995","journal-title":"Proc CaiSE'95 Spinger LNCS 932"},{"year":"0","journal-title":"Workflow Management Coalition 1998 WFMC-TC1016- P - Specification Workflow Management Coalition-Interface 1 Process Definition Interchange process Model","key":"ref10"},{"key":"ref6","article-title":"Communication and Concurrency","author":"milner","year":"1989","journal-title":"International Series in Computer Science"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1016\/0166-3615(95)00018-2"},{"key":"ref5","article-title":"The Specification of Business Rules: a Comparison of Selected Methodologies","author":"herbst","year":"1994","journal-title":"Methods and Associated Tools for the Information System Life Cycle"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/978-3-642-97403-8"},{"key":"ref7","article-title":"A calculus of mobile Processes","author":"milner","year":"1989","journal-title":"Part I LFCS Report Series ECS-LFCS-89-85"},{"year":"1984","author":"hoare","article-title":"Communicating Sequential Processes","key":"ref2"},{"key":"ref9","article-title":"Structural characterizations of sound workflow nets","author":"van der aalst","year":"1996","journal-title":"Technical Reports 96\/23"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-34941-1","article-title":"Architectures for Enterprise Integration","author":"bernus","year":"1996"}],"event":{"acronym":"ICSMC-03","name":"SMC '03 2003 IEEE International Conference on Systems, Man and Cybernetics","location":"Washington, DC, USA"},"container-title":["SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8811\/27913\/01245627.pdf?arnumber=1245627","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T06:22:40Z","timestamp":1497594160000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1245627\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2003.1245627","relation":{},"subject":[]}}