RAS: Risk-aware, Adaptable and Smart Systems

Large organizations often have no insight in the impact of changing a business rule on their software systems and on the way they work. Contracts11 uses a modelling approache that can precisely locate the impact of any change in the system, both for the relevant software systems as well as the users of the systems, and we show how to adapt the systems to accommodate for change. Furthermore, we can create smart contracts that can take preventive measures to deal with potential violations of its own contract.