Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
A trace semantics for long-running transactions
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Property Specifications for Workflow Modelling
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Petri Net Transformations for Business Processes --- A Survey
Transactions on Petri Nets and Other Models of Concurrency II
Specifying and Verifying Business Processes Using PPML
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Formal analysis of BPMN models using event-B
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Embedding requirements within Model-Driven Architecture
Software Quality Control
Formalisations and applications of BPMN
Science of Computer Programming
Constraint-centric workflow change analytics
Decision Support Systems
Formal semantics and implementation of BPMN 2.0 inclusive gateways
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Property specifications for workflow modelling
Science of Computer Programming
Verifying trustworthiness of virtual appliances in collaborative environments
TRUST'11 Proceedings of the 4th international conference on Trust and trustworthy computing
Health care applications: a solution based on the internet of things
Proceedings of the 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies
Performance evaluation of business processes through a formal transformation to SAN
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
A pattern-based approach for the verification of business process descriptions
Information and Software Technology
Dynamic enforcement of abstract separation of duty constraints
ACM Transactions on Information and System Security (TISSEC)
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Information and Software Technology
| Hi-index | 0.00 |
Business Process Modelling Notation (BPMN), developed by the Business Process Management Initiative (BPMI), intends to bridge the gap between business process design and implementation. However, the specification of the notation does not include a formal semantics. This paper shows how a subset of the BPMN can be given a process semantics in Communicating Sequential Processes. Such a semantics allows developers to formally analyse and compare BPMN diagrams. A simple example of a business process is included to demonstrate the application of the semantics; some theoretical results about the semantics are briefly discussed.