Formal Methods for Data-centric Web Services: From Model to Implementation.

Iman Saleh Gregory Kulczycki M. Brian Blake Yi Wei

Published in: ICWS (2013)

Keyphrases

formal methods
web services
data centric
high level
database
website
expert systems
database management systems
business processes
formal specification