IDEAS home Printed from https://ideas.repec.org/a/igg/jwsr00/v9y2012i4p69-95.html
   My bibliography  Save this article

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

Author

Listed:
  • Emad Elabd

    (Department of Computers and Information, Menoufia University, Shebin El Kom, Egypt)

  • Emmanuel Coquery

    (LIRIS, Department of Computer Sciences, University Claude Bernard Lyon 1, Villeurbanne, France)

  • Mohand-Said Hacid

    (LIRIS, Department of Computer Sciences, University Claude Bernard Lyon 1, Villeurbanne, France)

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.

Suggested Citation

  • Emad Elabd & Emmanuel Coquery & Mohand-Said Hacid, 2012. "From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation," International Journal of Web Services Research (IJWSR), IGI Global, vol. 9(4), pages 69-95, October.
    • Handle: RePEc:igg:jwsr00:v:9:y:2012:i:4:p:69-95
    as

    Download full text from publisher

    File URL: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jwsr.2012100104
    Download Restriction: no
    ---><---

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:igg:jwsr00:v:9:y:2012:i:4:p:69-95. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Journal Editor (email available below). General contact details of provider: https://www.igi-global.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.