Academic Journals Database
Disseminating quality controlled scientific knowledge

Formal Verification for CCML Based Web Service Composition

Author(s): Xiuguo Zhang | Hongbo Liu

Journal: Information Technology Journal
ISSN 1812-5638

Volume: 10;
Issue: 9;
Start page: 1692;
Date: 2011;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

Keywords: formal verification | CCML (cooperative composition modeling language) | service composition | CCS process algebra | Web service

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.

Tango Jona
Tangokurs Rapperswil-Jona

     Save time & money - Smart Internet Solutions