Skip to Main content Skip to Navigation
New interface

Compliance of Web services over a high level specification

Emad Elabd 1, 2 
2 BD - Base de Données
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Abstract : Currently, Web services technology is rapidly move forward supported by major players in the field of information systems. Web services applications are loosely coupled and usable in an automatic way via the use of a set of standards based on XML. Beside the syntactic description of messages, there is a need for the semantic description of the behavior of services. Indeed, whether in the design of a service or composition of services, it is important to check compliance with a set of specifications. Enriching services descriptions by including their behaviors is becoming more and more important. This behavior can be described by business protocols representing the possible sequences of message exchanges. Web services use access control policies (ACP) to restrict the access to authorized consumer. These policies should be a part of the service description. In this thesis, the interoperability analysis in terms of AC after the formalization of the Web services annotated with the access control (AC) is performed. In addition, we present an approach for embedding the checking tools in the AC enforcement architecture to guarantee the errors free interaction. The ACP and the credentials are presented as ontology in order to benefit from the flexibility offered by subsumption on concepts. Web services choreography is used in the design phase of complex peer-to-peer applications in which each peer can be implemented by a Web service. Therefore, selecting Web services for choreography implementation using the compatibility checking approach with access control is one of the objectives of our research. In this work, the business protocol models of the Web service are extended by adding information to the message on each transition about the service in which this message will sent to or received from. We define and verify Web service compatibility in order to see if (and how) several services can have interactions based on their protocols. This approach will help the designers to select Web services in an easy way and verify if they can implement the required choreography or not by checking the compatibly using our approach
Document type :
Complete list of metadata
Contributor : ABES STAR :  Contact
Submitted on : Monday, September 30, 2013 - 4:17:08 PM
Last modification on : Friday, September 30, 2022 - 11:34:15 AM
Long-term archiving on: : Tuesday, December 31, 2013 - 4:27:16 AM


Version validated by the jury (STAR)


  • HAL Id : tel-00867892, version 1


Emad Elabd. Compliance of Web services over a high level specification. Other [cs.OH]. Université Claude Bernard - Lyon I, 2011. English. ⟨NNT : 2011LYO10122⟩. ⟨tel-00867892⟩



Record views


Files downloads