Causal semantics for the algebra of connectors

DOI10.1007/s10703-010-0091-zzbMath1207.68203OpenAlexW4251540819MaRDI QIDQ5962120

Simon Bliudze, Joseph Sifakis

Publication date: 16 September 2010

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: http://infoscience.epfl.ch/record/170490

zbMATH Keywords

interactionBIPcausal interaction treescausal semanticscomponentconnector synthesisconnectors

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Configuration logics: modeling architecture styles ⋮ SMT-based generation of symbolic automata ⋮ Data optimizations for constraint automata ⋮ Expressiveness of component-based frameworks: a study of the expressiveness of BIP ⋮ Behaviour, Interaction and Dynamics ⋮ From Hierarchical BIP to Petri Calculus ⋮ Contracts for BIP: Hierarchical Interaction Models for Compositional Verification ⋮ A general framework for architecture composability ⋮ A Connector Algebra for P/T Nets Interactions ⋮ A Theory Agenda for Component-Based Design

Uses Software

• SIGNAL
• Reo
• Ptolemy
• LUSTRE
• Metropolis

Cites Work

• Unnamed Item
• Unnamed Item
• A basic algebra of stateless connectors
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• A comparison of Statecharts step semantics
• Synchronous structures
• A Notion of Glue Expressiveness for Component-Based Systems
• Argos: an automaton-based synchronous language
• The Algebra of Connectors—Structuring Interaction in BIP
• Reo: a channel-based coordination model for component composition