Validation and Verification Policies for Governance of Service Choreographies.
Guglielmo De AngelisAntonia BertolinoAndrea PoliniPublished in: WEBIST (2012)
Keyphrases
- information technology
- protocol specification
- service providers
- web services
- optimal policy
- e government
- service delivery
- transport systems
- management policies
- public services
- formal verification
- service quality
- service discovery
- public sector
- data sets
- management system
- end users
- information systems
- model checking
- asynchronous circuits
- revenue management
- processor sharing