Formalisation and Analysis of Objects as CSP Processes

  • Renata Kaufman
  • Augusto Sampaio
  • Alexandre Mota
Conference paper

DOI: 10.1007/978-3-642-10452-7_16

Volume 5902 of the book series Lecture Notes in Computer Science (LNCS)
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

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 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Renata Kaufman
    • 1
  • Augusto Sampaio
    • 1
  • Alexandre Mota
    • 1
  1. 1.Centro de InformáticaUniversidade Federal de PernambucoBrazil