A Formal model of human workflow

Proceedings of the IEEE International Conference on Web Services, ICWS 2008

Volumn , Issue , 2008, Pages 195-202

  Zhao, Xiangpeng ^a   Qiu, Zongyan ^a   Cai, Chao ^a   Yang, Hongli ^b  

^a PEKING UNIVERSITY   (China)

^b BEIJING UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS; WEB SERVICES; WORLD WIDE WEB;

BUSINESS PROCESS EXECUTION LANGUAGES; CSP PROCESS ALGEBRAS; FORMAL MODELS; HUMAN TASKS; WEB SERVICE COMPOSITIONS; WORKFLOW SPECIFICATIONS;

MANAGEMENT;

EID: 57749202902     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2008.14     Document Type: Conference Paper

References (23)

1. Web Services Business Process Execution Language Version 2.0. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf, 2007.
2. E. Bertino, J. Crampton, and F. Paci. Access control and authorization constraints for WS-BPEL. In ICWS 2006.
3. BPEL4People. http://www-128.ibm.com/developerworks/webservices/library/ specification/ws-bpel4people/, 2007.
4. M. Butler, C. Ferreira, and M. Y. Ng. Precise modelling of compensating business transactions and its application to BPEL. Journal of Universal Computer Science, 11 (5), 2005.
5. J. Crampton. Specifying and enforcing constraints in role-based access control. In SACMAT '03. ACM, 2003.
6. X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL Web services. In Proc. of WWW '04. ACM, 2004.
7. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
8. Intalio. Intalio|tempo, 2007.
9. M. H. Kang, J. S. Park, and J. N. Froscher. Access control mechanisms for inter-organizational workflow. In SACMAT '01. ACM, 2001.
10. M. Koshkina and F. Breugel. Modelling and verifying Web service orchestration by means of the concurrency workbench. In ACM Software Engineering Notes, 29(5), 2004.
11. M. Muehlen. Organizational management in workflow applications - issues and perspectives. Information Technology and Management, 5(3-4):271-291, July-Oct. 2004.
12. OASIS, eXtensible access control markup language, 2005.
13. Oracle. BPEL tutorial, 2006.
14. G. Pu, X. Zhao, S. Wang, and Z. Qiu. Towards the semantics and verification of BPEL4WS. ENTCS, 151(2):33-52, 2006.
15. Z. Qiu, S. Wang, G. Pu, and X. Zhao. Semantics of BPEL4WS-like fault and compensation handling. In Proc. Of FM 2005, volume 3582 of LNCS. Springer.
16. A. W. Roscoe. Theory and Practice of Concurrency, Prentice-Hall, 1997.
17. S. A. Schneider. An operational semantics for timed CSP. In Report PMG-R63, Chalmers University of Technology and University of Göteborg, 1992.
18. K. Tan, J. Crampton, and C. Gunter. The consistency of task-based authorization constraints in workflow systems. In Proc. of CSFW'04, 2004.
19. J. Thomas, F. Paci, E. Bertino, and P. Eugster. User tasks and access control over Web services. In ICWS 2007.
20. R. K. Thomas and R. S. Sandhu. Task-based authorization controls (TBAC). In T. Y. Lin and S. Qian, editors, DBSec, pages 166-181. Chapman & Hall, 1997.
21. C. Wolter and A. Schaad. Modeling of task-based authorization constraints in BPMN. In Proc. ofBPM'07, volume 4714 of LNCS. Springer.
22. X. Zhao, A. Cerone, and P. Krishnan. Verifying BPEL workflows under authorisation constraints. In Proc. of BPM'06, volume 4102 of LNCS. Springer.
23. W. van der Aalst, M. Pesic. DecSerFlow: Towards a Truly Declarative Service Flow Language. In Proc. of WS-FM'06, volume 4184 of LNCS. Springer.