checking framework interactions with relationships
Many constraints between object oriented frameworks and plugins can be defined by specifications that describe how multiple objects relate and change their relationships over time. A tool can statically check a plugin's conformance to these specifications in a cost-effective manner and can add benefit or even replace custom tools for plugin development.
frameworks relationships constraints static analysis