An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Verification of workflow task structures: A petri-net-based approach
Information Systems
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Distributed and Parallel Databases
On Structured Workflow Modelling
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
What business process modelers can learn from programmers
Science of Computer Programming
The representation, analysis and verification of business processes: a metagraph-based approach
Information Technology and Management
History-based joins: Semantics, soundness and implementation
Data & Knowledge Engineering
Constructing customized process views
Data & Knowledge Engineering
Behavioral analysis of web services for supporting mediated service interoperations
Proceedings of the 10th international conference on Electronic commerce
Refactoring Process Models in Large Process Repositories
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
An Efficient Algorithm for Workflow Graph Structural Verification
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Control and data dependencies in business processes based on semantic business activities
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
From business process models to process-oriented software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Workflow Diagrams Based on Evidence Life Cycles
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
The Triconnected Abstraction of Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Policy-Driven Process Mapping (PDPM): Discovering process models from business policies
Decision Support Systems
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Unveiling Hidden Unstructured Regions in Process Models
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
σ-algorithm: structured workflow process mining through amalgamating temporal workcases
PAKDD'07 Proceedings of the 11th Pacific-Asia conference on Advances in knowledge discovery and data mining
On Detecting Data Flow Errors in Workflows
Journal of Data and Information Quality (JDIQ)
An integer programming based approach for verification and diagnosis of workflows
Data & Knowledge Engineering
Structuring acyclic process models
BPM'10 Proceedings of the 8th international conference on Business process management
Verifying mediated service interactions considering expected behaviours
Journal of Network and Computer Applications
The NestFlow interpretation of workflow control-flow patterns
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
A model-driven workflow fragmentation framework for collaborative workflow architectures and systems
Journal of Network and Computer Applications
Structured service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
History-based joins: semantics, soundness and implementation
BPM'06 Proceedings of the 4th international conference on Business Process Management
BPMN process views construction
DASFAA'10 Proceedings of the 15th international conference on Database Systems for Advanced Applications - Volume Part I
Proceedings of the 5th India Software Engineering Conference
Translating standard process models to BPEL
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Structuring acyclic process models
Information Systems
Journal of Computer Science and Technology - Special issue on Natural Language Processing
Understanding business process models: the costs and benefits of structuredness
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Synthesizing object life cycles from business process models
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Formal workflow design analytics using data flow modeling
Decision Support Systems
Integrating process modelling into multi-agent system engineering
Multiagent and Grid Systems - Development of service-based and agent-based computing systems
Hi-index | 0.00 |
Most workflow tools support structured workflows despite the fact that unstructured workflows can be more expressive. The reason for this is that unstructured workflows are more prone to errors. In this paper, we describe a taxonomy that serves as a framework for analyzing unstructured workflows. The taxonomy organizes unstructured workflows in terms of two considerations: improper nesting and mismatched split-join pairs. Based on this taxonomy we characterize situations that are well-behaved and others that are not. We also discuss well-behaved unstructured workflows that have equivalent structured mappings. Finally, we also introduce a relaxed notion of correctness called quasi-equivalence that is based on one-directional bisimulation. The results of our research will be useful for researchers investigating expressiveness and correctness issues in unstructured workflows.