Timed web services analysis after removing complex implicit transitions

Emad Elabd, Emmanuel Coquery, Mohand Said Hacid

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

Abstract

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 well-known 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.

Original languageEnglish
Title of host publicationProceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011
Pages153-160
Number of pages8
DOIs
StatePublished - 2011
Externally publishedYes
Event2011 IEEE 9th International Conference on Web Services, ICWS 2011 - Washington, DC, United States
Duration: 4 Jul 20119 Jul 2011

Publication series

NameProceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011

Conference

Conference2011 IEEE 9th International Conference on Web Services, ICWS 2011
Country/TerritoryUnited States
CityWashington, DC
Period4/07/119/07/11

Fingerprint

Dive into the research topics of 'Timed web services analysis after removing complex implicit transitions'. Together they form a unique fingerprint.

Cite this