Research Topics
My main fields of interest are concentrated on the services composition in Service Oriented Architecture and Cloud Computing.

PhD Topics

My PhD research focuses on providing the elasticity of multi-tenant services in cloud computing.

Master's thesis

My main field of interest is Modeling and verification fucntional and non-functional properties in web services composition. The aim of our work is to propose a methodology which aims to formally verify both of generic and specific properties of a composition modeled with BPEL 2.0.

Technical Conference Services

Program Committee Member of:

- CLOSER-2020: International Conference on Cloud Computing and Services Science", May 7-9, 2020, Prague, Czech Republic.
- CLOUD COMPUTING-2020: International Conference on Cloud Computing, GRIDs, and Virtualization", April 26-30, 2020, Nice, France.
- CLOSER-2019: International Conference on Cloud Computing and Services Science", May 2-4, 2019, Heraklion, Crete, Greece.
- CLOUD COMPUTING-2019: International Conference on Cloud Computing, GRIDs, and Virtualization", May 5-9, 2019, Venice, Italy.
- CLOSER-2018: International Conference on Cloud Computing and Services Science", March 19-21, 2018, Funchal, Madeira, Portugal.
- CLOUD COMPUTING-2018: International Conference on Cloud Computing, GRIDs, and Virtualization", February 18-21, 2017, Barcelona, Spain.
- SERVICE COMPUTATION-2018: International Conferences on Advanced Service Computing", February 18-21, 2017, Barcelona, Spain.
- CLOSER-2017: International Conference on Cloud Computing and Services Science, Avril 22-24, 2017 - Porto, Portugal.
- SERVICE COMPUTATION-2017: International Conferences on Advanced Service Computing, February 19-23, 2017, Athens, Greece.
- CLOUD COMPUTING-2017: International Conference on Cloud Computing, GRIDs, and Virtualization, February 19-23, 2017, Athens, Greece.
- CLOSER-2016: International Conference on Cloud Computing and Services Science, Avril 23-25, 2016 - Rome, Italy.
- CLOUD COMPUTING-2016: International Conference on Cloud Computing, GRIDs, and Virtualization, March 20-24, 2016 - Rome, Italy.
- SETIT-2016: International Conference Sciences of Electronics, Technologies of Information and Telecommunications, December 18-20, 2016, Hammamet, Tunisia.
- CLOSER-2015: International Conference on Cloud Computing and Services Science, May 20-22, 2015 - Barcelona, Spain.
- CLOUD COMPUTING-2015: International Conference on Cloud Computing, GRIDs, and Virtualization, March 22-27, 2015 - Nice, France.
- CLOSER-2014: International Conference on Cloud Computing and Services Science, April 3-5, 2014 - Barcelona, Spain.

Organization Committee Member of:

- ICOST-2020: International Conference On Smart Living and Public Health, June 24-26, 2020, Hammamet, Tunisia.
- METHODICA-2017: Workshop on Methods for the Adaptive Distributed Software, January 13-15, 2017, Monastir, Tunisia.
- SERA-2015: International Conference on Software Engineering Research, Management and Applications, May 13-15, 2015 - Hammamet, Tunisia.
- ALOG-2014: Atelier sur les Logiciels de Gestion d'Entreprise, September 17-18, 2014 - Sousse, Tunisia

Session Chair

- CLOSER-2013: International Conference on Cloud Computing and Services Science, May 8-10, 2013 - Aachen, Germany

Publications

DBLP Publications
Google Scholar Profile

Journals

[2] Wael SELLAMI, Hatem HADJ KACEM and Ahmed HADJ KACEM, Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment. In the Journal of Network and Systems Management (JONS), 2020.

[1] Wael SELLAMI, Hatem HADJ KACEM and Ahmed HADJ KACEM, A formal approach for the validation of web service orchestrations. In the International Journal of Web Portals (IJWP), pages 41-54, volume 5, number 1, 2013.

Conferences

[7] Wael SELLAMI, Hatem HADJ KACEM and Ahmed HADJ KACEM. Elastic Multi-Tenant Business Process Based on Temporal Constraints. In the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises(WETICE), pages 42-47, June 27-29, 2018, Paris, France.

[6] Wael SELLAMI, Hatem HADJ KACEM and Ahmed HADJ KACEM. Controlling Elasticity Dependencies For Multi-tenant Business Process. In the International Conference on e-Business Engineering (ICEBE), pages 251-256, October 23-25, 2015, Beijing, China.

[5] Wael SELLAMI, Hatem HADJ KACEM and Ahmed HADJ KACEM. Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing. In the International Conference on Cloud Computing Technology and Science (CLOUDCOM), pages 154-161, December 15-18, 2014, Singapore.

[4] Wael SELLAMI, Hatem HADJ KACEM and Ahmed HADJ KACEM. Towards a multi-tenancy aware cloud service composition. In the International Conference on Advanced Information Networking and Applications Workshops (AINAW), pages 404-409, Mai 13-16, 2014, Victoria Canada.

[3] Wael SELLAMI, Hatem HADJ KACEM and Ahmed HADJ KACEM. Position paper: Multi-tenants context-aware service composition in cloud computing. In the International Conference on Cloud Computing and Services Science (CLOSER), pages 386-389, Mai 8-10, 2013, Aachen Germany.

[2] Wael SELLAMI, Hatem HADJ KACEM and Ahmed HADJ KACEM. BPELVT: A tool for formal validation of Web service orchestrations. In the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pages 426-428, Juin 25-27, 2012, Toulouse France.

[1] Hatem HADJ KACEM, Wael SELLAMI and Ahmed HADJ KACEM. A formal approach for the validation of Web service orchestrations. In the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pages 42-47, Juin 25-27, 2012, Toulouse France.

Tools & Results

MTA4ESC: A Multi-Tenancy Awareness Middleware For Elastic Services Composition

MTA4ESC is a scaling middleware which is both multi-tenancy awareness and workload-adaptive allowing services providers to perform more efficient multi-tenant services composition and managing their elasticity. It considers the cost savings limitations of such compositions under workloads variation which affects the pay as-you-go model of the cloud resources. The MTA4ESC consists of three basic modules which are (i) cloud services composition which ensures the multi-tenant services matching based multi-tenancy modes where single instance of a process serves multiple tenants, (ii) elasticity management of the involved services that may result from the workload variation and, (iii) elasticity dependency controller for analyzing elasticity dependencies between the multi-tenant business process and its involved services.

BPELVT: BPEL Verification Tool

BPELVT is a formal approach of verifying non-functional properties for web services orchestrations. Two classes of properties have to be taken into account: generic and specific properties. Generic properties can be verified for any web service involved in a given orchestration. Specific properties are the dependent relations between activities for a given BPEL process. To do this, we have developed a tool which takes a web service orchestration specified with BPEL 2.0 as an input and a set of properties and returns the verification result as an output. The verification is achieved by using the SPIN model-checker. The transformation from BPEL to Promela, the input language for SPIN, is fullfilled with the use of ANTLR tool (Another Tool for Language Recognition).

Educational activities