Governance Policies for Verification and Validation of Service Choreographies.
Antonia BertolinoGuglielmo De AngelisAndrea PoliniPublished in: WEBIST (Selected Papers) (2012)
Keyphrases
- protocol specification
- web services
- service providers
- information systems
- end users
- e government
- model checking
- service oriented
- information technology
- management policies
- optimal policy
- scheduling policies
- formal verification
- public services
- service delivery
- transport systems
- loosely coupled
- semantic web services
- service discovery
- formal methods
- face verification
- service oriented architecture
- temporal logic
- management system
- dynamic programming
- multi agent