Related to “UBA, UKENT, UOM, IXR, and ULEIC will apply synthesis algorithms to adaptability”. The secondment focused on the exploration of discrete event controller synthesis to support systems to adapt to evolving b-APIs (T.2.3). In particular, the use of synthesis to support dynamic update of controllers was explored not to adapt control to changes of requirements (this is the usual approach) but as a change to the underlying assumptions regarding the available APIs. We also discussed the problem of b-API control and discovery when evolution of b-APIs is unknown by applying synthesis on partial behavioural models (modal transition systems).
Evolving b-APIs requires processes that depend on them to to adapt in order to continue to achieve their goals. This adaptation requires
- understanding the b-API evolution,
- how this evolution impacts achieving the current goals, and
- how the goals can be maintained given the b-API change.
Synthesis of dynamic controller updates can support (3) and dynamic exploration of b-API can support (1).
Regarding dynamic update, work which shows some of these ideas applied at preserving business process properties under API changes will appear as
Leandro Nahabedian, Victor Braberman, Nicolás D’ippolito, Jeff Kramer, and Sebastián Uchitel1. Dynamic Reconfiguration of Business Processes. 17th Int. Conference on Business Process Management (BPM 2019).
Regarding dynamic exploration, work has been submitted to a conference and we are waiting for feedback.