Keyphrases
- peer to peer
- business process management
- web services
- process execution
- business process
- business processes
- service oriented
- service composition
- process model
- formal methods
- workflow management systems
- resource discovery
- distributed computing
- overlay network
- peer to peer systems
- composite web services
- case study
- peer to peer networks
- description language
- digital libraries
- petri net
- data model
- colored petri nets
- concurrent processes
- database systems
- bpel ws