A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL/WS-BPEL Service-Component Architectures.
Taoufik Sakka RouisMohamed Tahar BhiriMourad KmimechLayth SlimanPublished in: PDCAT (2018)
Keyphrases
- ws bpel
- service composition
- composite services
- business process
- service oriented
- web services
- model checking
- desirable properties
- web service composition
- protocol specification
- domain specific
- business processes
- management system
- service providers
- end users
- service quality
- mobile services
- signature verification
- multi agent systems
- high level