University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Changing system interfaces consistently: A new refinement strategy for CSP||B

Schneider, S and Treharne, H (2011) Changing system interfaces consistently: A new refinement strategy for CSP||B Science of Computer Programming, 76 (10). pp. 837-860.

scp10.pdf - Accepted version Manuscript
Available under License : See the attached licence file.

Download (244kB)
[img] Text (licence)

Download (1kB)


This paper is concerned with event refinement in the context of CSP‖B. Our motivation to include this notion within the CSP‖B framework is the desire to increase flexibility in the refinement process. This approach provides the ability to change the events of CSP processes and B machines when refining a system. Notions of refinement based on traces and on traces/divergences allow abstract events to be refined by sequences of concrete events. A complementary notion of refinement between B machines is also proposed, yielding compositionality results for refinement of CSP‖B controlled components. The paper also introduces a notion of I/O refinement into our event refinement framework.

Item Type: Article
Divisions : Faculty of Engineering and Physical Sciences > Computer Science
Authors : Schneider, S and Treharne, H
Date : 20 May 2011
DOI : 10.1016/j.scico.2010.08.001
Depositing User : Symplectic Elements
Date Deposited : 29 Sep 2011 11:48
Last Modified : 06 Jul 2019 05:08

Actions (login required)

View Item View Item


Downloads per month over past year

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800