Approche orientée modèles pour la vérification et l'évaluation de performances de l'interopérabilité et l'interaction des services

Abstract : Web services are widely used by organizations to share their knowledge over the network and facilitate business-to-business collaboration. The emergence of Web services enabled applications to be presented as a set of business services well structured and correctly described. However, combining Web services and making them interoperable, to satisfy user requests taking into account functional and non-functional quality criteria, is a complex process. In this work, we focus specifically on location-based services (LBS) that integrate geographic information and provide information reachable from mobile devices, through wireless network by making use of the geographical positions of the devices. The aim of this work is to develop a model driven approach to specify, validate and implement service composition process in an automatic fashion for road security. This approach is based on two formal tools namely Petri nets (PN) and (max, +) algebra used to model, to verify and to evaluate the performance of service composition process. Workflow patterns are used to represent service composition processes. The behavior of each pattern is modeled by a PN model and then by a (max,+) state equation. The developed formal models allow the graphical and analytical description of the considered processes. Also, these models enable to evaluate some quantitative and qualitative properties of the considered processes. A platform, called TransportML, has been developed for collaboration and interoperability of different LBS. The obtained simulation results from the formal models are compared, on one hand, to those obtained from trials of the platform, and on the other hand, to those obtained from the real experimentations on the field.This work is a part of the FP7 European projects ASSET (2008-2011) and TeleFOT (2008-2012).
Document type :
Theses
Ordinateur et société [cs.CY]. Université de Technologie de Belfort-Montbeliard, 2012. Français. <NNT : 2012BELF0182>


https://tel.archives-ouvertes.fr/tel-00720657
Contributor : Abes Star <>
Submitted on : Wednesday, July 25, 2012 - 12:17:13 PM
Last modification on : Thursday, October 9, 2014 - 11:21:09 PM
Document(s) archivé(s) le : Friday, October 26, 2012 - 2:40:42 AM

File

These_AIT-CHEIK-BIHI_-_Wafaa_U...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00720657, version 1

Collections

Citation

Wafaa Ait-Cheik-Bihi. Approche orientée modèles pour la vérification et l'évaluation de performances de l'interopérabilité et l'interaction des services. Ordinateur et société [cs.CY]. Université de Technologie de Belfort-Montbeliard, 2012. Français. <NNT : 2012BELF0182>. <tel-00720657>

Export

Share

Metrics

Record views

745

Document downloads

1182