I have just given a 40-minute tutorial on the Rigorous Component-based Design in BIP at IMBSA 2019 in the beautiful city of Thessaloniki.
I have very briefly presented the motivation, model and operational semantics of the BIP framework and spoken more extensively about our Theory of Architectures (design patterns for BIP) and RERD tool developed by the group of Prof. Panagiotis Katsaros at the Aristotle University of Thessaloniki.
- user and system requirements specification in a pseudo-natural language, using ontology-based boilerplates
- derivation of formal properties that allow discharging these requirements
- instantiation of architectures enforcing these properties to generate a system model