Event-B Formalisation of Web Services for Dynamic Composition.

Lazhar Hamel Mohamed Graiet Walid Gaaloul

Published in: SKG (2012)

Keyphrases

web services
web service composition
web services composition
dynamic environments
business processes
event detection
composition of web services
database systems
dynamically changing
database
databases
information systems
news articles
service oriented