Chapter

Formal Methods: Foundations and Applications

Volume 5902 of the series Lecture Notes in Computer Science pp 236-250

Formalisation and Analysis of Objects as CSP Processes

  • Renata KaufmanAffiliated withLancaster UniversityCentro de Informática, Universidade Federal de Pernambuco
  • , Augusto SampaioAffiliated withLancaster UniversityCentro de Informática, Universidade Federal de Pernambuco
  • , Alexandre MotaAffiliated withLancaster UniversityCentro de Informática, Universidade Federal de Pernambuco

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.

Keywords

CSP Object-Z Object-Oriented Specification Design Pattern