A Declarative Approach for Specifying User-Centric Communication | IEEE Conference Publication | IEEE Xplore