We proposed, in previous works, a business process execution language for data-driven workflow modeling, verification, and execution; the proposed model can present both control flow and shared data in workflow processes. It can be analyzed to verify its correctness before its deployment. In this paper, we are going to improve the semantics of our approach to allow better integration between data and control flow, and between the workflow and its external environment (such as relational databases and XML documents). We are also going to extend our approach to generate multidimensional data models, namely OLAP hypercubes, from data handled by the workflow, in order to provide synthetic view of data for decision makers.