Software Patterns for the Realization of Automation Service Choreographies | IEEE Conference Publication | IEEE Xplore