Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. The Algebra of Connectors — Structuring Interaction in BIP
 
conference paper

The Algebra of Connectors — Structuring Interaction in BIP

Bliudze, Simon  
•
Sifakis, Joseph  
2007
Proceedings of the 7th ACM & IEEE international conference on Embedded software
7th ACM & IEEE international conference on Embedded software (EMSOFT'07)

We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types are used to describe different modes of synchronisation: rendezvous and broadcast, in particular. Connectors on a set of ports P are modelled as terms of the algebra AC(P), generated from P by using an binary fusion operator and a unary typing operator. Typing associates with terms (ports or connectors) synchronisation types -- trigger or synchron -- that determine modes of synchronisation. Broadcast interactions are initiated by triggers. Rendezvous is a maximal interaction of a connector including only synchrons. The semantics of AC(P) associates with a connector the set of its interactions. It induces on connectors an equivalence relation which is not a congruence as it is not stable for fusion. We provide a number of properties of AC(P) used to symbolically simplify and handle connectors. We provide examples illustrating applications of AC(P), including a general component model encompassing synchrony, methods for incremental model decomposition, and efficient implementation by using symbolic techniques.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

connalg.pdf

Access type

openaccess

Size

277.54 KB

Format

Adobe PDF

Checksum (MD5)

e81af6271f16c4091378af437186bc29

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés