Using Declarative Specifications in Business Process Design

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 an organization. These specifications complement the traditional (imperative) business process model by specifying the process independently from a particular environment