Current State

PHD Student in the Faculty of Economics and Management of Sfax

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

Education

Master degree, Computer Science, National School of Engineering of Sfax-Tunisia, 2010.

University Degree, Computer Science, Faculty of Sciences of Sfax-Tunisia, 2007.

Address

Department of Computer Science
Faculty of Economics and Management of Sfax (FSEGS).
University of Sfax.

Address: FSEGS, B.P. 1088, 3018 Sfax, Tunisia
Phone: (+216) 97 61 62 63
           (+216) 23 24 88 86
Email : si.rebai@gmail.com

Research activities

Tools & Results

CDLVT: WS-CDL Verification Tool.

CDLVT is a formal approach of verifying non-functional properties for web services choreographies. Two classes of properties have to be taken into account: global and internal properties. Global properties can be verified for any web service involved in a given choreography. Internal properties are the dependent relations between activities for a given WS-CDL specification. To do this, we have developed a tool which takes a web service choreography specified with WS-CDL 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.

Educational activities