Reference Hub1
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation

From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation

Emad Elabd, Emmanuel Coquery, Mohand-Said Hacid
Copyright: © 2012 |Volume: 9 |Issue: 4 |Pages: 27
ISSN: 1545-7362|EISSN: 1546-5004|EISBN13: 9781466614765|DOI: 10.4018/jwsr.2012100104
Cite Article Cite Article

MLA

Elabd, Emad, et al. "From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation." IJWSR vol.9, no.4 2012: pp.69-95. http://doi.org/10.4018/jwsr.2012100104

APA

Elabd, E., Coquery, E., & Hacid, M. (2012). From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation. International Journal of Web Services Research (IJWSR), 9(4), 69-95. http://doi.org/10.4018/jwsr.2012100104

Chicago

Elabd, Emad, Emmanuel Coquery, and Mohand-Said Hacid. "From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation," International Journal of Web Services Research (IJWSR) 9, no.4: 69-95. http://doi.org/10.4018/jwsr.2012100104

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Modeling Web services is a major step towards their automated analysis. One of the important parameters in this modeling, for the majority of Web services, is the time. A Web service can be presented by its behavior which can be described by a business protocol representing the possible sequences of message exchanges. To the best of the authors’ knowledge, automated analysis of timed Web services (e.g., compatibility and replaceability checking) is very difficult and in some cases it is not possible with the presence of implicit transitions (internal transitions) based on time constraints. The semantics of the implicit transitions is the source of this difficulty because most of well-known modeling tools do not express this semantics (e.g., epsilon transition on the timed automata has a different semantics). This paper presents an approach for converting any protocol containing implicit transitions to an equivalent one without implicit transitions before performing analysis.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.