Using explicit state to describe architectures

A Lopes, J L Fiadeiro

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 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 languageEnglish
Title of host publicationFASE 1999
Subtitle of host publicationFundamental Approaches to Software Engineering
EditorsJP. Finance
Place of PublicationBerlin
PublisherSpringer Verlag
Pages144-160
Number of pages17
ISBN (Electronic)9783540490203
ISBN (Print)9783540657187
DOIs
Publication statusPublished - 1999
EventFundamental Approaches to Software Engineering, 2nd International Conference: FASE 1999 - Amsterdam, Netherlands
Duration: 22 Mar 199928 Mar 1999

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume1577

Conference

ConferenceFundamental Approaches to Software Engineering, 2nd International Conference
CountryNetherlands
CityAmsterdam
Period22/03/9928/03/99

Keywords

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

Fingerprint Dive into the research topics of 'Using explicit state to describe architectures'. Together they form a unique fingerprint.

Cite this