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: [email protected] | CEIS, Inst. Sup. Politécnico José Antonio
Echevarría Havana, Cuba. E-mail: [email protected]
Abstract: The aim of this paper is to present a generic framework for the
modelling of componentbased systems using architectural connectors. More
precisely, concepts of component, connector and architecture are presented in a
formal generic way, which are independent of any semi-formal or formal
modelling approach. The idea is that one could use this framework to define
component and connector notions for every given modelling formalism. As a main
result, we define the semantics of architectures using graph transformation,
showing that the semantics is independent of the order in which the connections
are computed, and that the semantics is compatible with transformation. In the
continuation of this paper, we show the applicability of our ideas. In
particular, our framework is instantiated by Petri nets and CSP, including a case study using Petri Nets.
