Automatic Generation of Functional Workflows Using a Semantic Specification | IEEE Conference Publication | IEEE Xplore