Loading...
Please wait, while we are loading the content...
Similar Documents
Formal Verification for CCML Based Web Service Composition
| Content Provider | Open Access Library (OALib) |
|---|---|
| Author | Xiuguo Zhang Hongbo Liu |
| 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. |
| ISSN | 18125638 |
| Journal | Information Technology Journal |
| Publisher | Asian Network for Scientific Information |
| Publisher Date | 2011-01-01 |
| Access Restriction | Open |
| Subject Keyword | CCS process algebra Formal verification Web service Service composition CCML (cooperative composition modeling language) |
| Content Type | Text |
| Resource Type | Article |
| Subject | 1700/1701 |