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
Abstract
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.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (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 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:6426 |