Formalizing Trust Requirements and Specification in Service Workflow Environments.
Wattana ViriyasitavatAndrew P. MartinPublished in: ICEIS (3) (2011)
Keyphrases
- information flows
- service requirements
- web services
- protocol specification
- service providers
- service composition
- requirements analysis
- dynamic environments
- heterogeneous environments
- application specific
- service selection
- formal specification
- process execution
- specification language
- service quality
- computing environments
- high level
- workflow model
- grid infrastructure
- workflow specification
- web based systems
- composite services
- workflow systems
- functional requirements
- formal methods
- service discovery
- service oriented architecture
- business processes
- end users