Validation and Verification Policies for Governance of Service Choreographies.

Guglielmo De Angelis Antonia Bertolino Andrea Polini

Published 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