University of Hertfordshire

Standard

Concrete examples (using CSP) of process algebra templates and their children. / Taylor, P.N.

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

Research output: Book/ReportOther report

Harvard

Taylor, PN 1997, Concrete examples (using CSP) of process algebra templates and their children. UH Computer Science Technical Report, vol. 280, University of Hertfordshire.

APA

Taylor, P. N. (1997). Concrete examples (using CSP) of process algebra templates and their children. (UH Computer Science Technical Report; Vol. 280). University of Hertfordshire.

Vancouver

Taylor PN. Concrete examples (using CSP) of process algebra templates and their children. University of Hertfordshire, 1997. (UH Computer Science Technical Report).

Author

Taylor, P.N. / Concrete examples (using CSP) of process algebra templates and their children. University of Hertfordshire, 1997. (UH Computer Science Technical Report).

Bibtex

@book{083e2a8eba89482baa018946e795001d,
title = "Concrete examples (using CSP) of process algebra templates and their children",
abstract = "This paper describes the concepts of template, class, object and type between processes defined using the process algebra CSP. We are primarily concerned with the issue of reuse and behavioural compatibility, particularly the stability of systems that incorporate object-orientated inheritance via the incremental modification of existing behaviour. It is intended that this paper provides concrete process algebra examples for the main concepts of the object-orientated paradigm. The formal language of CSP is used to specify the object-orientated concepts defined in the ISO Reference Model for Open Distributed Processing (RM-ODP) 10746 (Part 2). In this paper CSP processes that are related via strict inheritance (i.e: incremental modification) are classified using their RM-ODP definitions. Conformance and extension testing are then used to prove the behavioural compatibility of simple examples which incorporate reuse. In order to build an object-oriented concurrent system, components must be classified in terms of template, class, object and type and shown to exhibit behavioural compatibility where inheritance is used.",
author = "P.N. Taylor",
year = "1997",
language = "English",
series = "UH Computer Science Technical Report",
publisher = "University of Hertfordshire",

}

RIS

TY - BOOK

T1 - Concrete examples (using CSP) of process algebra templates and their children

AU - Taylor, P.N.

PY - 1997

Y1 - 1997

N2 - This paper describes the concepts of template, class, object and type between processes defined using the process algebra CSP. We are primarily concerned with the issue of reuse and behavioural compatibility, particularly the stability of systems that incorporate object-orientated inheritance via the incremental modification of existing behaviour. It is intended that this paper provides concrete process algebra examples for the main concepts of the object-orientated paradigm. The formal language of CSP is used to specify the object-orientated concepts defined in the ISO Reference Model for Open Distributed Processing (RM-ODP) 10746 (Part 2). In this paper CSP processes that are related via strict inheritance (i.e: incremental modification) are classified using their RM-ODP definitions. Conformance and extension testing are then used to prove the behavioural compatibility of simple examples which incorporate reuse. In order to build an object-oriented concurrent system, components must be classified in terms of template, class, object and type and shown to exhibit behavioural compatibility where inheritance is used.

AB - This paper describes the concepts of template, class, object and type between processes defined using the process algebra CSP. We are primarily concerned with the issue of reuse and behavioural compatibility, particularly the stability of systems that incorporate object-orientated inheritance via the incremental modification of existing behaviour. It is intended that this paper provides concrete process algebra examples for the main concepts of the object-orientated paradigm. The formal language of CSP is used to specify the object-orientated concepts defined in the ISO Reference Model for Open Distributed Processing (RM-ODP) 10746 (Part 2). In this paper CSP processes that are related via strict inheritance (i.e: incremental modification) are classified using their RM-ODP definitions. Conformance and extension testing are then used to prove the behavioural compatibility of simple examples which incorporate reuse. In order to build an object-oriented concurrent system, components must be classified in terms of template, class, object and type and shown to exhibit behavioural compatibility where inheritance is used.

M3 - Other report

T3 - UH Computer Science Technical Report

BT - Concrete examples (using CSP) of process algebra templates and their children

PB - University of Hertfordshire

ER -