Department of Informatics

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

PDF-Datei  Characterizing the Behavior of Reactive Systems by Trace Sets

Technical Report

Author:Manfred Broy
Abstract:The behavior of an asynchronous reactive system can be described by ist set of action traces. In this paper, we investigate which properties a trace set fulfills describing a reactive system where input and output actions are distinguished. These properties reflect the fact that, for such a system, input actions can always occur. The required properties are discussed in the light of safety and liveness concepts and related to the concept of I/O-automata.

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