direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Zitatschlüssel OEK+10
Autor Orejas, Fernando and Ehrig, Hartmut and Klein, Markus and Padberg, Julia and Pino, Elvira and Pérez, Sonia
Seiten 95–124
Jahr 2010
ISSN 0169-2968
Adresse Amsterdam, The Netherlands, The Netherlands
Journal Fundamenta Informaticae
Jahrgang 99
Nummer 1
Verlag IOS Press
Zusammenfassung The aim of this paper is to show how the generic approach to connector architectures, presented in the first part of this work, can be applied to a given modeling formalism to define architectural component and connector notions associated to that formalism. Starting with a review of the generic approach, in this second part of the paper we consider two modeling formalisms: elementary Petri nets and CSP. As main results we show that both cases satisfy the axioms of our component framework, so that the results concerning the semantics of architectures can be applied. Moreover, a small case study in terms of Petri Nets is presented in order to show how the results can be applied to a connector architecture based on Petri nets.
Download Bibtex Eintrag [1]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008