Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Titel:

Enhancing the SysLab System Model with State

Dokumenttyp:
Technical Report
Autor(en):
Radu Grosu; Cornel Klein; Bernhard Rumpe
Abstract:
In this report, the SysLab system model is complemented in different ways: State-box models are provided through timed port automata, for which an operational and a corresponding denotational semantics are given. Composition is defined for components modeled in the state-box view as well as for components modeled in the black-box view. This composition is well-defined for networks of infinitely many components. To show the applicability of the model, several examples are given.
Stichworte:
System Model; SysLab; Automata; Parallelism; Parallel composition; Infinite composition
Jahr:
1996
Jahr / Monat:
1996-07-01 00:00:00
Seiten/Umfang:
42
 BibTeX