Author(s): Xiuguo Zhang | Hongbo Liu
Journal: Information Technology Journal
ISSN 1812-5638
Volume: 10;
Issue: 9;
Start page: 1692;
Date: 2011;
VIEW PDF
DOWNLOAD PDF 
Original page
Keywords: formal verification | CCML (cooperative composition modeling language) | service composition | CCS process algebra | Web service
ABSTRACT
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.
Journal: Information Technology Journal
ISSN 1812-5638
Volume: 10;
Issue: 9;
Start page: 1692;
Date: 2011;
VIEW PDF
DOWNLOAD PDF Original pageKeywords: formal verification | CCML (cooperative composition modeling language) | service composition | CCS process algebra | Web service
ABSTRACT
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.
