My photo
Wael Sellami
ReDCAD laboratory   |  ISIMa   |  University of Sfax
Research Laboratory on Development and Control of Distributed Applications

Current State

Assistant at the Higher Institute of Computer Sciences of Mahdia-Tunisia.

Member of the Research Laboratory on Development and Control of Distributed Applications (ReDCAD)

Education

Doctor in Computer Systems, Faculty of Economics and Management of Sfax-Tunisia, 2016

Master degree, Computer Science, Faculty of Economics and Management of Sfax-Tunisia, 2011.

University Degree, Computer Science, Faculty of Economics Sciences and Management of Sfax-Tunisia, 2009.

Affiliation

ACM member

IEEE member (Computer Society)

Address

Department of Computer Science
Higher Institute of Computer Sciences of Mahdia (ISIMa).
University of Monastir, Tunisia.
Address: Cité universitaire, sidi massoud, Hiboun 5147, Mahdia.
Tel: +216 73 683 100

Email: wael.sellami@gmail.com

Research activities

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-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:

- 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

[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

2016 - Present: Higher Institute of Computer Science of Mahdia
- Algorithms and Data Structures
- Operating System
- Service Oriented Architecture and Web Services
- Projects supervisor

2015 - 2016: Faculty of Sciences of Monastir
- Systems administration (Linux)
- Maple
- Python
- Operating Systems
- Computer Architecture
- Projects supervisor

2014 - 2015: Faculty of Economics and Management of Sfax
- Foundation of operating systems
- Web application development

2013 - 2014: Faculty of Economics and Management of Sfax
- Foundation of operating systems
- Projects supervisor

2012 - 2013: Faculty of Economics and Management of Sfax
- IT and Internet Certificate (C2i)
- Programming workshop

2011 - 2012: Faculty of Economics and Management of Sfax
- IT and Internet Certificate (C2i)
- Collaborative work