On Architectural Support for Behaviour Refinement in Distributed Systems Design

Research output: Book/ReportReportProfessional

25 Citations (Scopus)
18 Downloads (Pure)

Abstract

During the top-down design of distributed systems, abstract designs have to be replaced by more concrete designs, which add details that define how these systems can be implemented using available building blocks. Behaviour refinement is a design operation in which abstract behaviours are replaced by more concrete behaviours. Methods that guide and enforce the correctness of these replacements are necessary. This paper presents a set of methods to perform behaviour refinement, based on a careful consideration of the architectural concepts of action and causality relation. Correctness is enforced by validation of the conformance relation between an abstract and a concrete behaviour. Rules are provided to determine whether a concrete behaviour conforms to an abstract behaviour.
Original languageUndefined
PublisherCentre for Telematics and Information Technology (CTIT)
Number of pages30
Publication statusPublished - Mar 2002

Publication series

NameCTIT technical reports series
PublisherSociety for Design and Process Science
No.02-02
Volume6
ISSN (Print)1092-0617

Keywords

  • METIS-209721
  • SCS-Services
  • EWI-8682
  • IR-66752

Cite this

Quartel, D., Ferreira Pires, L., & van Sinderen, M. J. (2002). On Architectural Support for Behaviour Refinement in Distributed Systems Design. (CTIT technical reports series; Vol. 6, No. 02-02). Centre for Telematics and Information Technology (CTIT).
Quartel, Dick ; Ferreira Pires, Luis ; van Sinderen, Marten J. / On Architectural Support for Behaviour Refinement in Distributed Systems Design. Centre for Telematics and Information Technology (CTIT), 2002. 30 p. (CTIT technical reports series; 02-02).
@book{a4eee493840a4b52aa792c0bad06006a,
title = "On Architectural Support for Behaviour Refinement in Distributed Systems Design",
abstract = "During the top-down design of distributed systems, abstract designs have to be replaced by more concrete designs, which add details that define how these systems can be implemented using available building blocks. Behaviour refinement is a design operation in which abstract behaviours are replaced by more concrete behaviours. Methods that guide and enforce the correctness of these replacements are necessary. This paper presents a set of methods to perform behaviour refinement, based on a careful consideration of the architectural concepts of action and causality relation. Correctness is enforced by validation of the conformance relation between an abstract and a concrete behaviour. Rules are provided to determine whether a concrete behaviour conforms to an abstract behaviour.",
keywords = "METIS-209721, SCS-Services, EWI-8682, IR-66752",
author = "Dick Quartel and {Ferreira Pires}, Luis and {van Sinderen}, {Marten J.}",
note = "Imported from research group ASNA (ID number 140)",
year = "2002",
month = "3",
language = "Undefined",
series = "CTIT technical reports series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "02-02",
address = "Netherlands",

}

Quartel, D, Ferreira Pires, L & van Sinderen, MJ 2002, On Architectural Support for Behaviour Refinement in Distributed Systems Design. CTIT technical reports series, no. 02-02, vol. 6, Centre for Telematics and Information Technology (CTIT).

On Architectural Support for Behaviour Refinement in Distributed Systems Design. / Quartel, Dick; Ferreira Pires, Luis; van Sinderen, Marten J.

Centre for Telematics and Information Technology (CTIT), 2002. 30 p. (CTIT technical reports series; Vol. 6, No. 02-02).

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - On Architectural Support for Behaviour Refinement in Distributed Systems Design

AU - Quartel, Dick

AU - Ferreira Pires, Luis

AU - van Sinderen, Marten J.

N1 - Imported from research group ASNA (ID number 140)

PY - 2002/3

Y1 - 2002/3

N2 - During the top-down design of distributed systems, abstract designs have to be replaced by more concrete designs, which add details that define how these systems can be implemented using available building blocks. Behaviour refinement is a design operation in which abstract behaviours are replaced by more concrete behaviours. Methods that guide and enforce the correctness of these replacements are necessary. This paper presents a set of methods to perform behaviour refinement, based on a careful consideration of the architectural concepts of action and causality relation. Correctness is enforced by validation of the conformance relation between an abstract and a concrete behaviour. Rules are provided to determine whether a concrete behaviour conforms to an abstract behaviour.

AB - During the top-down design of distributed systems, abstract designs have to be replaced by more concrete designs, which add details that define how these systems can be implemented using available building blocks. Behaviour refinement is a design operation in which abstract behaviours are replaced by more concrete behaviours. Methods that guide and enforce the correctness of these replacements are necessary. This paper presents a set of methods to perform behaviour refinement, based on a careful consideration of the architectural concepts of action and causality relation. Correctness is enforced by validation of the conformance relation between an abstract and a concrete behaviour. Rules are provided to determine whether a concrete behaviour conforms to an abstract behaviour.

KW - METIS-209721

KW - SCS-Services

KW - EWI-8682

KW - IR-66752

M3 - Report

T3 - CTIT technical reports series

BT - On Architectural Support for Behaviour Refinement in Distributed Systems Design

PB - Centre for Telematics and Information Technology (CTIT)

ER -

Quartel D, Ferreira Pires L, van Sinderen MJ. On Architectural Support for Behaviour Refinement in Distributed Systems Design. Centre for Telematics and Information Technology (CTIT), 2002. 30 p. (CTIT technical reports series; 02-02).