Formalizing Operations Intent and Effects for Network-Centric Applications | IEEE Conference Publication | IEEE Xplore