High-Level Specification and Code Generation for Service-Oriented Tool Adapters | IEEE Conference Publication | IEEE Xplore