The visibility of using CCS as a formal specification language for classes of objects is investigated. The class based object-oriented paradigm is assumed throughout. It is concluded that CCS can be used to specify classes of objects and that it is particularly well suited for describing classes in which the time-ordering of operations is important. Further work is needed to evaluate the use of CCS to describe a complete system. Sub-type inheritance can be expressed in CCS but at the expense of added complexity. Restriction inheritance can be expressed simply and clearly.
|Name||UH Computer Science Technical Report|
|Publisher||University of Hertfordshire|