Login / Signup
Web Service Interaction Modeling and Verification Using Recursive Composition Algebra.
Gopal N. Rai
G. R. Gangadharan
Vineet Padmanabhan
Rajkumar Buyya
Published in:
IEEE Trans. Serv. Comput. (2021)
Keyphrases
</>
web services
web services composition
colored petri nets
model checking
user interaction
web service composition
social networks
web applications
user interface
petri net
relational algebra
human interaction
loosely coupled
formal verification
composition of web services