DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems | IEEE Conference Publication | IEEE Xplore