Model checking as support for inspecting compliance to rules in flexible processes

Letia, Ioan Alfred; Goron, Anca

doi:10.1016/j.jvlc.2014.12.008

Cited by 12 publications

(4 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Whereas traditionally Visual Analytics applications have been used by experts in domains such as engineering and finance [1,2], trend analysis in large datasets [23], or the control of process compliance with an ideal model [24], there is an increasing interest in scholars from "soft sciences", such as learning [3] or digital humanities [6,20], to apply Visual Analytics to support their work.…”

Section: Previous Workmentioning

confidence: 99%

Towards a visual guide for communicating uncertainty in Visual Analytics

Seipp

Gutiérrez

Ochôa

et al. 2019

Journal of Computer Languages

View full text Add to dashboard Cite

This article presents a first step towards the definition of a visual guide for communicating uncertainty which is to fit into existing visualisation frameworks and toolkits. The first entry in our guide is made by a set of visual variables appropriate for representing areal uncertainty in algorithm mechanics. Such visualisations show users how data points are distributed in the classification space and allow them to understand the "goodness-of-fit" of their data to the algorithm. This is important for Visual Analytics applications, which combine Information Visualisation with information mining techniques in an interactive decision-making process. Model uncertainties stemming from widely spread data points need to be visualised so that the user can make adjustments and improve the analysis. To capitalise on established knowledge and meaning, we explore whether popular visual variables for representing areal uncertainty in the domain of geospatial visualisation may also be effective for representing uncertainty in the visualisation of the mechanics of K-means clustering and Linear Regression algorithms, as both use a spatial distribution of data points. In a study with 500 participants we find that overall the visual means opacity performs best, followed by texture, but that grid and blur may be unsuitable for quantifying uncertainty. The performance of contour lines appears to depend on the algorithm visualisation. Using this study, we extend the validity of a set of domain-specific findings from geospatial visualisation to the visualisation of algorithm mechanics and use these to form the first building blocks of a cross-disciplinary visual guide for representing uncertainty, laying promising foundations for future work.

show abstract

Section: Previous Workmentioning

confidence: 99%

Towards a visual guide for communicating uncertainty in Visual Analytics

Seipp

Gutiérrez

Ochôa

et al. 2019

Journal of Computer Languages

View full text Add to dashboard Cite

show abstract

“…Previous BPM research used static definitions when designing business processes, which only provided limited forms of adaptability or insufficiently precise rules to handle anomalies, and lacked security constraints and inspection strategies. Such inadequate and incomplete business processes may lead to ambiguities and misunderstandings in implementation, resulting in failure with serious consequences [13]. This will also affect the implementation of the BPMS developed under the guidance of BPM, since organizational requirements are always changing, and business processes are often unable to be completed in a predetermined time, so BPMS will not be able to guarantee the automatic execution of business processes and achieve expectations [14].…”

Section: Related Literaturementioning

confidence: 99%

Dynamic Adaptation Method of Business Process Based on Hierarchical Feature Model

Gao

2021

Information

View full text Add to dashboard Cite

With the continuous complexity and frequent changes in business application scenarios, companies urgently need to establish a flexible business process management mechanism that includes dynamic rules, in which dynamic adaptation methods of business processes play a vital role. Aiming at the problem that the current methods only use the preset process template and the decision-making database, it cannot respond quickly to business changes and reconfigure the business process. This research proposes a dynamic adaptation method of business process based on the hierarchical feature model, builds a hierarchical feature model of complex processes, then establishes a hierarchical business policy set to achieve an agile response to business emergencies. By constructing a mapping model, the feature model is associated with the BPMN model to realize the rapid execution of the reconfiguration process model. The feasibility and effectiveness of the proposed method are verified by process examples and the developed business process dynamic adaptation tool.

show abstract

“…In addition, declarative approaches that use temporal logic rather than some imperative modelling language to express constraints are suggested. Model checking at a level understandable by human users is studied, and security validation as a service for business process compliance at design time is suggested . In recent years, business process mining has also become a major field of interest regarding compliance .…”

Section: Adaptive Business Process Specification Frameworkmentioning

confidence: 99%

Towards functional safety and security for adaptive and flexible business processes

Geist

Natschläger

Illibauer

et al. 2018

J Software Evolu Process

View full text Add to dashboard Cite

Business process management (BPM) provides many benefits for a company including productivity, efficiency, compliance, risk management, consistency, repeatability, and measurability. Many of these aspects also ensure and improve functional safety, privacy, and security in process execution. However, managed business processes lack flexibility; ie, changing a business process requires more effort than ad hoc execution and adaptation. Thus, especially in small companies, the acceptance rate of managed business processes is low. So we claim that in current BPM approaches, the structuredness ensuring functional safety and security concepts contradicts with the objective for flexibility. The main goal of the AdaBPM project is to address this contradiction by providing a formal approach to handle advanced adaptations and exception handling in business processes. The technical objectives of the project include (1) the definition of a basic framework being capable of handling different levels of adaptivity and considering security and safety requirements at the same time, (2) a rigorous process specification language and model refinement methods,(3) static business process adaptations, and (4) dynamic (or ad hoc) adaptations. The result of our research is a general approach for flexible BPM combined with the possibility to nevertheless manage the process and define safety and security restrictions.

show abstract

Model checking as support for inspecting compliance to rules in flexible processes

Cited by 12 publications

References 29 publications

Towards a visual guide for communicating uncertainty in Visual Analytics

Towards a visual guide for communicating uncertainty in Visual Analytics

Dynamic Adaptation Method of Business Process Based on Hierarchical Feature Model

Towards functional safety and security for adaptive and flexible business processes

Contact Info

Product

Resources

About