Formal Verification of Ada Programs
IEEE Transactions on Software Engineering
Communications of the ACM - Special issue on analysis and modeling in software development
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
Metagraphs: a tool for modeling decision support systems
Management Science
Dynamic Routing and Operational Controls in Workflow Management Systems
Management Science
KWM: Knowledge-based Workflow Model for Agile Organization
Journal of Intelligent Information Systems
Verification of workflow task structures: A petri-net-based approach
Information Systems
Introduction to Program Verification
Introduction to Program Verification
Workflow Automation: Overview and Research Issues
Information Systems Frontiers
The OCoN Approach to Workflow Modeling in Object-Oriented Systems
Information Systems Frontiers
Software Verification and Validation: An Overview
IEEE Software
SEAM: A State-Entity-Activity-Model for a Well-Defined Workflow Development Methodology
IEEE Transactions on Knowledge and Data Engineering
Workflow support for electronic commerce applications
Decision Support Systems
Distributed and Parallel Databases
A Formal Approach to Workflow Analysis
Information Systems Research
Research Commentary: Workflow Management Issues in e-Business
Information Systems Research
Dynamic Workflow Management: A Framework for Modeling Workflows
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
It Doesn't Matter--Business Processes Do: A Critical Analysis of Nicholas Carr 'S I. T. Article in the Harvard Business Review
Applying Propositional Logic to Workflow Verification
Information Technology and Management
Data flow and validation in workflow modelling
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Experience Based Reasoning for Recognising Fraud and Deception
HIS '04 Proceedings of the Fourth International Conference on Hybrid Intelligent Systems
Strategies for business process reengineering: evidence from field studies
Journal of Management Information Systems - Special section: Toward a theory of business process change management
Data-flow skeleton filled with activities driven workflow design
Proceedings of the 2nd international conference on Ubiquitous information management and communication
Assessment of process improvement from organizational change
Information and Management
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
Consistency Checking for Workflows with an Ontology-Based Data Perspective
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
Policy-Driven Process Mapping (PDPM): Discovering process models from business policies
Decision Support Systems
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
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
Strong non-leak guarantees for workflow models
Proceedings of the 2011 ACM Symposium on Applied Computing
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
InDico: information flow analysis of business processes for confidentiality requirements
STM'10 Proceedings of the 6th international conference on Security and trust management
On the refactoring of activity labels in business process models
Information Systems
Revealing hidden relations among web services using business process knowledge
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
International Journal of Information Management: The Journal for Information Professionals
Managing Data Quality Risk in Accounting Information Systems
Information Systems Research
Data Management and Data Administration: Assessing 25 Years of Practice
Journal of Database Management
Formal workflow design analytics using data flow modeling
Decision Support Systems
Composing workflow activities on the basis of data-flow structures
BPM'13 Proceedings of the 11th international conference on Business Process Management
A Context-Based Approach to Reconciling Data Interpretation Conflicts in Web Services Composition
ACM Transactions on Internet Technology (TOIT)
Diagnosing correctness of semantic workflow models
Data & Knowledge Engineering
Detection of naming convention violations in process models for different languages
Decision Support Systems
Hi-index | 0.00 |
Workflow technology has become a standard solution for managing increasingly complex business processes. Successful business process management depends on effective workflow modeling and analysis. One of the important aspects of workflow analysis is the data-flow perspective because, given a syntactically correct process sequence, errors can still occur during workflow execution due to incorrect data-flow specifications. However, there have been only scant treatments of the data-flow perspective in the literature and no formal methodologies are available for systematically discovering data-flow errors in a workflow model. As an indication of this research gap, existing commercial workflow management systems do not provide tools for data-flow analysis at design time. In this paper, we provide a data-flow perspective for detecting data-flow anomalies such as missing data, redundant data, and potential data conflicts. Our data-flow framework includes two basic components: data-flow specification and data-flow analysis; these components add more analytical rigor to business process management.