Analyzing process models using graph reduction techniques

Sadiq, Shazia; Orłowska, Maria E.

doi:10.1016/s0306-4379(00)00012-0

Cited by 364 publications

(319 citation statements)

References 5 publications

Supporting

Mentioning

318

Contrasting

Unclassified

Order By: Relevance

“…Many researchers have worked on the verification of business processes, workflows, and services [1,5,15,31,33,34]. However, these approaches focus on the analysis of one process in isolation and can only be used to exhaustively verify all possible configurations to create a configuration guideline.…”

Section: Related Workmentioning

confidence: 99%

Ensuring correctness during process configuration via partner synthesis

Aalst

Lohmann

Rosa

2012

Information Systems

View full text Add to dashboard Cite

Variants of the same process can be encountered within one organization or across different organizations. For example, different municipalities, courts, and rental agencies all need to support highly similar processes. In fact, procurement and sales processes can be found in almost any organization. However, despite these similarities, there is also the need to allow for local variations in a controlled manner. Therefore, many academics and practitioners have advocated the use of configurable process models (sometimes referred to as reference models). A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is subsequently used to handle individual cases, for instance, to process customer orders. Process configuration is notoriously difficult as there may be all kinds of interdependencies between configuration decisions. In fact, an incorrect configuration may lead to behavioral issues such as deadlocks and livelocks. To address this problem, we present a novel verification approach inspired by the "operating guidelines" used for partner synthesis. We view the configuration process as an external service, and compute a characterization of all such services which meet particular requirements via the notion of configuration guideline. As a result, we can characterize all feasible configurations (i. e., configurations without behavioral problems) at design time, instead of repeatedly checking each individual configuration while configuring a process model.

show abstract

Section: Related Workmentioning

confidence: 99%

Ensuring correctness during process configuration via partner synthesis

Aalst

Lohmann

Rosa

2012

Information Systems

View full text Add to dashboard Cite

show abstract

“…The structure of Q can be "similar" to structural definition of a variant V k , but may not be identical. We define similarity between Q and V k through two relationships, namely equivalent and subsume [9].…”

Section: Query Facilitymentioning

confidence: 99%

“…The method is assumed to be executed on only those variants from PVR where the node set of the variant is a superset of the node set of a specified query. The basic intuition behind SELECTIVE_REDUCE is to firstly eliminate from the node set of the variant all task nodes that are not contained in the node set of the query, and secondly to reduce the flow relation using three reduction rules [9], namely sequential, adjacent and closed. Fig.5 illustrates the applications of these reduction rules, where the solid rectangles represent the relevant tasks required by the query and the hollow rectangles the irrelevant tasks.…”

Section: Fig 4 Example Queries Q 1 and Qmentioning

confidence: 99%

“…Fig.5 illustrates the applications of these reduction rules, where the solid rectangles represent the relevant tasks required by the query and the hollow rectangles the irrelevant tasks. The goal of the original algorithm in [9] is to reduce a process graph into an empty graph in order to verify structural correctness. In our approach, the algorithm is modified to reduce a variant that has an equivalent or subsume relationship with the query, into a structurally identical graph (not empty) as the query.…”

Section: Fig 4 Example Queries Q 1 and Qmentioning

confidence: 99%

See 1 more Smart Citation

Managing Process Variants as an Information Resource

Sadiq

2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Many business solutions provide best practice process templates, both generic as well as for specific industry sectors. However, it is often the variance from template solutions that provide organizations with intellectual capital and competitive differentiation. Although variance must comply with various contractual, regulatory and operational constraints, it is still an important information resource, representing preferred work practices. In this paper, we present a modeling framework that is conducive to constrained variance, by supporting user driven process adaptations. The focus of the paper is on providing a means of utilizing the adaptations effectively for process improvement through effective management of the process variants repository (PVR). In particular, we will provide deliberations towards a facility to provide query functionality for PVR that is specifically targeted for effective search and retrieval of process variants.

show abstract

“…Business process modelling is the foundation of business process analysis, reengineering, reorganization and optimization. The common modelling languages include UML [2],EPC [3],Workflow Graph [4],BPMN [5], Pi-Calculus [6] and Pet nets [7]. Petri is not only intuitive, but also a formal definition.…”

Section: Introductionmentioning

confidence: 99%

Business Process Modelling based on Petri nets

et al. 2017

View full text Add to dashboard Cite

Abstract.Business process modelling is the way business processes are expressed. Business process modelling is the foundation of business process analysis, reengineering, reorganization and optimization. It can not only help enterprises to achieve internal information system integration and reuse, but also help enterprises to achieve with the external collaboration. Based on the prototype Petri net, this paper adds time and cost factors to form an extended generalized stochastic Petri net. It is a formal description of the business process. The semi-formalized business process modelling algorithm based on Petri nets is proposed. Finally, The case from a logistics company proved that the modelling algorithm is correct and effective.

show abstract

Analyzing process models using graph reduction techniques

Cited by 364 publications

References 5 publications

Ensuring correctness during process configuration via partner synthesis

Ensuring correctness during process configuration via partner synthesis

Managing Process Variants as an Information Resource

Business Process Modelling based on Petri nets

Contact Info

Product

Resources

About