BpelVT: A Tool for Formal Validation of Web Service Orchestrations.

Wael Sellami Hatem Hadj Kacem Ahmed Hadj Kacem

Published in: WETICE (2012)

Keyphrases

web services
website
real time
information retrieval
xml technology
real world
artificial intelligence
search engine
multi agent systems
service providers
business processes
formal model
formal specification
web service composition
ws bpel