White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Unifying classes and processes

Cavalcanti, A., Sampaio, A. and Woodcock, J. (2005) Unifying classes and processes. International Journal on Software & Systems Modelling, 4 (3). pp. 277-296. ISSN 1619-1366

Full text not available from this repository.


Previously, we presented Circus, an integration of Z, CSP, and Morgan’s refinement calculus, with a semantics based on the unifying theories of programming. Circus provides a basis for development of state-rich concurrent systems; it has a formal semantics, a refinement theory, and a development strategy. The design of Circus is our solution to combining data and behavioural specifications. Here, we further explore this issue in the context of object-oriented features. Concretely, we present an object-oriented extension of Circus called OhCircus. We present its syntax, describe its semantics, explain the formalisation of method calls, and discuss our approach to refinement.

Item Type: Article
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 04 Aug 2009 17:24
Last Modified: 04 Aug 2009 17:24
Published Version: http://dx.doi.org/10.1007/s10270-005-0085-2
Status: Published
Publisher: Springer Science + Business Media
Identification Number: 10.1007/s10270-005-0085-2
URI: http://eprints.whiterose.ac.uk/id/eprint/6426

Actions (repository staff only: login required)