BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources
José Antonio MateoValentín ValeroGregorio DíazPublished in: CoRR (2012)
Keyphrases
- formal methods
- web services
- service oriented
- business process
- service composition
- business processes
- heterogeneous environments
- colored petri nets
- process model
- lightweight
- distributed systems
- cooperative
- main contribution
- software architecture
- probabilistic model
- distributed learning
- heterogeneous systems
- artificial intelligence
- peer to peer
- resource allocation
- metadata
- information systems
- remote sites