Volltext-Downloads (blau) und Frontdoor-Views (grau)
  • search hit 4 of 21
Back to Result List

CSPm models for the ATM case study

  • 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.

Export metadata

Additional Services

Share in Twitter Search Google Scholar Availability


Document Type:Conference Object
Author:Andreas V. Hense
Parent Title (English):S-BPM ONE '15. Proceedings of the 7th International Conference on Subject-Oriented Business Process Management. April, 23-24, 2015 in Kiel, Germany
First Page:1
Last Page:7
Publication year:2015
Departments, institutes and facilities:Fachbereich Informatik
Dewey Decimal Classification (DDC):0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Entry in this database:2015/05/26