Paper Details

%T Refining Industrial Scale Systems in Circus
%A Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
%E Ian R. East, David Duce, Mark Green, Jeremy M. R. Martin, Peter H. Welch
%B Communicating Process Architectures 2004
%X Circus is a new notation that may be used to specify both
   data and behaviour aspects of a system, and has an
   associated refinement calculus. Although a few case studies
   are already available in the literature, the industrial fire
   control system presented in this paper is, as far as we
   know, the largest case study on the Circus refinement
   strategy. We describe the refinement and present some new
   laws that were needed. Our case study makes extensive use of
   mutual recursion; a simplified notation for specifying such
   systems and proving their refinements is proposed here.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.