InFormALin Logo

InFormALin

The goal of the Informal and Formal Artifacts Linker (InFormALin) project is to connect informal artifacts like architecture documentation and formal (dt. formell) artifacts like models. With this links, tasks like consistency checking can be performed.

In this project, a general framework is established that can be instantiated to look at specific artifacts and to perform certain tasks. One implementation is realized within the ArDoCo project.