{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T06:10:19Z","timestamp":1737353419257,"version":"3.33.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,4]]},"DOI":"10.1109\/cscwd.2007.4281543","type":"proceedings-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T15:59:31Z","timestamp":1186588771000},"page":"823-827","source":"Crossref","is-referenced-by-count":0,"title":["Investigating Workflow Patterns in Term of Pi-calculus"],"prefix":"10.1109","author":[{"given":"Gang","family":"Xue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joan","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaowen","family":"Yao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Workflow Resource Patterns","author":"russell","year":"2004","journal-title":"BETA Working Paper Series WP 127"},{"key":"ref11","article-title":"Service Interaction Patterns: Towards a Reference Framework for Service-based Business Process Interconnection","author":"barros","year":"2005","journal-title":"Technical Report FIT-TR-2005–02 Faculty of Information Technology Queensland University of Technology"},{"key":"ref12","article-title":"Pattern-based Analysis of UML Activity Diagrams","author":"wohed","year":"2004","journal-title":"BETA Working Paper Series WP"},{"journal-title":"Essential Business Process Modeling","year":"2005","author":"havey","key":"ref13"},{"key":"ref14","first-page":"145","article-title":"A Petri Net Semantics for Pi-Calculus","volume":"962","author":"busi","year":"0","journal-title":"Proceedings of CONCUR 95 Springer-Verlag 1995 Lecture Notes in Computer Science"},{"key":"ref15","article-title":"A Petri net translation of pi-calculus terms","author":"devillers","year":"2005","journal-title":"Technical Report Series CS-TR-887 Published by the University of Newcastle upon Tyne"},{"key":"ref16","first-page":"635","article-title":"Describing and verifying Web service using Pi-calculus","volume":"28","author":"jun","year":"2005","journal-title":"Chinese Journal of Computers"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"journal-title":"Technical Report ECS-LFCS-91–180","year":"1991","author":"milner","key":"ref18"},{"journal-title":"Technical Report Nr 498","year":"2000","author":"sewell","key":"ref19"},{"key":"ref4","first-page":"1","article-title":"Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages","volume":"560","author":"van der aalst","year":"2002","journal-title":"Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002)"},{"key":"ref3","first-page":"1","article-title":"Pi calculus versus petri nets: let us eat humble pie rather than further inflate the pi hype","volume":"3","author":"van der aalst","year":"2005","journal-title":"Business Process Trends"},{"key":"ref6","first-page":"153","article-title":"Using the Pi-Calculus for Formalizing Workflow Patterns","volume":"3649","author":"puhlmann","year":"2005","journal-title":"BPM 2005"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1631\/jzus.2003.0643","article-title":"An Approach for Workflow Modeling Using pi-calculus","volume":"4","author":"dong","year":"2003","journal-title":"Journal of Zhejiang University (Science)"},{"key":"ref8","article-title":"Process Modeling Notations and Workflow Patterns","author":"white","year":"2004","journal-title":"BPTrends"},{"journal-title":"Object Management Group","article-title":"Business Process Modeling Notation (BPMN) Version 1.0","year":"2006","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","author":"van der aalst","year":"2002","journal-title":"Workflow Management Models Methods and Systems"},{"key":"ref9","article-title":"Workflow Data Patterns","author":"russell","year":"2004","journal-title":"QUT Technical Report FIT-TR-2004-01"},{"key":"ref20","first-page":"428","article-title":"The Mobility Workbench-A Tool for the Pi-Calculus","volume":"818","author":"victor","year":"1994","journal-title":"Proc CAV 94"}],"event":{"name":"2007 11th International Conference on Computer Supported Cooperative Work in Design","start":{"date-parts":[[2007,4,26]]},"location":"Melbourne, Australia","end":{"date-parts":[[2007,4,28]]}},"container-title":["2007 11th International Conference on Computer Supported Cooperative Work in Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4281389\/4281390\/04281543.pdf?arnumber=4281543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:54:28Z","timestamp":1737352468000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4281543\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/cscwd.2007.4281543","relation":{},"subject":[],"published":{"date-parts":[[2007,4]]}}}