On the use of specification styles in the design of distributed systems

C.A. Vissers, J. Diaz (Editor), Giuseppe Scollo, F. Orejas (Editor), Marten J. van Sinderen, Hendrik Brinksma

Research output: Contribution to conferenceAbstractOther research output

Abstract

The term architecture denotes in this paper an abstract object that defines a set of requirements for a class of products, and that can be used to derive from it various more concrete objects, called (product) implementations. We assume that an architecture is expressed in a formal description language. The paper argues that in practice any architecture of more than elementary complexity, and thus its formal description, needs to be structured in order to keep it comprehensible and to efficiently express its functionality. This structuring may introduce implementation-oriented elements in the architecture, despite the fact that in principle the architecture should be implementation independent: i.e., it should be just a definition of the abstract object's external functionality.
Original languageUndefined
Pages60-60
Number of pages1
Publication statusPublished - 1989

Keywords

  • EWI-6868
  • SCS-Services

Cite this

Vissers, C. A., Diaz, J. (Ed.), Scollo, G., Orejas, F. (Ed.), van Sinderen, M. J., & Brinksma, H. (1989). On the use of specification styles in the design of distributed systems. 60-60.
Vissers, C.A. ; Diaz, J. (Editor) ; Scollo, Giuseppe ; Orejas, F. (Editor) ; van Sinderen, Marten J. ; Brinksma, Hendrik. / On the use of specification styles in the design of distributed systems. 1 p.
@conference{8b445c838ba74056a018a5f702063801,
title = "On the use of specification styles in the design of distributed systems",
abstract = "The term architecture denotes in this paper an abstract object that defines a set of requirements for a class of products, and that can be used to derive from it various more concrete objects, called (product) implementations. We assume that an architecture is expressed in a formal description language. The paper argues that in practice any architecture of more than elementary complexity, and thus its formal description, needs to be structured in order to keep it comprehensible and to efficiently express its functionality. This structuring may introduce implementation-oriented elements in the architecture, despite the fact that in principle the architecture should be implementation independent: i.e., it should be just a definition of the abstract object's external functionality.",
keywords = "EWI-6868, SCS-Services",
author = "C.A. Vissers and J. Diaz and Giuseppe Scollo and F. Orejas and {van Sinderen}, {Marten J.} and Hendrik Brinksma",
year = "1989",
language = "Undefined",
pages = "60--60",

}

Vissers, CA, Diaz, J (ed.), Scollo, G, Orejas, F (ed.), van Sinderen, MJ & Brinksma, H 1989, 'On the use of specification styles in the design of distributed systems' pp. 60-60.

On the use of specification styles in the design of distributed systems. / Vissers, C.A.; Diaz, J. (Editor); Scollo, Giuseppe; Orejas, F. (Editor); van Sinderen, Marten J.; Brinksma, Hendrik.

1989. 60-60.

Research output: Contribution to conferenceAbstractOther research output

TY - CONF

T1 - On the use of specification styles in the design of distributed systems

AU - Vissers, C.A.

AU - Scollo, Giuseppe

AU - van Sinderen, Marten J.

AU - Brinksma, Hendrik

A2 - Diaz, J.

A2 - Orejas, F.

PY - 1989

Y1 - 1989

N2 - The term architecture denotes in this paper an abstract object that defines a set of requirements for a class of products, and that can be used to derive from it various more concrete objects, called (product) implementations. We assume that an architecture is expressed in a formal description language. The paper argues that in practice any architecture of more than elementary complexity, and thus its formal description, needs to be structured in order to keep it comprehensible and to efficiently express its functionality. This structuring may introduce implementation-oriented elements in the architecture, despite the fact that in principle the architecture should be implementation independent: i.e., it should be just a definition of the abstract object's external functionality.

AB - The term architecture denotes in this paper an abstract object that defines a set of requirements for a class of products, and that can be used to derive from it various more concrete objects, called (product) implementations. We assume that an architecture is expressed in a formal description language. The paper argues that in practice any architecture of more than elementary complexity, and thus its formal description, needs to be structured in order to keep it comprehensible and to efficiently express its functionality. This structuring may introduce implementation-oriented elements in the architecture, despite the fact that in principle the architecture should be implementation independent: i.e., it should be just a definition of the abstract object's external functionality.

KW - EWI-6868

KW - SCS-Services

M3 - Abstract

SP - 60

EP - 60

ER -