Web Services Verification and Prudent Implementation.

Tigran Avanesov Yannick Chevalier Mohammed Anis Mekki Michaël Rusinowitch

Published in: DPM/SETOP (2011)

Keyphrases

web services
layered architecture
efficient implementation
knowledge base
automatic discovery
model checking
business processes
databases
colored petri nets
database
loosely coupled
web service composition
service providers
data management
end users
digital libraries
face recognition
database systems
social networks