In this work, we propose a methodological framework to improve the cycle of business process engineering. The core element in this approach is an extensible intermediate language called ID-net. Designed by the principe of Multi-Dimensional Separation of Concerns, ID-net captures the control flow of business process and monitors the resources involved during the execution of processes. ID-nets have true concurrency semantics and they can be executed in parallel distributed environment. Our approach is able to handle the control flow, transactions (short-lasting and long-lasting), concurrency of business processes, and incorporate different data models during the development of executable business process via the composition of dimensions. We give the formal semantics of ID-net and the composition mechanism.