Login / Signup
A logical verification methodology for service-oriented computing.
Alessandro Fantechi
Stefania Gnesi
Alessandro Lapadula
Franco Mazzanti
Rosario Pugliese
Francesco Tiezzi
Published in:
ACM Trans. Softw. Eng. Methodol. (2012)
Keyphrases
</>
service oriented computing
service composition
web services
service oriented
grid computing
conceptual framework
grid systems
service discovery
computing paradigm
service oriented architecture
database
peer to peer
web service composition