• DocumentCode
    3343771
  • Title

    Specify and Compose Web Services by TLA

  • Author

    Wang, Hongbing ; Liu, Hui ; Guo, Xiaohui

  • Author_Institution
    Sch. of Comput. Sci. & Eng., Southeast Univ., Nanjing
  • fYear
    2008
  • fDate
    23-26 Sept. 2008
  • Firstpage
    766
  • Lastpage
    767
  • Abstract
    This paper introduces the concept of temporal logic of actions (short for TLA), with which we can formally specify the behavior of a service, and compose Web services. The approach is demonstrated by an example. A services composition algorithm is presented.
  • Keywords
    Web services; temporal logic; Web services; services composition algorithm; temporal logic of actions; Computer science; Explosions; Formal specifications; Law; Legal factors; Logic; Proposals; Real time systems; Tin; Web services; TLA; Web services; algorithm;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Web Services, 2008. ICWS '08. IEEE International Conference on
  • Conference_Location
    Beijing
  • Print_ISBN
    978-0-7695-3310-0
  • Electronic_ISBN
    978-0-7695-3310-0
  • Type

    conf

  • DOI
    10.1109/ICWS.2008.72
  • Filename
    4670252
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3343771