Formalisations and applications of BPMN
From MaRDI portal
Publication:541678
DOI10.1016/j.scico.2009.09.010zbMath1213.68212OpenAlexW2131247527MaRDI QIDQ541678
Peter Y. H. Wong, Jeremy Gibbons
Publication date: 7 June 2011
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2009.09.010
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Formal Methods to Improve Public Administration Business Processes ⋮ Algebraic Reasoning About Timeliness ⋮ Formal verification of complex business processes based on high-level Petri nets
Uses Software
Cites Work
- Unnamed Item
- Specification of communicating processes: temporal logic versus refusals-based refinement
- Responsiveness of interoperating components
- On the expressiveness of timed coordination models
- Contract Based Multi-party Service Composition
- Property Specifications for Workflow Modelling
- A Relative Timed Semantics for BPMN