Using explicit state to describe architectures

A Lopes; J L Fiadeiro

doi:10.1007/978-3-540-49020-3_10

Using explicit state to describe architectures

A Lopes
, J L Fiadeiro

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

15 Citations (Scopus)

Abstract

In order to achieve higher levels of abstraction in architectural design, we investigate extensions to parallel program design based on the use of explicit state variables to accommodate the action-based discipline of interaction that is typical of architecture description languages. Our study focus on primitives that support non-determinism, choice and fairness in guarded-command based languages, and on refinement principles that are compositional with respect to interconnection.

Original language	English
Title of host publication	FASE 1999
Subtitle of host publication	Fundamental Approaches to Software Engineering
Editors	JP. Finance
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	144-160
Number of pages	17
ISBN (Electronic)	9783540490203
ISBN (Print)	9783540657187
DOIs	https://doi.org/10.1007/978-3-540-49020-3_10
Publication status	Published - 1999
Event	Fundamental Approaches to Software Engineering, 2nd International Conference: FASE 1999 - Amsterdam, Netherlands Duration: 22 Mar 1999 → 28 Mar 1999

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	1577

Conference

Conference	Fundamental Approaches to Software Engineering, 2nd International Conference
Country/Territory	Netherlands
City	Amsterdam
Period	22/03/99 → 28/03/99

Keywords

Private Action
Label System Transition
Shared Action
Communicate Sequential Process
Configuration Diagram

Access to Document

10.1007/978-3-540-49020-3_10

Cite this

@inproceedings{768983b88c65478aabd1ab5b85d95384,

title = "Using explicit state to describe architectures",

abstract = "In order to achieve higher levels of abstraction in architectural design, we investigate extensions to parallel program design based on the use of explicit state variables to accommodate the action-based discipline of interaction that is typical of architecture description languages. Our study focus on primitives that support non-determinism, choice and fairness in guarded-command based languages, and on refinement principles that are compositional with respect to interconnection.",

keywords = "Private Action, Label System Transition, Shared Action, Communicate Sequential Process, Configuration Diagram",

author = "A Lopes and Fiadeiro, \{J L\}",

year = "1999",

doi = "10.1007/978-3-540-49020-3\_10",

language = "English",

isbn = "9783540657187",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "144--160",

editor = "JP. Finance",

booktitle = "FASE 1999",

address = "Germany",

note = "Fundamental Approaches to Software Engineering, 2nd International Conference : FASE 1999 ; Conference date: 22-03-1999 Through 28-03-1999",

}

Lopes, A & Fiadeiro, JL 1999, Using explicit state to describe architectures. in JP Finance (ed.), FASE 1999: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, vol. 1577, Springer Verlag, Berlin, pp. 144-160, Fundamental Approaches to Software Engineering, 2nd International Conference, Amsterdam, Netherlands, 22/03/99. https://doi.org/10.1007/978-3-540-49020-3_10

TY - GEN

T1 - Using explicit state to describe architectures

AU - Lopes, A

AU - Fiadeiro, J L

PY - 1999

Y1 - 1999

N2 - In order to achieve higher levels of abstraction in architectural design, we investigate extensions to parallel program design based on the use of explicit state variables to accommodate the action-based discipline of interaction that is typical of architecture description languages. Our study focus on primitives that support non-determinism, choice and fairness in guarded-command based languages, and on refinement principles that are compositional with respect to interconnection.

AB - In order to achieve higher levels of abstraction in architectural design, we investigate extensions to parallel program design based on the use of explicit state variables to accommodate the action-based discipline of interaction that is typical of architecture description languages. Our study focus on primitives that support non-determinism, choice and fairness in guarded-command based languages, and on refinement principles that are compositional with respect to interconnection.

KW - Private Action

KW - Label System Transition

KW - Shared Action

KW - Communicate Sequential Process

KW - Configuration Diagram

U2 - 10.1007/978-3-540-49020-3_10

DO - 10.1007/978-3-540-49020-3_10

M3 - Conference contribution

SN - 9783540657187

T3 - Lecture Notes in Computer Science

SP - 144

EP - 160

BT - FASE 1999

A2 - Finance, JP.

PB - Springer Verlag

CY - Berlin

T2 - Fundamental Approaches to Software Engineering, 2nd International Conference

Y2 - 22 March 1999 through 28 March 1999

ER -

Using explicit state to describe architectures

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this