Towards a Goal-Oriented Framework for the Automatic Synthesis of Underspecified Activities in Dynamic Processes | IEEE Conference Publication | IEEE Xplore