Skip to main content
Article thumbnail
Location of Repository

Formal Verification for CCML Based Web Service Composition

By Hongbo Liu and Xiuguo Zhang


Using formal methods to verify web services composition is an important means for ensuring correctness and reliability of web services composition. This study, has presented a formal verification method for CCML (Cooperative Composition Modeling Language) based web service composition. First, a mapping mechanism from CCML description of application system to CCS expression is given, then the temporal logic based checking mechanism and automated tool of CWB-NC (Concurrency Workbench of the New Century) is used to address the property verification and service compatibility verification problems of CCML based web service composition. Finally, an application case is presented to show that the formal verification method of CCML based service composition is valid

Topics: formal verification, CCML (cooperative composition modeling language), service composition, CCS process algebra, Web service, LCC:Information technology, LCC:T58.5-58.64, LCC:Industrial engineering. Management engineering, LCC:T55.4-60.8, LCC:Technology (General), LCC:T1-995, LCC:Technology, LCC:T, DOAJ:Computer Science, DOAJ:Technology and Engineering
Publisher: Asian Network for Scientific Information
Year: 2011
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.