1,123 Hits in 5.6 sec

An efficient approach to detect lack of synchronization in acyclic workflow graphs

Cédric Favre
2010 Central-European Workshop on Services and their Composition  
We structurally characterize lack of synchronization in an acyclic workflow graph. Based on this characterization, we show how to detect lack of synchronization in quadratic time.  ...  Control-flow analysis of business process models requires to check the absence of lack of synchronization.  ...  In this paper, we show how to efficiently check the absence of lack of synchronization in acyclic workflow graphs with IOR gateways.  ... 
dblp:conf/zeus/Favre10 fatcat:xjpstjcblzgzhlw7mqnvvd3zum

Symbolic Execution of Acyclic Workflow Graphs [chapter]

Cédric Favre, Hagen Völzer
2010 Lecture Notes in Computer Science  
This has different applications in finding control-and data-flow errors. In particular, we show how to decide soundness of an acyclic workflow graph with inclusive OR gateways in quadratic time.  ...  The result allows us to decide in quadratic time, for any pair of control-flow edges or tasks of the workflow graph, whether they are sometimes, never, or always reached concurrently.  ...  In an acyclic workflow graph that contains no deadlock, there is a lack of synchronization iff there is a handle.  ... 
doi:10.1007/978-3-642-15618-2_19 fatcat:a6pputnj7ffpnjqq7wrgbbssiy

Applying Propositional Logic to Workflow Verification

Henry H. Bi, J. Leon Zhao
2004 Journal of Special Topics in Information Technology and Management  
In this paper, we present the theoretical framework for applying propositional logic to workflow verification and demonstrate that logic-based workflow verification is capable of detecting process anomalies  ...  The purpose of workflow verification is to examine whether there are any conflicts or anomalies in workflow models so as to avoid much higher costs of breakdown, debugging, and fixing during runtime [4  ...  So far, the matrix-based approach has been shown to be effective in identifying deadlock and lack of synchronization problems in cyclic workflow models.  ... 
doi:10.1023/b:item.0000031583.16306.0f fatcat:343c7cavf5bxfgdyf3orjwsqhq

Fast Soundness Verification of Workflow Graphs

Thomas M. Prinz
2013 Central-European Workshop on Services and their Composition  
This paper shows a new approach to check the soundness of workflow graphs.  ...  The evaluation shows a linear processing time in the average and an up to quadratic in the worst case.  ...  Special thanks to Wolfram Amme for discussing the ideas of this paper.  ... 
dblp:conf/zeus/Prinz13 fatcat:byuz732gwnb5zpnbjy3ll7bfhm

Practical Compiler-Based User Support during the Development of Business Processes [chapter]

Thomas M. Prinz, Wolfram Amme
2014 Lecture Notes in Computer Science  
Basic idea of our approach is, to start analyses on different points of workflow graphs and to find potential structural errors.  ...  In general, business processes are described with Petri nets semantics, even though this kind of description allows only algorithms with a worse processing time and bad failure information to this moment  ...  Evaluation We have implemented the algorithms in Java to detect structural errors in workflow graphs.  ... 
doi:10.1007/978-3-319-06859-6_5 fatcat:ktv5m7gxefecldtwon3zbrdtza

A New Semantics for the Inclusive Converging Gateway in Safe Processes [chapter]

Hagen Völzer
2010 Lecture Notes in Computer Science  
We show that enabledness of an Or-join in our semantics can be decided in linear time in the size of the workflow graph.  ...  The new semantics also coincides with the block-based semantics as used in BPEL on cyclic graphs that can be composed from sound acyclic graphs, repeat-and while-loops.  ...  We would like to thank Alistair Barros and the other members of the BPMN 2.0 RFP taskforce, in particular Matthias Kloppmann and Stephen A.  ... 
doi:10.1007/978-3-642-15618-2_21 fatcat:rgsg3giewzfs7f2xzcjjtf7qea

An Alternative Way to Analyze Workflow Graphs [chapter]

W. M. P. van der Aalst, A. Hirnschall, H. M. W. Verbeek
2002 Lecture Notes in Computer Science  
At the CAiSE conference in Heidelberg in 1999, Wasim Sadiq and Maria Orlowska presented an algorithm to verify workflow graphs [19] .  ...  It is shown that the absence of structural conflicts, i.e., deadlocks and lack of synchronization, conforms to soundness of the corresponding WF-net [2] .  ...  -Correctness criterion 2 Lack of synchronization free workflow graphs: A workflow graph is free of lack of synchronization structural conflicts if it does not generate an instance subgraph that contains  ... 
doi:10.1007/3-540-47961-9_37 fatcat:zsiypz3m55hprcbfyu4a5wvlcy

A Survey on Graph Reduction Methods and Applications

Mostafa Aref, Ibrahim Moawad, Marwa Mahmoud
2014 The Egyptian Journal of Language Engineering  
One of recent approaches to achieve the abstractive summary is converting the original text to a graph, reducing this graph, and then converting the reduced graph into summarized text.  ...  In this paper, several approaches for graph reduction are presented. These approaches have different applications in different fields.  ...  This algorithm reduces a cyclic workflow graph to an acyclic workflow graph, and then verifies this acyclic workflow graph. The computational complexity of our algorithm behaves a good performance.  ... 
doi:10.21608/ejle.2014.60011 fatcat:l5ahk6rs75hidgvnrofv5ynesq

Graphical and Logical Formalisms for Business Process Modeling and Verification

Henry H. Bi
2004 Social Science Research Network  
Lack of Synchronization In FIGURE 52, when an XOR-Join vertex C2 is mismatched to an AND-Split vertex c\, lack of synchronization occurs at C2.  ...  and lack of synchronization in process graphs.  ... 
doi:10.2139/ssrn.2634608 fatcat:p3timd5gynbrtgmhc2su5dr3tu

Analysis on demand: Instantaneous soundness checking of industrial business process models

Dirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf
2011 Data & Knowledge Engineering  
We investigated these models for soundness (absence of deadlock and lack of synchronization) using three different approaches: the business process verification tool Woflan, the Petri net model checker  ...  We evaluate the various techniques used by these approaches in terms of their ability of accelerating the check.  ...  Acknowledgements We thank Eric Verbeek for his substantial support in providing a Woflan version for our experiments. Dirk Fahland is funded by the DFG-Graduiertenkolleg "METRIK" (1324).  ... 
doi:10.1016/j.datak.2011.01.004 fatcat:ayo5ajmnnrd5fctbqu3nonpmaq

Efficient lineage tracking for scientific workflows

Thomas Heinis, Gustavo Alonso
2008 Proceedings of the 2008 ACM SIGMOD international conference on Management of data - SIGMOD '08  
In this paper we propose an alternative approach to storing lineage information captured as a workflow process.  ...  We use a space and query efficient interval representation for dependency graphs and show how to transform arbitrary workflow processes into graphs that can be stored using such representation.  ...  The fMRI workflow serves as an example of a small static acyclic workflow which makes use of parallelism to speed up the computation.  ... 
doi:10.1145/1376616.1376716 dblp:conf/sigmod/HeinisA08 fatcat:tjmm6ayslnfzzosiy2f2w5fl3u

Control-Flow-Based Methods to Support the Development of Sound Workflows

Thomas M. Prinz, Course Evaluation Center, Friedrich Schiller University Jena, Am Steiger 3, Haus 1, 07743 Jena, Germany, Wolfram Amme, Research group Program Analysis and Optimization, Friedrich Schiller University Jena, Ernst-Abbe-Platz 2, 07743 Jena, Germany
2021 Complex Systems Informatics and Modeling Quarterly  
Their efficiency and quality is evaluated using a benchmark of over thousand real-world workflows together with two leading state-of-the-art approaches.  ...  The state of the art in workflow verification can detect such behaviors, but gives no indication of causes, does not provide detailed diagnostic information, or is slow.  ...  However, this approach is bound to acyclic workflow graphs, cannot find faults behind other faults, and has an exponential runtime.  ... 
doi:10.7250/csimq.2021-27.01 fatcat:cshdkbooovfbhluyguqiws7q2m

Heterogeneous Hierarchical Workflow Composition

Orcun Yildiz, Jorge Ejarque, Henry Chan, Subramanian Sankaranarayanan, Rosa M. Badia, Tom Peterka
2019 Computing in science & engineering (Print)  
Workflow systems promise scientists an automated end-to-end path from hypothesis to discovery.  ...  For instance, the detection of highly turbulent potentially destructive features in plasma physics simulations requires the in situ coupling of two simulation codes, a compression tool, a feature detection  ...  Department of Energy, Office of Science, Office of Advanced Scientific Computing Research, under contract number DE-AC02-06CH11357, program manager Laura Biven, and by the Spanish Government (SEV2015-0493  ... 
doi:10.1109/mcse.2019.2918766 fatcat:frwdvwfgxrhzrbzl5q6vxl2aw4

An integer programming based approach for verification and diagnosis of workflows

Rik Eshuis, Akhil Kumar
2010 Data & Knowledge Engineering  
Workflow analysis is indispensable to capture modeling errors in workflow designs.  ...  Moreover, the approach is flexible and can be extended to handle a variety of new constraints, as well as to support new workflow patterns.  ...  The constraints encode a correct execution of the workflow graph so that an instance subgraph has no deadlock and no lack of synchronization.  ... 
doi:10.1016/j.datak.2010.03.003 fatcat:frw6n3iiszelve7pyfbfle6guy

The temporal perspective in business process modeling: a survey and research challenges

Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel
2014 Service Oriented Computing and Applications  
This paper presents a survey of the existing approaches to specifying and verifying the temporal perspective in business processes.  ...  Furthermore, this paper provides a critical and comparative analysis of the studied approaches and stands out major challenges to be addressed to substantially enhance the time management in the business  ...  Furthermore, the approach lacks for mechanisms to verify possible conflicting combination of constraints.  ... 
doi:10.1007/s11761-014-0170-x fatcat:g3jruheutfh55p2oco4jlt5dce
« Previous Showing results 1 — 15 out of 1,123 results