Analyzing Interacting BPEL Processes.

Niels Lohmann Peter Massuthe Christian Stahl Daniela Weinberg

Published in: Business Process Management (2006)

Keyphrases

business process management
web services
business processes
business process
service oriented
formal methods
service composition
real world
process model
databases
information systems
petri net
development process
computational models