Tools & Results
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 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 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 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
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