Automatic Workflow Graph Refactoring and Completion

Vanhatalo, Jussi; Völzer, Hagen; Leymann, Frank; Moser, Simon

doi:10.1007/978-3-540-89652-4_11

Cited by 46 publications

(31 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Our approach can be integrated with their method and it can be applied to such complex graphs and their fragments. A related paper [39] shows how to decompose a workflow graph into R-fragments (with unique entry and exit nodes) and N-fragments (with unique entry and exit edges). The properties of these concepts are explored and then applied to develop methods for the completion of a process graph with multiple end nodes into one with a single end node.…”

Section: Discussion and Related Workmentioning

confidence: 99%

“…This completion approach can be used as preprocessing step for the IP approach: a workflow graph violating constraint 2 (single exit node) can be preprocessed and transformed into a graph that does satisfy constraint 2. Thus, the SESE approach [38,39] is complementary to the IP approach. Related work by the same authors focuses on region trees [14] and refined process trees [37] as techniques for workflow analysis, decomposition and transformation.…”

Section: Discussion and Related Workmentioning

confidence: 99%

See 1 more Smart Citation

An integer programming based approach for verification and diagnosis of workflows

Eshuis

Kumar

2010

Data & Knowledge Engineering

View full text Add to dashboard Cite

Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not give precise feedback, thus making it hard for a designer to pinpoint the exact cause of modeling errors. In this paper we introduce a novel approach for analyzing and diagnosing workflows based on integer programming (IP). Each workflow model is translated into a set of IP constraints. Faulty control flow connectors can be easily detected using the approach by relaxing the corresponding constraints. We have implemented this diagnosis approach in a tool called DiagFlow which reads and diagnoses XPDL models using an existing open source IP solver as a backend. We show that the diagnosis approach is correct and illustrate it with realistic examples. Moreover, the approach is flexible and can be extended to handle a variety of new constraints, as well as to support new workflow patterns. Results of testing on large process models show that DiagFlow outperforms a state of the art tool like Woflan in terms of the solution time.

show abstract

Section: Discussion and Related Workmentioning

confidence: 99%

Section: Discussion and Related Workmentioning

confidence: 99%

An integer programming based approach for verification and diagnosis of workflows

Eshuis

Kumar

2010

Data & Knowledge Engineering

View full text Add to dashboard Cite

show abstract

“…Moreover, we explore tasks looking at message dependencies among them. Workflow graph are used for refactoring and completion of business process models in [8]. The approach use refactoring on graphs to build well-structured graphs, and SESE (Single Entry, Single Exit) fragments to verify soundness and to improve the diagnosis information and to fix control-flow errors.…”

Section: Related Workmentioning

confidence: 99%

ParTes: A test generation strategy for choreography participants

Angelis

Fanì

Polini

2013

2013 8th International Workshop on Automation of Software Test (AST)

View full text Add to dashboard Cite

Abstract-Inter-organizational business processes permit to specify how different organizations can integrate to carry on business activities together. In this context choreography specifications provide a particularly useful view permitting to define how different organizations should interact and exchange messages in order to fruitfully cooperate. Tools and mechanisms permitting to check that a stakeholder, and its provided e-services, are able to correctly cooperate according to the global specification become an important and useful asset. This is particularly true when open specifications are considered and services dynamically integrate with each other at run-time.This paper proposes a novel derivation strategy for test case skeletons, which can be successively refined and concretized to check the behaviour of parties willing to play a role within a choreography enactment. The very basic idea is to derive test cases from the possible interaction traces included in the choreography specification handled as a workflow graph. The selection of traces to use for test derivation purpose is driven by a specifically conceived technique to work flow refactoring which permits to reduce the number of interleavings to explore, in particular when parallel statements are considered.

show abstract

“…Refactoring may be applied to arrive at these start and end activity nodes [22]. We assume trace semantics for process models.…”

Section: Definition 1 (Process Model)mentioning

confidence: 99%

A Foundational Approach for Managing Process Variability

Weidlich

Mendling

Weske

2011

Notes on Numerical Fluid Mechanics and Multidisciplinary Design

View full text Add to dashboard Cite

Abstract. A business process often shows different variations in a large organisation, due to different legal requirements in different countries, deviations in the IT infrastructure, or organisational differences. These variants are documented in separate independent process models. Management of these variants imposes various challenges. Invariant behaviour needs to be identified and redundancies among the variants have to be avoided. In this paper, we address these questions by defining a set-algebra for behavioural profiles. These profiles represent a behavioural abstraction of process models that can be computed efficiently. We trace back many questions of process variability management to set-theoretic operations and relations defined for behavioural profiles. As a validation, we apply our approach to an industry model collection.

show abstract

Automatic Workflow Graph Refactoring and Completion

Cited by 46 publications

References 10 publications

An integer programming based approach for verification and diagnosis of workflows

An integer programming based approach for verification and diagnosis of workflows

ParTes: A test generation strategy for choreography participants

A Foundational Approach for Managing Process Variability

Contact Info

Product

Resources

About