• A refinement strategy for Circ...

Result: A refinement strategy for Circus

Title:
A refinement strategy for Circus
Authors:
CAVALCANTI, Ana, SAMPAIO, Augusto, WOODCOCK, Jim
Source:
RefinementFormal aspects of computing. 15(2-3):146-181
Publisher Information:
London: Springer, 2003.
Publication Year:
2003
Physical Description:
print, 29 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Algorithmique. Calculabilité. Arithmétique ordinateur, Algorithmics. Computability. Computer arithmetics, Théorie programmation, Programming theory, Logiciel, Software, Génie logiciel, Software engineering, Calcul formel, Computer algebra, Cálculo formal, Calcul parallèle, Parallel computation, Cálculo paralelo, Calcul raffinement, Refinement calculus, Calcul réparti, Distributed computing, Cálculo repartido, Génie logiciel, Software engineering, Ingeniería informática, Programme concurrent, Concurrent program, Programa competidor, Structure donnée, Data structure, Estructura datos, Théorie programmation, Programming theory, Transformation Z, Z transformation, Transformación Z, CSP, Développement programme, Program development
Document Type:
Conference Conference Paper
File Description:
text
Language:
English
Author Affiliations:
Computing Laboratory, University of Kent, Canterbury, United Kingdom
Centro de Informática, Universidade Federal de Pernambuco, Recife PE, Brazil
ISSN:
0934-5043
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=15355326
Rights:
Copyright 2004 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.15355326
Database:
PASCAL Archive

Further Information

We present a refinement strategy for Circus, which is the combination of Z, CSP, and the refinement calculus in the setting of Hoare and He's unifying theories of programming. The strategy unifies the theories of refinement for processes and their constituent actions, and provides a coherent technique for the stepwise refinement of concurrent and distributed programs involving rich data structures. This kind of development is carried out using Circus's refinement calculus, and we describe some of its laws for the simultaneous refinement of state and control behaviour, including the splitting of a process into parallel subcomponents. We illustrate the strategy and the laws using a case study that shows the complete development of a small distributed program.