Loading...
Please wait, while we are loading the content...
Similar Documents
Structural refinement of systems specified in object-z and csp (2003).
| Content Provider | CiteSeerX |
|---|---|
| Author | Derrick, John Smith, Graeme |
| Abstract | This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. |
| File Format | |
| Publisher Date | 2003-01-01 |
| Access Restriction | Open |
| Subject Keyword | Structural Refinement Complex System Csp Operator Several Proposal Suitable Vehicle Object-z Class |
| Content Type | Text |
| Resource Type | Article |