Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

PDF-Datei  Refinement of Time

Conference Paper

Author:M. Broy
Conference:Transformation-Based Reactive System Development, ARTS'97
Editor:M. Bertran, Th. Rus
Number:LNCS 1231
Pages:44 - 63
Abstract:We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, discrete streams with discrete or with continuous time, and dense streams with continuous time. We introduce a notion of a timed system component and formulate requirements for the time flow. We show how to compose timed systems in a modular way. We show that the introduction of time into a system model as well as the change of the timing model in the system development process is a refinement step.

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact