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

• Published in: 2021 2nd International Conference for Emerging Technology (INCET) pp. 1 - 6
• Main Authors: Pal, Nisha, Yadav, Mahendra Pratap, Yadav, Dharmendra Kumar
• Format: Conference Proceeding
• Language: English
• 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

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...