Formalisations and applications of business process modelling notation

Formalisations and applications of business process modelling notation

Business Process Modelling Notation (BPMN) is a standardised diagram notation for modelling interactive workflow processes graphically at the design stage. The primary objective of this thesis is to provide a framework for precise specifications and formal verifications of workflow processes modelle...

Full description

Bibliographic Details
Main Author: Wong, Peter Yung Ho
Other Authors: Gibbons, Jeremy
Published: University of Oxford 2011
Subjects:
658.53
Communication Sequential Processing (CSP) : Software engineering : Computing : formal methods : communication sequential processing (CSP) : Z Notation
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555361

Internet

http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555361

Similar Items