University of Hertfordshire

Abstract process definitions in CSP- A case study

Research output: Book/ReportOther report

Standard

Abstract process definitions in CSP- A case study. / Taylor, P.N.

University of Hertfordshire, 1997. (UH Computer Science Technical Report; Vol. 283).

Research output: Book/ReportOther report

Harvard

Taylor, PN 1997, Abstract process definitions in CSP- A case study. UH Computer Science Technical Report, vol. 283, University of Hertfordshire.

APA

Taylor, P. N. (1997). Abstract process definitions in CSP- A case study. (UH Computer Science Technical Report; Vol. 283). University of Hertfordshire.

Vancouver

Taylor PN. Abstract process definitions in CSP- A case study. University of Hertfordshire, 1997. (UH Computer Science Technical Report).

Author

Taylor, P.N. / Abstract process definitions in CSP- A case study. University of Hertfordshire, 1997. (UH Computer Science Technical Report).

Bibtex

@book{ea3fbede88c74e099204723860ea78d2,
title = "Abstract process definitions in CSP- A case study",
abstract = "This 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.",
keywords = "CSP, reuse, inheritance, object-orientated specification",
author = "P.N. Taylor",
year = "1997",
language = "English",
series = "UH Computer Science Technical Report",
publisher = "University of Hertfordshire",

}

RIS

TY - BOOK

T1 - Abstract process definitions in CSP- A case study

AU - Taylor, P.N.

PY - 1997

Y1 - 1997

N2 - This 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.

AB - This 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.

KW - CSP

KW - reuse

KW - inheritance

KW - object-orientated specification

M3 - Other report

T3 - UH Computer Science Technical Report

BT - Abstract process definitions in CSP- A case study

PB - University of Hertfordshire

ER -