University of Hertfordshire

CCS and object-oriented concepts

Research output: Book/ReportOther report


  • M. Buchanan
  • R. Dickerson
View graph of relations
Original languageEnglish
PublisherUniversity of Hertfordshire
Publication statusPublished - 1992

Publication series

NameUH Computer Science Technical Report
PublisherUniversity of Hertfordshire


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.

ID: 98987