A Method for the Formal Representation of the Boolean Conditions of Orchestrated Services | IEEE Conference Publication | IEEE Xplore