Activity Diagram Patterns for Modeling Quality Constraints in Business Processes

Foerster, Alexander; Engels, Gregor; Schattkowsky, Tim

doi:10.1007/11557432_2

Cited by 23 publications

(12 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Fig. 3), Ghose and Koliadis (2007) Schleicher, Anstett, Leymann, and Schumm (2010) Arbab, Kokash, and Meng (2009) (Foerster et al 2005(Foerster et al , 2007Küster et al 2007) use activity diagrams of the Unified Modeling Language (UML) (Object Management Group 2005). In addition, three approaches use the Business Process Execution Language (BPEL) (OASIS 2007) as their major application area for compliance checking Liu et al 2007;Schleicher et al 2010).…”

Section: Modeling Language Supportmentioning

confidence: 99%

Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

et al. 2014

View full text Add to dashboard Cite

Given the strong increase in regulatory requirements for business processes the management of business process compliance becomes a more and more regarded field in IS research. Several methods have been developed to support compliance checking of conceptual models. However, their focus on distinct modeling languages and mostly linear (i.e., predecessor-successor related) compliance rules may hinder widespread adoption and application in practice. Furthermore, hardly any of them has been evaluated in a real-world setting. We address this issue by applying a generic pattern matching approach for conceptual models to business process compliance checking in the financial sector. It consists of a model query language, a search algorithm and a corresponding modelling tool prototype. It is (1) applicable for all graph-based conceptual modeling languages and (2) for different kinds of compliance rules. Furthermore, based on an applicability check, we (3) evaluate the approach in a financial industry project setting against its relevance for decision support of audit and compliance management tasks.

show abstract

Section: Modeling Language Supportmentioning

confidence: 99%

Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

et al. 2014

View full text Add to dashboard Cite

show abstract

“…The approach depends on transforming PROPOLS expressions into FSAs and BPEL into LTS/FSA and check the language inclusion between the two FSAs. Work in [9,10,11] defines a set of visual patterns using the Process Pattern Specification Language (PPSL). These patterns are used to express constraints against UML Activity Diagrams.…”

Section: Related Workmentioning

confidence: 99%

Efficient Compliance Checking Using BPMN-Q and Temporal Logic

Awad

Decker

Weske

2008

Lecture Notes in Computer Science

212

151

View full text Add to dashboard Cite

Abstract. Compliance rules describe regulations, policies and quality constraints business processes must adhere to. Given the large number of rules and their frequency of change, manual compliance checking can become a time-consuming task. Automated compliance checking of process activities and their ordering is an alternative whenever business processes and compliance rules are described in a formal way. This paper introduces an approach for automated compliance checking. Compliance rules are translated into temporal logic formulae that serve as input to model checkers which in turn verify whether a process model satisfies the requested compliance rule. To address the problem of state-space explosion we employ a set of reduction rules. The approach is prototypically realized and evaluated.

show abstract

“…For example, Förster extended UML Activity Diagrams to express complex constraints and thus can be used to check the compliance regarding the process behaviors [27]. Hoffmann et al devise a framework where processes are annotated to capture the semantics of task execution, and compliance is checked against a set of constraints posing restrictions on the desirable process states [28].…”

Section: Related Workmentioning

confidence: 99%

Online Treatment Compliance Checking for Clinical Pathways

et al. 2014

View full text Add to dashboard Cite

Compliance checking for clinical pathways (CPs) is getting increasing attention in health-care organizations due to stricter requirements for cost control and treatment excellence. Many compliance measures have been proposed for treatment behavior inspection in CPs. However, most of them look at aggregated data seen from an external perspective, e.g. length of stay, cost, infection rate, etc., which may provide only a posterior impression of the overall conformance with the established CPs such that in-depth and in near real time checking on the compliance of the essential/critical treatment behaviors of CPs is limited. CP specification and support online compliance checking, this article presents a semantic rule-based CP compliance checking system. In detail, we construct a CP ontology (CPO) model to provide a formal grounding of CP compliance checking. Using the proposed CPO, domain treatment constraints are modeled into Semantic Web Rule Language (SWRL) rules to specify the underlying treatment behaviors and their quantified temporal structure in a CP. The established SWRL rules are integrated with the CP workflow such that a series of applicable compliance checking and evaluation can be reminded and recommended during the pathway execution. The proposed approach can, therefore, provides a comprehensive compliance checking service as a paralleling activity to the patient treatment journey of a CP rather than an afterthought. The proposed approach is illustrated with a case study on the unstable angina clinical pathway implemented in the Cardiology Department of a Chinese hospital. The results demonstrate that the approach, as a feasible solution to provide near real time conformance checking of CPs, not only enables clinicians to uncover non-compliant treatment behaviors, but also empowers clinicians with the capability to make informed decisions when dealing with treatment compliance violations in the pathway execution.

show abstract

Activity Diagram Patterns for Modeling Quality Constraints in Business Processes

Cited by 23 publications

References 6 publications

Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

Efficient Compliance Checking Using BPMN-Q and Temporal Logic

Online Treatment Compliance Checking for Clinical Pathways

Contact Info

Product

Resources

About