Open AccessAn approach for verifying correctness of web service compositions
Author(s) -
C. Saranya Jothi,
Shruthi Ravikumar,
K. Antony Kumar,
Aishwarya Suresh
Publication year - 2018
Publication title -
international journal of engineering and technology
Language(s) - English
Resource type - Journals
ISSN - 2227-524X
DOI - 10.14419/ijet.v7i1.7.9378
Subject(s) - liveness , correctness , computer science , business process execution language , web service , component (thermodynamics) , model checking , task (project management) , deadlock , service composition , business process , service (business) , distributed computing , software engineering , web modeling , database , programming language , systems engineering , engineering , physics , economy , compatibility (geochemistry) , chemical engineering , economics , thermodynamics