A process-algebraic approach to workflow specification and refinement

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4829 LNCS, Issue , 2007, Pages 51-65

  Wong, Peter Y H ^a   Gibbons, Jeremy ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ARTIFICIAL INTELLIGENCE; MATHEMATICAL MODELS; MODEL CHECKING;

AUTOMATED MODEL CHECKER; PROCESS-ALGEBRAIC APPROACH; WORKFLOW PROCESS;

DATA FLOW ANALYSIS;

EID: 38549181809     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77351-1_5     Document Type: Conference Paper

References (23)

1. Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol. 3525, pp. 133-150. Springer, Heidelberg (2005)
2. Creese, S.: Industrial Strength CSP: Opportunities and Challenges in Model-Checking. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol. 3525, p. 292. Springer, Heidelberg (2005)
3. Davies, J.: The CSP Package (March 2001). ftp://ftp.comlab.ox.ac.uk/pub/ CSP/LaTeX/csp.sty
4. Formal Systems (Europe) Ltd. Failures-Divergences Refinement, FDR2 User Manual (1998), www.fsel.com
5. Fournct, C., Hoare, T., Rajamani, S.K., Hehof. J.: Stuck-Free Conformance. In: Alur, R., Peled. D.A. (eds.) CAV 2001. LNCS. vol. 3114, pp. 242-254. Springer. Heidelberg (2004)
6. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall. Knglewood Cliffs (1985)
7. Hollingsworth, D.: The Workflow Reference Model. Technical Report WFMC-TC1003, Workflow Management Coalition (January 1995)
8. Josephs, M.: Models for Data-Flow Sequential Processes. In: Abdallah. A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS. vol. 3525. pp. 85-97. Springer, Heidelberg (2005)
9. Kiepuszewski, B.: Expressiveness and Suitability of languages for Control Flow Modelling in Workflows. PhD thesis. Queensland University of Technology. Brisbane, Australia (2002)
10. Lawrence, J.: Practical Application of CSP and FDR to Software Design. In: Abdallah, A.K., Jones. C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol. 3525. pp. 151-174. Springer. Heidelberg (2005)
11. Milner. R.: Communication and Concurrenc. Prentice-Hall, Englewood Cliffs (1989)
12. Milner, R.: Communicating and Mobile Systems: the π-calculus. Cambridge University Press, Cambridge (1999)
13. Puhlmann, F., Weske, M.: Using the π-Calculus for Formalizing Workflow Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 153-168. Springer, Heidelberg (2005)
14. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)
15. Stefansen, C.: SMAWL: A SMAll workflow language based on CCS. Technical Report TR-06-05, Harvard University, Mar (2005)
16. Stupnikov, S.A., Kalinichenko, L.A., Dong, J.S.: Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows. In: Manolopoulos, Y., Návrat, P. (eds.) ADBIS 2002. LNCS, vol. 2435, Springer, Heidelberg (2002)
17. van der Aalst, W.M.P.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997)
18. van der Aalst, W.M.P.: Pi Calculus Versus Petri Nets: Let Us Eat Humble Pie Rather Than Further Inflate the Pi Hype. BPTrends 3(5), 1-11 (2005)
19. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases 14(3), 5-51 (2003)
20. W3C Web Service Choreography Interface 1.0 (2002), www.w3.org/TR/wsci/
21. Welch, P.H., Barnes, F.R.M.: Mobile Barriers for occam-pi: Semantics, Implementation and Application. In: Communicating Process Architectures 2005. Concurrent Systems Engineering Series, vol. 63, pp. 289-316 (2005)
22. Wong, P.Y.H.: Towards a unified model for workflow orchestration and choreography, Transfer dissertation, Oxford University Computing Laboratory (2006)
23. Wong, P.Y.H., Gibbons, J.: A Process Semantics for BPMN, submitted for publication. Extended version (2007), available at http ://web.comlab.ox.ac.uk/ oucl/work/peter.wong/pub/bpmn-extended.pdf