Show simple item record

dc.contributor.authorTaylor, P.N.
dc.date.accessioned2011-01-19T12:36:26Z
dc.date.available2011-01-19T12:36:26Z
dc.date.issued1997
dc.identifier.citationTaylor , P N 1997 , Abstract process definitions in CSP- A case study . UH Computer Science Technical Report , vol. 283 , University of Hertfordshire .
dc.identifier.otherdspace: 2299/5179
dc.identifier.urihttp://hdl.handle.net/2299/5179
dc.description.abstractThis paper presents a CSP specification of a case study for an environment control system for a building. The modification of CSP process definitions to incorporate reuse via inheritance is the main issue presented in this work. Incremental and behaviour modification are two techniques that are presented in order to model object-orientated inheritance. In its current form CSP does not provide many facilities for reusing existing components of a specification. This paper presents an addition to the language of CSP by parameterising initial actions and subsequent behaviour in the signature of a process which then permits behaviour to be modified in situ as well as by the extension of action choice.en
dc.format.extent1511304
dc.language.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.subjectCSP
dc.subjectreuse
dc.subjectinheritance
dc.subjectobject-orientated specification
dc.titleAbstract process definitions in CSP- A case studyen
dc.contributor.institutionSchool of Computer Science
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record