Affiliations: Universitat Politècnica de Catalunya, Dept. LSI
Campus Nord, Mòdul C5 08034 Barcelona, Spain. E-mail: {orejas,pino}@lsi.upc.es | Technische Universitat Berlin, SeKr. FR6-1,
Franklinstr. 28/29, 10587 Berlin, Germany. E-mail: {ehrig,klein}@cs.tu-berlin.de | Hamburg Univerity of Applied Sciences Berliner Tor 7,
20099 Hamburg, Germany. E-mail: padberg@informatik.haw-hamburg.de | CEIS Inst. Sup. Politécnico José Antonio
Echevarría Havana, Cuba. E-mail: sperezl@ceis.cujae.edu.cu
Abstract: 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.
