A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP

  • 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.00

Visualization

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.