Current CSP Models of Concurrent Eiffel

This document summarises the CSP model of specific concurrency mechanisms for Eiffel, pre-sented in [1–3]. We present a model of SCOOP in the process algebra CSP [3]. An alternative variation [1] is given by modification. A modification of both the SCOOP and alternative varia-tions to incorporate exceptions is also given [2]. This document reflects the current state of Brooke’s CSPsim model (but does not yet include exceptions). We refer readers to Hoare’s text [4] (or later texts by Roscoe [7] or Schneider [8]) for more information about CSP. 1 Order of presentation of the model We describe four layers in Section 1.1: systems, partitions, subsystems and objects, in order to provide some structure to a complex concept. We then construct the CSP programs for systems (which are simple compositions of other CSP programs. These systems comprise a number of components, all composed in parallel. Section 7 contains a listing of the events used, and the processes in which they appear. 1.1 Layer