publication . Doctoral thesis . 1998

Action Relations. Basic Design Concepts for Behaviour Modelling and Refinement.

Quartel, Dick;
Open Access English
  • Published: 01 Feb 1998
  • Publisher: Centre for Telematics and Information Technology (CTIT)
  • Country: Netherlands
Abstract
This thesis presents basic design concepts, design methods and a basic design language for distributed system behaviours. This language is based on two basic concepts: the action concept and the causality relation concept. Our methods focus on behaviour refinement, which consists of replacing an abstract behaviour by a more concrete behaviour, such that the concrete behaviour conforms to the abstract behaviour. An important idea underlying this thesis is that an effective design methodology should be based on a properly chosen and precisely defined set of basic design concepts. Properly chosen design concepts represent essential system conceptions (mental images...
Subjects
free text keywords: IR-66778, EWI-8769, METIS-118423
Related Organizations
Download from
Universiteit Twente Repository
Doctoral thesis . 1998
Provider: NARCIS

[15] R. Langerak, E. Brinksma and J.-P. Katoen, Causal ambiguity and partial orders in event structures, in: A. Marzurkiewicz and J. Winkowski, eds., Concur '97: Concurrency Theory, LNCS 1243 (Springer-Verlag, Berlin, 1997) 317-331. [OpenAIRE]

Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue