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

Abstract

Abstract-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.

Declarative Specification and Alignment Verification of Services in ITIL

“…refinement theory, can be applied to verify the alignment between the service specification (SLAs) and the service construction (OLAs), modeled declaratively [8]. Our declarative specifications define an IT service and its construction.…”

Augmenting the Zachman Enterprise Architecture Framework with a Systemic Conceptualization

“…We have taught [25,26] and have consulted [23] with SEAM since 2001. The theory underlying the conceptualization presented in this paper is in [17,24].…”

Specifying Services for ITIL Service Management

“…Examples of properties of IT Service+ are: Request a property that holds the status of the PC supply, or Standard Catalog the list of PCs from which ClaireX can select the PC that fits her needs. In advanced versions of SEAM, it is possible to formally describe the service in terms of pre and post-conditions that check and change the properties [14].…”