3 papers · ranked by Valyu relevance
Anastasia Mavridou, Valentin Rutz, Simon Bliudze
JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational semantics. Recent work both on BIP and JavaBIP allows the coordination of static…
Anastasia Mavridou, Joseph Sifakis, János Sztipanovits
The Behavior-Interaction-Priority (BIP) framework — rooted in rigorous semantics — allows the construction of systems that are correct-by-design. BIP has been effectively used for the construction and analysis of large systems such as robot controllers and satellite on-board software. Nevertheless, the specification of…
Anastasia Mavridou, Joseph Sifakis, János Sztipanovits
The Behavior-Interaction-Priority (BIP) framework — rooted in rigorous semantics — allows the construction of systems that are correct-by-design. BIP has been effectively used for the construction and analysis of large systems such as robot controllers and satellite on-board software. Nevertheless, the specification of…