Simulation model verification and validation: increasing the users' confidence
Proceedings of the 29th conference on Winter simulation
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Business process modelling and analysis using discrete-event simulation
Proceedings of the 30th conference on Winter simulation
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Aris-Business Process Modeling
Aris-Business Process Modeling
Software Verification and Validation: A Practitioner's Guide
Software Verification and Validation: A Practitioner's Guide
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Dynamic Verification of Temporal Constraints in Production Workflows
ADC '00 Proceedings of the Australasian Database Conference
Optimistic Distributed Execution of Business Process Models
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 7 - Volume 7
Formulating the Data-Flow Perspective for Business Process Management
Information Systems Research
Improving process models by discovering decision points
Information Systems
Data description and data access mechanism in distributed workflow system
Proceedings of the 2nd international conference on Scalable information systems
An incremental analysis for resource conflicts to workflow specifications
Journal of Systems and Software
A flexible architecture to build workflows using aspect-oriented concepts
Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Architecting Dependable Systems V
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:
Lightweight query-based analysis of workflow process dependencies
Journal of Systems and Software
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Detecting artifact anomalies in business process specifications with a formal model
Journal of Systems and Software
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
An algebraic algorithm for structural validation of social protocols
BIS'07 Proceedings of the 10th international conference on Business information systems
On Detecting Data Flow Errors in Workflows
Journal of Data and Information Quality (JDIQ)
Constraint-centric workflow change analytics
Decision Support Systems
Automatic generation of a data-centered view of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Reducing complexity of data flow testing in the verification of a IEC-62304 flexible workflow system
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Content-based validation of business process modifications
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Workflow validation framework in distributed engineering environments
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Reducing agent plans to workflows
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
NOW: a workflow language for orchestration in nomadic networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
NOW: Orchestrating services in a nomadic network using a dedicated workflow language
Science of Computer Programming
Satisfying agent goals by executing different task semantics: HTN, OWL-S or plug one yourself
Autonomous Agents and Multi-Agent Systems
Journal of Database Management
Formal workflow design analytics using data flow modeling
Decision Support Systems
Diagnosing correctness of semantic workflow models
Data & Knowledge Engineering
Hi-index | 0.00 |
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, their scope, the order of execution that maintains the overall business process logic, the rules governing the discipline of work list scheduling to performers, identification of time constraints and more. The goal of this paper is to address an important issue in workflows modelling and specification, which is data flow, its modelling, specification and validation. Researchers have neglected this dimension of process analysis for some time, mainly focussing on structural considerations with limited verification checks. In this paper, we identify and justify the importance of data modelling in overall workflows specification and verification. We illustrate and define several potential data flow problems that, if not detected prior to workflow deployment may prevent the process from correct execution, execute process on inconsistent data or even lead to process suspension. A discussion on essential requirements of the workflow data model in order to support data validation is also given.