High-level design and analysis of business processes the advantages of declarative specifications

Business process modeling techniques, such as BPMN, encourage the early specification of the exact order in which the activities of the process will be executed. However, a business process may be exposed to different environments and subjected to many conditions in which a sequence cannot be identified at design time. We present declarative business process specifications that can be used to align optional process customizations, as well as process redesign, with the business strategy of the organization. These specifications complement the traditional (imperative) business process model by specifying the process independently from a particular environment.