TY  - CHAP
U1  - Konferenzveröffentlichung
A1  - Hense, Andreas V.
T1  - CSPm models for the ATM case study
T2  - S-BPM ONE '15. Proceedings of the 7th International Conference on Subject-Oriented Business Process Management. April, 23-24, 2015 in Kiel, Germany
N2  - Communicating Sequential Processes (CSP) [7] is a calculus for concurrent systems that has been the basis of subject-oriented business process management (S-BPM) [4]. We use CSPm -- a machine readable dialect of CSP -- to create a sequence of models for a case study on an "Automated Teller Machine" [1]. We use the refinement checker FDR2 to prove that certain models are correct implementations of specifications.
SN  - 978-1-4503-3312-2
SB  - 978-1-4503-3312-2
U6  - https://doi.org/10.1145/2723839.2723866
DO  - https://doi.org/10.1145/2723839.2723866
SP  - 1
EP  - 7
PB  - Association for Computing Machinery
CY  - New York, NY, United States
ER  -