Formalisation and Analysis of Objects as CSP Processes
- Cite this paper as:
- Kaufman R., Sampaio A., Mota A. (2009) Formalisation and Analysis of Objects as CSP Processes. In: Oliveira M.V.M., Woodcock J. (eds) Formal Methods: Foundations and Applications. SBMF 2009. Lecture Notes in Computer Science, vol 5902. Springer, Berlin, Heidelberg
CSP-OZ is a formal specification language. It is a formal combination of the process algebra CSP and Object-Z, an object-oriented version of the model-based Z language. CSP-OZ lacks tool support, having only a type checker and a model-checking strategy. Unfortunately, the model-checking strategy for CSP-OZ does not deal with the object-oriented features of this language. In this work, we propose design patterns for CSP to capture such features and for CSP-OZ. Our approach complements the original model-checking strategy by also considering object-oriented characteristics.
KeywordsCSP Object-Z Object-Oriented Specification Design Pattern
Unable to display preview. Download preview PDF.