Modeling and Verification of Web Services Composition Using CWB-NC Tool

Modeling and verification of web services composition determines the execution flow of various web services used in conjunction. Existing techniques, such as, UML and testing are used successfully to describe the behavior of the web service system and find the bugs during the communication of the co...

Full description

Saved in:
Bibliographic Details
Published in2021 2nd International Conference for Emerging Technology (INCET) pp. 1 - 6
Main Authors Pal, Nisha, Yadav, Mahendra Pratap, Yadav, Dharmendra Kumar
Format Conference Proceeding
LanguageEnglish
Published IEEE 21.05.2021
Subjects
Computer bugs
CWB-NC Tool
Formal languages
Formal Methods
Formal verification
Interconnected systems
Model Checking
Reliability
Unified modeling language
Web services
Online AccessGet full text

Cover

More Information
Summary:Modeling and verification of web services composition determines the execution flow of various web services used in conjunction. Existing techniques, such as, UML and testing are used successfully to describe the behavior of the web service system and find the bugs during the communication of the components. However, it is not always possible to identify bugs at all the stages. Formal specification and verification is an emerging technique for specifying the structural and functional property of the web service composition. Calculus of Communicating Systems (CCS) is a process-algebra used as a language for formal specification. In this article, we have utilized CCS for describing the behavioral specification of the web service system. The requirement of the system is captured through formulas or properties utilizing mu-calculus, and formally verified through Concurrency Work Bench of the New Century (CWB-NC) model checker tool.
DOI:10.1109/INCET51464.2021.9456275