Runtime Enforcement of Data-centric Properties for Concurrent Service-Based Applications | IEEE Conference Publication | IEEE Xplore