Keyphrases
- web services
- service oriented
- formal methods
- business processes
- business process
- service composition
- web services composition
- colored petri nets
- business process management
- business process modeling
- formal analysis
- petri net
- modeling language
- knowledge representation
- formal model
- case study
- logical framework
- formal logic
- web service composition
- service discovery
- service oriented architecture
- model checking
- semantic web
- response time
- object oriented
- user interface
- multi agent
- logical language
- ws bpel