Automated Instantiation and Extraction of Web Service Choreographies | IEEE Conference Publication | IEEE Xplore