Generation of proper adapters and converters from a formal service specification | IEEE Conference Publication | IEEE Xplore