[T3]

Title: Software Product Line of Service Oriented Architecture Patterns

Phd Student: Akram Kamoun

First registration: February 2013

[T2]

Title: An Approach for describing and modeling dynamic architectures

Phd student: Ilhem Khlif

First registration: December 2012

Abstract: This thesis aims to describe a generic approach for modeling architectures. Our purpose is to facilitate the description and validation of dynamic software architectures. We present a model-based design approach founded on visual notations describing, by extending UML notations, dynamic architectures at different description levels.
We describe a stepwise refinement process to automate the transition from a generic model describing a given point of view of a scale to a specific model describing this point of view in a different scale. To ensure compatibility between different levels of description, we adopt a rules-oriented description technique. These rules allows the refinement from a generic scale to another and from a specific scale to another in the same generic scale.

KeyWords: Dynamic Software Architectures, architecture refinement, UML notations, dynamic reconfiguration.

[T1]

Title: A Refinement-Based Approach for modeling and composing SOA Design Patterns

Phd Student: Imen Tounsi

First registration: December 2010

Abstract: Software Design Patterns provide architects and developers with reusable software elements helping them to master building complex software systems. Nevertheless, presented in an informal way, software design patterns may give rise to ambiguity and may lead to their incorrect usage. We focus here on SOA design patterns and propose alternatives to their description in informal visual notations. Describing SOA design patterns with a standard formal notation avoids misunderstanding by software architects and helps endowing design methods with reuse and refinement approaches for mastering software system architectures complexity. In this thesis, we propose ReMo-SDP, a Refinement-based approach for describing SOA Design Patterns. ReMo-SDP applies particularly to describing message-oriented SOA design patterns in conformance with the SoaML standard language. We define how to develop design pattern models in a stepwise manner associated to an automated translation into Event-B formal specifications. This step allows designers to check design correctness using the platform Rodin. These two steps, when performed before undertaking the effective coding of a design pattern, help providing correct-by-design software systems. To help non-specialists understanding the proposed approach, we illustrate it in details through different pattern examples.

KeyWords: SOA Design Patterns, SoaML Modeling, Event-B Formal Specification

[M8]

Zied Hrichi,Transforming message-oriented SOA design patterns to Event-B specifications. Defended on September 2013, at the Higher Institut of Computer Science and Multimedia of Sfax.

[M7]

Ilhem Khlif, A generic approach for modeling multi-scales for dynamic software architectures. Defended on December 18, 2012, at the Higher Institut of Computer Science and Multimedia of Sfax.

[M6]

Hayfa Ben Abdallah, Design and implementation of an Eclipse plug-in for modeling SOA design patterns. Defended on December 15, 2012, at Faculty of Economics Sciences and Management of Sfax.

[M5]

Saber Hadj Abdallah, Design and implementation of an Eclipse plug-in for modeling software architectures. Defended on December 01, 2012, at Faculty of Economics Sciences and Management of Sfax.

[M4]

Fatma Zouari, Code generation from modeling architectural style according to MDA approach. Defended on December 09, 2011 at the Higher Institut of Computer Science and Multimedia of Sfax.

[M3]

Imen Tounsi, Specifying adaptation policies according to an architectural style. Defended on May 15, 2010 at Faculty of Economics Sciences and Management of Sfax.

[M2]

Achraf Boukhriss, Formal validation of the design of dynamic software architectures based on UML2.0. Defended on December 04, 2006 at Faculty of Economics Sciences and Management of Sfax.

[M1]

Mohamed Nadhmi Miladi, UML Profile for modeling component-based software architectures. Defended on July 11, 2005 at National School of Engineers of Sfax