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
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.