01487741

a

01487741 MacColl, Ian Carrington, David Specifying interactive systems in Object-Z and CSP. Araki, Keijiro (ed.) et al., IFM 99. Proceedings of the 1st international conference on Integrated formal methods, York , GB, June 28-29, 1999. London: Springer. 335-352 (1999). 1999 London: Springer EN Object-Z Summary: We use a semantic integration of Object-Z and CSP to formally specify interactive systems. Interactive systems can be viewed as composed of functionality, presentation and interaction with different notations appropriate to each aspect. A model-based notation such as Object-Z can be used for defining functionality and presentation but a behavior-based notation such as CSP is required for explicit definition and analysis of operation traces. We present an example of using Object-Z and CSP together in this way. We are developing a framework for using such integrated specifications as a basis for testing interactive systems.