2010 | OriginalPaper | Buchkapitel
1 Models of Reactive Systems
Communication, Concurrency, and Causality
verfasst von : Bernhard Schätz, Holger Giese
Erschienen in: Model-Based Engineering of Embedded Real-Time Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this chapter,
communication
,
concurrency
, and
causality
are introduced as basic aspects of reactive systems together with different levels of abstraction for each aspect, giving prominent examples of specific models as specifically useful combinations. By relating models along different dimension, we show how to set up development processes allowing not only to support step-wise adding of implementation details, but also to treat different aspects of a system in isolation and to combine the results, leading to a fork-and-join approach.