Tools & Results

Meidya: Modeling and Enforcing Invariants of Dynamic Software Architecture
Abstract: Meidya is based on three principal steps allowing the control of the software architecture evolution of component-based applications. This approach supports the modeling of the dynamic architecture, formal verification and enforcement of the architectural invariants. For more details, you can visit the Meidya Web site.
Contributors: Mohamed Hadj Kacem, Slim Kallel