Specifying component and context specification using Promotion [chapter]

John Derrick, Eerke Boiten
1999 IFM'99  
In this paper we discuss how the speci cation of components may be separated from the description of the context in which they are used. There are a number of ways in which this might be possible and here we show how to use the technique of promotion in Object-Z to combine components which are speci ed using process algebras. We discuss two approaches, the rst is to separate out the speci cation into two distinct viewpoints written in di erent languages. These viewpoints are then combined by a
more » ... then combined by a process of translation and uni cation. The second approach will be to use hybrid languages composed of a combination of CSP and Object-Z. We also consider how to re ne such component based descriptions and consider issues of compositionality. Some authors prefer to think of a component as a class, and then the use of components is phrased in terms of instances of components.
doi:10.1007/978-1-4471-0851-1_16 dblp:conf/ifm/DerrickB99 fatcat:zjtk5jbzvnec5a2hlxfqtccbji