Tools & Results

Meidya

Meidya (Modeling and Enforcing Invariants of Dynamic Software Architecture) 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

MeidyaCoM-Policy

MeidyaCoM-Policy is an extension of MeidyaCoM project. MeidyaCoM project supports the modeling of correct by design Publish/Subscribe architectural style and the basic reconfiguration operations for the adaptation of software architecture. MeidyaCoM-Policy is an approach which proposes a way of applying these operations with respect to architectural style by the means of repair policies. For more details, you can visit the MeidyaCom-Policy Web Site.

Contributors: Imen Tounsi, Mohamed Hadj Kacem

G-Meidya

G-Meidya is a tool allowing modeling architectural style and reconfiguration operations using extended UML2.0 notations. The architectural style is transformed to a Graph and reconfiguration operations are transformed to Graph Rules. The Graph and Graph Rules will be imported and tested with the GMTE tool (Graph Matching and Transformation Engine). The matching result is a new graph. This graph shows the new architecture after the execution of the reconfiguration operation. For more details, you can visit the G-Meidya Web Site.

Contributors: Saber Hadj Abdallah and Mohamed Hadj Kacem

ReMo-SDP

ReMo-SDP tool is a graphical modeling tool that implements ReMo-SDP approach, it ensures an easy and efficient modeling way for users. It provides the following functionalities:
1. Modeling SOA design patterns with the SoaML language.
2. Transforming SOA design pattern models to Event-B specifications.
For more details, you can visit the visit the ReMo-SDP Web Site.

Contributors: Imen Tounsi, Zied Hrichi, Mohamed Hadj Kacem

DGRS

ReMo-SDP tool is a graphical modeling tool that implements ReMo-SDP approach, it ensures an easy and efficient modeling way for users. It provides the following functionalities:
1. Modeling SOA design patterns with the SoaML language.
2. Transforming SOA design pattern models to Event-B specifications.
For more details, you can visit the visit the ReMo-SDP Web Site.

Contributors: Imen Tounsi, Zied Hrichi, Mohamed Hadj Kacem