We introduce runtime enforcement of specifications on component-based systems (CBS) modeled in the behavior, interaction and priority (BIP) framework. Runtime enforcement is an increasingly popular and effective dynamic validation technique aiming to ...

Architectures depict design principles: paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties ...$\mathcal{}$$\mathcal{}$$\mathrm{}$$$${\mathrm{}}_{\mathrm{}}$${\mathrm{}}_{\mathrm{}}$${}_{\mathrm{}}{}_{\mathrm{}}$${\mathrm{}}_{\mathrm{}}{\mathrm{}}_{\mathrm{}}$