A Generic Approach to Connector Architectures Part I: The General Framework

  • Authors:

  • Fernando Orejas;Hartmut Ehrig;Markus Klein;Julia Padberg;Elvira Pino;Sonia Pérez

  • 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;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;Universitat Politècnica de Catalunya, Dept. LSI Campus Nord, Mòdul C5 08034 Barcelona, Spain. E-mail: {orejas,pino}@lsi.upc.es;CEIS, Inst. Sup. Politécnico José Antonio Echevarría Havana, Cuba. E-mail: sperezl@ceis.cujae.edu.cu

  • Venue:
  • Fundamenta Informaticae
  • Year:
  • 2010

Quantified Score

Hi-index 0.01

Visualization

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.