A Concurrent Language for Refinement | Zendy

Jim Woodcock | Zendy; Ana Cavalcanti | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Concurrent Language for Refinement

Author(s) -

Jim Woodcock,

Ana Cavalcanti

Publication year - 2001

Publication title -

electronic workshops in computing

Language(s) - English

Resource type - Conference proceedings

ISSN - 1477-9358

DOI - 10.14236/ewic/iwfm2001.7

Subject(s) - occam , programming language , computer science , specification language , programming language specification , formal specification , refinement , formal language , language of temporal ordering specification , formal methods , occam's razor , software engineering , programming paradigm , inductive programming , statistics , programming domain , mathematics

We present a combination of the well-established formal specification languages Z and CSP; our objective is to provide support for the specification of both data and behaviour aspects of concurrent systems, and a development technique. The resulting language, Circus, distinguishes itself in that it is aimed at the calculational refinement of specifications to programs written in a language similar to occam and Handel-C. In this paper, we present Circus, the rationale for its design, and a case study in its use.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research