Formal Trust Specification in Service Workflows.
Wattana ViriyasitavatAndrew P. MartinPublished in: EUC (2010)
Keyphrases
- web services
- formal specification
- formal methods
- protocol specification
- exception handling
- formal language
- data processing
- reactive systems
- trust model
- service oriented
- service providers
- transactional properties
- business processes
- requirements specification
- workflow model
- service composition
- control flow
- specification languages
- high level
- mobile services
- semantic web services
- service discovery
- service quality
- information services
- workflow management
- workflow systems
- specification language
- formal model
- workflow specification
- management system
- composite web services
- business process
- computing environments
- workflow engine
- formal languages
- scientific workflows
- operational semantics