• DocumentCode
    556431
  • Title

    Checking compatibility of BPEL4WS based on CCS

  • Author

    Long, Huiyun ; Ma, Dan

  • Author_Institution
    Coll. of Comput. Sci. & Inf., Guizhou Univ., Guiyang, China
  • Volume
    1
  • fYear
    2011
  • fDate
    22-23 Oct. 2011
  • Firstpage
    255
  • Lastpage
    258
  • Abstract
    We have extended the type system of the value-passing CCS firstly, then coded the composite Web services which are described in BPEL4WS. Secondly, we provided an algorithm for checking compatibility of BPEL4WS based on CCS with type. To illustrate the feasibility of the algorithm, we gave an example of travel agency.
  • Keywords
    Web services; business data processing; calculus of communicating systems; concurrency control; travel industry; type theory; BPEL4WS; CCS; calculus of communicating systems; compatibility checking; composite Web service; travel agency; type system; Artificial intelligence; Economic indicators; IP networks; Monitoring; Switches; BPEL4WS; compatibility; the value-passing CCS; type; typing system;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    System Science, Engineering Design and Manufacturing Informatization (ICSEM), 2011 International Conference on
  • Conference_Location
    Guiyang
  • Print_ISBN
    978-1-4577-0247-1
  • Type

    conf

  • DOI
    10.1109/ICSSEM.2011.6081199
  • Filename
    6081199
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=556431