A Framework for the Specification and Execution of Composite Trading Activities