Integrating Protocol Contracts with Java Code
Marco Konersmann, Noyan Kurt, Michael Goedicke · 2014
Long-living software faces the developers with challenges of program understanding. This is intensified by the problem of often outdated or missing documentation. When up-to-date models are available, programs are easier to understand. To achieve this, we present our integrated Protocol Contracts. Integrated Protocol Contracts are a behaviour model type that is integrated with the source code of programs. The code is thoroughly intertwined with the code, so that the model can always be reliably extracted from the code.