Verification of Business Process Quality Constraints Based on Visual Process Patterns

Förster, Alexander; Engels, Gregor; Schattkowsky, Tim; Straeten, Ragnhild Van Der

doi:10.1109/tase.2007.56

Cited by 54 publications

(38 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This matter, together with the fact that full compliance checking must consider rules involving the four following aspects of business process: control flow, data, time and resources, makes the full analysis of compliance-aware business process models quite difficult. This is the main reason why most of the existing approaches for compliance checking deal only with control flow issues [1,2,4,9,10,11,12]. However, addressing data aspects is increasingly awaking the interest of researchers [13].…”

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance

Cabanillas

Resinas

Ruiz–Cortés

2011

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

View full text Add to dashboard Cite

Abstract. The last few years have seen the introduction of several techniques for automatically tackling some aspects of compliance checking between business processes and business rules. Some of them are quite robust and mature and are provided with software support that partially or fully implement them. However, as far as we know there is not yet a tool that provides for the complete management of business process compliance in the whole lifecycle of business processes. The goal of this paper is to move towards an integrated business process compliance management system (BPCMS) on the basis of current literature and existing support. For this purpose, we present a description of some compliance-related features such a system should have in order to provide full coverage of the business process lifecycle, from compliance aware business process design to the audit process. Hints about what existing approaches can fit in each feature and challenges for future work are also provided.

show abstract

Section: Discussionmentioning

confidence: 99%

“…Therefore, this requirement should be available both to check for a single rule and to check for the whole set of rules that have to be applied to the business process. Some approaches supporting Yes/No response are described in [1,9,10]. -Explanatory compliance checking.…”

Section: Discussionmentioning

confidence: 99%

Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance

Cabanillas

Resinas

Ruiz–Cortés

2011

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

View full text Add to dashboard Cite

show abstract

“…This work and [31] are a base for our rule patterns which are by far more domain specific while not being applicable to only one domain. Another approach is described in [32]. The authors use one visual notation (UML Activities) for business process modeling and rule specification.…”

Section: Related Workmentioning

confidence: 99%

Rule Determination and Process Verification Using Business Capabilities

Stuht¹,

Speck²,

Feja³

et al. 2012

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

Abstract. Business architectures are an important part of any enterprise architecture containing business processes and business capabilities. High quality business processes are key factors for the success of a company. Hence, the quality and the correctness or compliance have to be verified. We propose to use the business capabilities for an efficient and easily understandable definition of rules to perform this verification. The rule specification is based on rule patterns to define requirements from an operational point of view. These patterns are derived from experience gained in projects for modeling and optimization of business processes with extensive manual checks. For the rule validation we rely on model checking as an established technology to cope with the dynamic properties of processes. We present a tool based approach to automate this verification integrated in a unique system with a common user interface.

show abstract

“…Förster et al (2007) model process knowledge in a model similar to ours. These models are translated to LTL-formulas.…”

Section: Compliancementioning

confidence: 99%

DYPROTO â tools for dynamic business processes

Wörzberger

Heer

2011

IJBPIM

View full text Add to dashboard Cite

Abstract:In this article, we present research results about tools for supporting dynamic business processes. This research work has been conducted in a three-year cooperation between our department and an IT service provider for insurance companies. Our partner's process management system (PMS) is rather aligned with static processes, whose structure is not changed at process run time. Therefore, we contribute an approach for obtaining dynamic process execution support based on this static PMS by automatically augmenting existent WS-BPEL process definitions and run time data. Dynamically changeable processes are presented to process participants as graphical models by a process model editor. This editor aids process participants with performing dynamic changes in as much as it is aware of explicit and implicit technical and professional process knowledge and detects violations against this knowledge in dynamically changed process instance models. We delineate how explicit process knowledge can be graphically modelled and exploited in automatic checks using OCL-constrained and integrated meta-models. Checks versus explicit knowledge are complemented by checks versus implicit knowledge which is contained in other process definition and process instance models. These checks include process similarity computations based on graph grammar formalisms and tools.

show abstract

Verification of Business Process Quality Constraints Based on Visual Process Patterns

Cited by 54 publications

References 10 publications

Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance

Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance

Rule Determination and Process Verification Using Business Capabilities

DYPROTO â tools for dynamic business processes

Contact Info

Product

Resources

About