Behavioural specification of grid services with the KAoS policy language | IEEE Conference Publication | IEEE Xplore