Login / Signup
Modelling and verifying web service orchestration by means of the concurrency workbench.
Mariya Koshkina
Franck van Breugel
Published in:
ACM SIGSOFT Softw. Eng. Notes (2004)
Keyphrases
</>
web services
business processes
business process
information systems
nested transactions
database systems
multi agent systems
description language
concurrency control
service oriented
model checking
service architecture
data flow
service discovery
service oriented architecture
data mining
website
social networks