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

Current State

Assistant Professor at the Faculty of Sciences of Monastir-Tunisia.

PhD student in the Faculty of Economics and Management of Sfax-Tunisia.

Member of the Research Laboratory on Development and Control of Distributed Applications

Education

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
Faculty of Economics and Management of Sfax (FSEGS).
University of Sfax.

Address: FSEGS, B.P. 1088, 3018 Sfax, Tunisia
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 thesis is supervised by Prof. Ahmed HADJ KACEM and Dr. Hatem HADJ KACEM.

My PhD research focuses on providing a rigorous approcah for dynamic composition of cloud services.

Master's thesis
My master project is supervised by Prof. Ahmed HADJ KACEM and Dr. Hatem HADJ KACEM.

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-2017: International Conference on Cloud Computing and Services Science, Avril 22-24, 2017 - Porto, Portugal.
- 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.
- 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:

- 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

[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, 23-25 October 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, 15-18 December 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, 13-16 Mai 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, 8-10 Mai 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, 25-27 Juin 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, 25-27 Juin 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

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