Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B

Abstract

This paper introduces action refinement in the context of CSP‖B. Our motivation to include this notion of refinement within the CSP‖B framework is the desire to increase flexibility in the refinement process. We introduce the ability to change the events of a CSP process and the B machines when refining a system. Notions of refinement based on traces and on… (More)
DOI: 10.1007/978-3-642-00255-7_8

Topics

4 Figures and Tables

Cite this paper

@article{Schneider2009ChangingSI, title={Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B}, author={Steve A. Schneider and Helen Treharne}, journal={Sci. Comput. Program.}, year={2009}, volume={76}, pages={837-860} }