Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Modeling Workflows with a Process-View Approach
DASFAA '01 Proceedings of the 7th International Conference on Database Systems for Advanced Applications
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
Business Process Management, Models, Techniques, and Empirical Studies
ICSE '81 Proceedings of the 5th international conference on Software engineering
Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment
Information Technology and Management
Kepler: An Extensible System for Design and Execution of Scientific Workflows
SSDBM '04 Proceedings of the 16th International Conference on Scientific and Statistical Database Management
Systematic Interaction Management in a Workflow View Based Business-to-Business Process Engine
HICSS '05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Volume 07
A Framework for Collecting Provenance in Data-Centric Scientific Workflows
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Constructing customized process views
Data & Knowledge Engineering
A fuzzy model for calculating workflow trust using provenance data
Proceedings of the 15th ACM Mardi Gras conference: From lightweight mash-ups to lambda grids: Understanding the spectrum of distributed computing requirements, applications, tools, infrastructures, interoperability, and the incremental adoption of key capabilities
Provenance in collection-oriented scientific workflows
Concurrency and Computation: Practice & Experience - The First Provenance Challenge
Provenance Services for Distributed Workflows
CCGRID '08 Proceedings of the 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Efficient lineage tracking for scientific workflows
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Provenance and scientific workflows: challenges and opportunities
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Efficient ticket routing by resolution sequence mining
Proceedings of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
EasyTicket: a ticket routing recommendation engine for enterprise problem resolution
Proceedings of the VLDB Endowment
Efficiently discovering critical workflows in scientific explorations
Future Generation Computer Systems
Optimizing user views for workflows
Proceedings of the 12th International Conference on Database Theory
Querying and Managing Provenance through User Views in Scientific Workflows
ICDE '08 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering
WISE: A Workflow Information Search Engine
ICDE '09 Proceedings of the 2009 IEEE International Conference on Data Engineering
Detecting and resolving unsound workflow views for correct provenance analysis
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
WOLVES: achieving correct provenance analysis by detecting and resolving unsound workflow views
Proceedings of the VLDB Endowment
Provenance as dependency analysis
DBPL'07 Proceedings of the 11th international conference on Database programming languages
View-based process visualization
BPM'07 Proceedings of the 5th international conference on Business process management
Searching workflows with hierarchical views
Proceedings of the VLDB Endowment
Workflow model compositions preserving relaxed soundness
BPM'06 Proceedings of the 4th international conference on Business Process Management
Towards a model of provenance and user views in scientific workflows
DILS'06 Proceedings of the Third international conference on Data Integration in the Life Sciences
Hierarchical models of provenance
TaPP'12 Proceedings of the 4th USENIX conference on Theory and Practice of Provenance
Performance evaluation of parallel strategies in public clouds: A study with phylogenomic workflows
Future Generation Computer Systems
A core calculus for provenance
Journal of Computer Security - Security and Trust Principles
Hi-index | 0.00 |
Workflow views abstract groups of tasks in a workflow into high level composite tasks, in order to reuse subworkflows and facilitate provenance analysis. However, unless a view is carefully designed, it may not preserve the dataflow between tasks in the workflow, that is, it may not be sound. Unsound views can be misleading and cause incorrect provenance analysis. This article studies the problem of efficiently identifying and correcting unsound workflow views with minimal changes, and constructing minimal sound and elucidative workflow views with a set of user-specified relevant tasks. In particular, two related problems are investigated. First, given a workflow view, we wish to split each unsound composite task into the minimal number of tasks, such that the resulting view is sound. Second, given a workflow and a set of user specified relevant tasks, we generate a sound view, such that each composite task contains at most one relevant task, and the total number of tasks is minimized. We prove that both problems are NP-hard by reduction from independent set. We then propose two local optimality conditions (weak and strong) for each problem, and design polynomial time algorithms for both problems to meet these conditions. Experiments show that our proposed algorithms are reasonably effective and efficient. The proposed techniques are useful for view analysis/construction for not only workflows, but general networks as well.