Refine
Departments, institutes and facilities
Document Type
- Article (8)
- Conference Object (8)
- Book (monograph, edited volume) (1)
- Doctoral Thesis (1)
- Other (1)
- Preprint (1)
Year of publication
Has Fulltext
- no (20) (remove)
Keywords
- BPMS (1)
- Class inheritance (1)
- Denotational semantics (1)
- Geo-tagging (1)
- Hierarchy inheritance (1)
- Mobile devices (1)
- Modelling (1)
- Multiple inheritance (1)
- Ontology (1)
- Process views (1)
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.