The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems

Polyvyanyy, Artem; Weidlich, Matthias; Conforti, Raffaele; Rosa, Marcello La; Hofstede, Arthur H. M. ter

doi:10.1007/978-3-319-07734-5_12

Cited by 43 publications

(50 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We envision that our index can be of great use when designing efficient implementations of other query primitives, e.g., those that explore the relations of causality and concurrency [22]. Studies of these primitives will contribute to the maturity of process model query languages, e.g., BPMN-Q [9] and APQL [23].…”

Section: Resultsmentioning

confidence: 99%

Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings

Polyvyanyy

Rosa

Hofstede

2014

Advanced Information Systems Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. Process-Aware Information Systems (PAISs) support executions of operational processes that involve people, resources, and software applications on the basis of process models. Process models describe vast, often infinite, amounts of process instances, i.e., workflows supported by the systems. With the increasing adoption of PAISs, large process model repositories emerged in companies and public organizations. These repositories constitute significant information resources. Accurate and efficient retrieval of process models and/or process instances from such repositories is interesting for multiple reasons, e.g., searching for similar models/instances, filtering, reuse, standardization, process compliance checking, verification of formal properties, etc. This paper proposes a technique for indexing process models that relies on their alternative representations, called untanglings. We show the use of untanglings for retrieval of process models based on process instances that they specify via a solution to the total executability problem. Experiments with industrial process models testify that the proposed retrieval approach is up to three orders of magnitude faster than the state of the art.

show abstract

Section: Resultsmentioning

confidence: 99%

Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings

Polyvyanyy

Rosa

Hofstede

2014

Advanced Information Systems Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…First, one can study the problem of automatic classification of process drifts; we plan to use shapelets [3] to solve this problem. Second, one can study how the use of other declarative process constraints, e.g., the 4C spectrum [21] or branched DECLARE [8], impacts the effectiveness of the technique. Third, an empirical evaluation with the potential users of the technique can provide further insights for improving the usability of the approach.…”

Section: Discussionmentioning

confidence: 99%

Balanced multi-perspective checking of process conformance

et al. 2015

View full text Add to dashboard Cite

Organizations maintain process models that describe or prescribe how cases (e.g., orders) are handled. However, reality may not agree with what is modeled. Conformance checking techniques reveal and diagnose differences between the behavior that is modeled and what is observed. Existing conformance checking approaches tend to focus on the control-flow in a process, while abstracting from data dependencies, resource assignments, and time constraints. Even in those situations when other perspectives are considered, the control-flow is aligned first, i.e., priority is given to this perspective. Data dependencies, resource assignments, and time constraints are only considered as "second-class citizens", which may lead to misleading conformance diagnostics. For example, a data attribute may provide strong evidence that the wrong activity was executed. Existing techniques will still diagnose the data-flow as deviatWhen conducting most of the research reported on in this paper, Dr. de Leoni was also affiliated with University of Padua, Italy, and financially supported by the Eurostar-Eureka Project PROMPT (E! 6696). ing, whereas our approach will indeed point out that the control-flow is deviating. In this paper, a novel algorithm is proposed that balances the deviations with respect to all these perspectives based on a customizable cost function. Evaluations using both synthetic and real data sets show that a multi-perspective approach is indeed feasible and may help to circumvent misleading results as generated by classical single-perspective or staged approaches. F. Mannhardt (B)·

show abstract

“…Fortunately, there are efficient techniques to determine the strict order relation [19,20] of a process model. In this paper, the relation corresponds to that same relation in the behavioral profile of the model as explained in [19].…”

Section: Text and Model Orderingmentioning

confidence: 99%

Aligning Textual and Graphical Descriptions of Processes Through ILP Techniques

Sànchez-Ferreres

Carmona

Padró

2017

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. With the aim of having individuals from different backgrounds and expertise levels examine the operations in an organization, different representations of business processes are maintained. To have these different representations aligned is not only a desired feature, but also a real challenge due to the contrasting nature of each process representation. In this paper we present an efficient technique for aligning a textual description and a graphical model of a process. The technique is grounded on using natural language processing techniques to extract linguistic features of each representation, and encode the search as a mathematical optimization encoded using Integer Linear Programming (ILP) whose resolution ensures an optimal alignment between both descriptions. The technique has been implemented and the experiments witness the significance of the approach with respect to the state-of-the-art technique for the same task.

show abstract

The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems

Cited by 43 publications

References 33 publications

Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings

Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings

Balanced multi-perspective checking of process conformance

Aligning Textual and Graphical Descriptions of Processes Through ILP Techniques

Contact Info

Product

Resources

About