Formalisations and applications of BPMN

Science of Computer Programming

Volumn 76, Issue 8, 2011, Pages 633-650

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

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Business process; CSP; Model checking; Property specifications; Refinement; Semantics; Timed behaviour; Workflow

Indexed keywords

BUSINESS PROCESS; CSP; PROPERTY SPECIFICATIONS; REFINEMENT; TIMED BEHAVIOUR; WORKFLOW;

FORMAL METHODS; SEMANTICS; SPECIFICATIONS; TIMING CIRCUITS;

MODEL CHECKING;

EID: 79955035751     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2009.09.010     Document Type: Conference Paper

References (32)

1. Mario Bravetti, Gianluigi Zavattaro, Towards a unifying theory for choreography conformance and contract compliance, in: Proc. of 6th International Symposium on Software Composition, SC'07 2007
2. James Brenton, Carlos Caldas, Jim Davies, Steve Harris, Peter Maccallum, CancerGrid: Developing open standards for clinical cancer informatics, in: Proceedings of the UK e-science All Hands Meeting 2005, 2005, pp. 678681
3. Marco Carbone, Kohei Honda, Nobuko Yoshida, Robin Milner, Gary Brown, Steve Ross-Talbot, A Theoretical Basis of Communication-Centred Concurrent Programming, Technical Report, W3C, 2006
4. R. M. Dijkman, M. Dumas, C. Ouyang, Formal semantics and automated analysis of BPMN process models, Technical Report Preprint 5969, Queensland University of Technology 2007
5. Matthew B. Dwyer, George S. Avrunin, James C. Corbett, Patterns in property specifications for finite-state verification, in: Proceedings of the 21st International Conference on Software Engineering, 1999
6. Formal Systems (Europe) Ltd. Failures-Divergences Refinement, FDR2 User Manual 1998, www.fsel.com
7. Nicolas Guelfi, Amel Mammar, A formal semantics of timed activity diagrams and its PROMELA translation, in: APSEC05, 2005, pp. 283290
8. Peter Hammand, Marek J. Sergot, Jeremy C. Wyatt, Formalisation of safety reasoning in protocols and hazard regulations, in: 19th Annual Symposium on Computer Applications in Medical Care, 1995
9. Haskell, http://www.haskell.org
10. H. Foster, Mapping BPEL4WS to FSP, Technical Report, Imperial College, 2003
11. ILOG JViews BPMN Modeler. Available at http://www.ilog.com/products/ jviews/diagrammer/bpmnmodeler/
12. I. Linden, J.-M. Jacquet, K. De Bosschere, and A. Brogi On the expressiveness of timed coordination models Science of Computer Programming 61 2 2006 152 187 (Pubitemid 44308197)
13. Sea Ling, H. Schmidt, Time petri nets for workflow modelling and analysis, in: Proceedings of 2000 IEEE International Conference on Systems, Man, and Cybernetics, 2000, pp. 30393044 (Pubitemid 32068971)
14. Gavin Lowe Specification of communicating processes: temporal logic versus refusals-based refinement Formal Aspects of Computing 20 3 2008
15. B. Ludscher, I. Altintas, C. Berkley, D. Higgins, E. Jaeger, M. Jones, E.A. Lee, J. Tao, and Y. Zhao Scientific workflow management and the Kepler system: Research articles Concurrency and Computation: Practice & Experience 18 10 2006 1039 1065 (Pubitemid 44258497)
16. S. Modgil, and P. Hammond Decision support tools for clinical trial design Artificial Intelligence in Medicine 27 2003
17. Abida Mukarram, A Refusal Testing Model for CSP, D.Phil Thesis, University of Oxford, 1992
18. Model Checking BPMN. Available at http://www.comlab.ox.ac.uk/peter.wong/ bpmn/
19. OMG. Business Process Modeling Notation (BPMN) Specification. February 2006. www.bpmn.org
20. C Ouyang, W. M. P. van der Aalst, M. Dumas, A. H. M. ter Hofstede, Translating BPMN to BPEL, Technical Report BPM-06-02, BPM Center, 2006
21. J.N. Reed, J.E. Sinclair, and A.W. Roscoe Responsiveness of interoperating components Formal Aspects of Computing 16 4 2004 394 411
22. A.W. Roscoe The Theory and Practice of Concurrency 1998 Prentice-Hall
23. Microsoft Research Trident Scientific Workflow Workbench, http://research.microsoft.com/en-us/collaboration/tools/trident.aspx
24. W.M.P. van der Aalst, Verification of workflow nets, in: ICATPN'97: Proceedings of the 18th International Conference on Application and Theory of Petri Nets, 1997 pp. 407426
25. W3C, Web Service Choreography Interface (WSCI) 1.0, November 2002, www.w3.org/TR/wsci
26. Peter Y.H. Wong, and Jeremy Gibbons A process semantics for BPMN Proceedings of 10th International Conference on Formal Engineering Methods LNCS vol. 5256 2008 Technical Report version available at http://www.comlab.ox.ac.uk/ peter.wong/pub/bpmnsem.pdf
27. Peter Y.H. Wong, and Jeremy Gibbons A relative-timed semantics for BPMN Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures ENTCS vol. 229 2009 Technical Report version available at http://www.comlab.ox.ac.uk/peter.wong/pub/bpmntime.pdf
28. Peter Y.H. Wong, and Jeremy Gibbons On specifying and visualising long-running empirical studies Proceedings of International Conference on Model Transformation LNCS vol. 5063 2008 Technical Report version available at http://www.comlab.ox.ac.uk/peter.wong/pub/transext.pdf
29. Peter Y.H. Wong, and Jeremy Gibbons Verifying business process compatibility Proceedings of 8th International Conference on Quality Software 2008 IEEE Computer Society 126 131
30. Peter Y. H. Wong, Jeremy Gibbons, Property specifications for workflow modelling, in: Proceedings of 7th International Conference on Integrated Formal Methods in: LNCS vol. 5423, February 2009
31. J.C.P. Woodcock, and J. Davies Using Z: Specification, Proof and Refinement 1996 Prentice Hall International Series in Computer Science
32. XML Schema Part 2: Datatypes Second Edition, October 2004. http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/