A Tool for Choreography Analysis Using Collaboration Diagrams | IEEE Conference Publication | IEEE Xplore