Department of Informatics

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

PDF-Datei  Compositional Refinement of Interactive Systems Modelled by Relations

Conference Paper

Author:Manfred Broy
Conference:International Symposium Compositionality
Number:LNCS 1536
Pages:130 - 149
Abstract:We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distributed system a component interacts with its environment by exchanging messages in a time frame. The interaction is performed by accepting input and by producing output messages on named channels. We describe forms of composition and three forms of refinement, namely property refinement, glass box refinement, and interaction refinement. Finally, we prove the compositionality of the mathematical model with respect to the introduced refinement relations.

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