Timed Web Services Analysis after Removing Complex Implicit Transitions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Timed Web Services Analysis after Removing Complex Implicit Transitions

Emad Elabd
  • Fonction : Auteur
Emmanuel Coquery
Mohand-Said Hacid

Résumé

Time is an important parameter in modeling and analyzing Web services. A Web service can be represented by its behavior which can be described by a business protocol representing the possible sequences of message exchanges. Automated analyses of timed Web services, such as compatibility checking, are very difficult and in some cases are not possible in the presence of implicit transitions (internal transitions) based on time constraints. The source of this difficulty is the semantics of implicit transitions, because most of the wellknown modeling tools do not allow expressing such semantics (e.g., epsilon transition on timed automata has different semantics). This paper presents an approach for removing complex implicit transitions of timed business protocols before performing the interoperability analysis without changing the semantics of the protocols.
Fichier non déposé

Dates et versions

hal-01354442 , version 1 (18-08-2016)

Identifiants

Citer

Emad Elabd, Emmanuel Coquery, Mohand-Said Hacid. Timed Web Services Analysis after Removing Complex Implicit Transitions. IEEE International Conference on Web Services (ICWS), Jul 2011, Washington, DC, United States. pp.153-160, ⟨10.1109/ICWS.2011.79⟩. ⟨hal-01354442⟩
92 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More