ASML engineers are moving towards "formal" development of software. Systems that are implemented by means of formal (executable) models interact with each other in a verified (mathematically proven) way. However, these formal models must interact with the existing software codebase. To guarantee that the interaction between formal models and legacy (foreign) code is correct, special mechanisms represented by Anti-corruption, Data and Legacy Adapter components (ALDA), are required. In this work, the specifics of the afore-mentioned components are thoroughly analyzed and presented using real-case examples. The design of reusable solutions that deal with common challenges related to the creation of those components is described. Anti-patterns that prevent the standardization and automatic generation of such components are also identified and described. Finally, a system that generates the ALDA components with the use of Model-Driven Engineering methods is developed.
|Award date||28 Sep 2017|
|Place of Publication||Eindhoven|
|Publication status||Published - 28 Sep 2017|