Login / Signup
Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets.
Khouloud Boukadi
Chirine Ghedira
Zakaria Maamar
Djamal Benslimane
Published in:
ICEIS (4) (2007)
Keyphrases
</>
petri net
high level petri nets
formal verification
composite web services
asynchronous circuits
formal methods
service composition
model checking
web services composition
web service composition
ims ld
protocol specification
authoring tool
web services
business processes