A Relative Timed Semantics for BPMN

Electronic Notes in Theoretical Computer Science

Volumn 229, Issue 2, 2009, Pages 59-75

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

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

business process; CSP; refinement; timed semantics; verification; workflow

Indexed keywords

BUSINESS PROCESS; CSP; REFINEMENT; TIMED SEMANTICS; WORKFLOW;

COMPUTER OPERATING PROCEDURES; LINGUISTICS; MANAGEMENT; MODEL CHECKING; QUERY LANGUAGES; SOFTWARE ARCHITECTURE;

SEMANTICS;

EID: 67649996419     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.06.029     Document Type: Article

References (21)

1. Mario Bravetti and 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. Marco Carbone, Kohei Honda, Nobuko Yoshida, Robin Milner, Gary Brown, and Steve Ross-Talbot. A Theoretical Basis of Communication-Centred Concurrent Programming. Technical report, W3C, 2006
3. Dwyer M.B., Avrunin G.S., and Corbett J.C. Patterns in property specifications for finite-state verification. ICSE '99: Proceedings of the 21st international conference on Software engineering (1999), IEEE Computer Society Press 411-420
4. Helena Earl, Carlos Caldas, Helen Howard, Janet Dunn, and Chris Poole. Neo-tAnGo A neoadjuvant study of sequential epirubicin + cyclophosphamide and paclitaxel +/- gemcitabine in the treatment of high risk early breast cancer with molecular profiling, proteomics and candidate gene analysis, 2004
5. Formal Systems (Europe) Ltd. Failures-Divergences Refinement, FDR2 User Manual, 1998. www.fsel.com
6. Nicolas Guelfi and Amel Mammar. A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. In APSEC05, pages 283-290, 2005
7. Peter Hammand, Marek J. Sergot, and Jeremy C Wyatt. Formalisation of Safety Reasoning in Protocols and Hazard Regulations. In 19th Annual Symposium on Computer Applications in Medical Care, October 1995
8. Hendrik Eshuis. Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis, University of Twente, 2002
9. ILOG JViews BPMN Modeler. Available at. http://www.ilog.com/products/jviews/diagrammer/bpmnmodeler/
10. Linden I., Jacquet J.-M., De Bosschere K., and Brogi A. On the expressiveness of timed coordination models. Sci. Comput. Program. 61 2 (2006) 152-187
11. Sea Ling and H. Schmidt. Time petri nets for workflow modelling and analysis. In Proceedings of 2000 IEEE International Conference on Systems, Man, and Cybernetics, pages 3039-3044, 2000
12. OMG. Business Process Modeling Notation (BPMN) Specification (February 2006). www.bpmn.org
13. Reed J.N., Sinclair J.E., and Roscoe A.W. Responsiveness of interoperating components. Form. Asp. Comput. 16 4 (2004) 394-411
14. Roscoe A.W. The Theory and Practice of Concurrency (1998), Prentice-Hall
15. 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, pages 407-426, 1997
16. Peter Y.H. Wong and Jeremy Gibbons. A Process Semantics for BPMN. In Proceedings of the 10th International Conference on Formal Engineering Methods, October 2008. To appear. Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmnsem.pdf
17. Peter Y.H. Wong and Jeremy Gibbons. A Relative-Timed Semantics for BPMN (extended version), 2008. http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmntime.pdf
18. Peter Y.H. Wong and Jeremy Gibbons. On Specifying and Visualising Long-Running Empirical Studies. In Proceedings of 1st International Conference on Model Transformation, volume 5063 of LNCS, July 2008. Extended version available at http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/transext.pdf
19. Peter Y.H. Wong and Jeremy Gibbons. Verifying Business Process Compatibility. In Proceedings of 8th International Conference on Quality Software. IEEE Computer Society Press, August 2008. To appear
20. Woodcock J.C.P., and Davies J. Using Z: Specification, Proof and Refinement. International Series in Computer Science (1996), Prentice Hall
21. XML Schema Part 2: Datatypes Second Edition (October 2004). http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/