Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Detecting equality of variables in programs
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficiently computing static single assignment form and the control dependence graph
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
Data flow and validation in workflow modelling
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Classifying the Complexity of Constraints Using Finite Algebras
SIAM Journal on Computing
Evaluating the Process Control-Flow Complexity Measure
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Formulating the Data-Flow Perspective for Business Process Management
Information Systems Research
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
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:
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Increasing tree search efficiency for constraint satisfaction problems
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Soundness of Workflow Nets with Reset Arcs
Transactions on Petri Nets and Other Models of Concurrency III
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
The time complexity of constraint satisfaction
IWPEC'08 Proceedings of the 3rd international conference on Parameterized and exact computation
An integer programming based approach for verification and diagnosis of workflows
Data & Knowledge Engineering
A graph model of data and workflow provenance
TAPP'10 Proceedings of the 2nd conference on Theory and practice of provenance
Soundness of workflow nets: classification, decidability, and analysis
Formal Aspects of Computing
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part II
BPMN: An introduction to the standard
Computer Standards & Interfaces
Monitoring business process compliance using compliance rule graphs
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Ensuring correctness during process configuration via partner synthesis
Information Systems
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences
An operational decision support framework for monitoring business constraints
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
A pattern-based approach for the verification of business process descriptions
Information and Software Technology
Hi-index | 0.00 |
To model operational business processes in an accurate way, workflow models need to reference both the control flow and dataflow perspectives. Checking the correctness of such workflow models and giving precise feedback in case of errors is challenging due to the interplay between these different perspectives. In this paper, we propose a fully automated approach for diagnosing correctness of semantic workflow models in which the semantics of activities are specified with pre and postconditions. The control flow and dataflow perspectives of a semantic workflow are modeled in an integrated way using Artificial Intelligence techniques (Integer Programming and Constraint Programming). The approach has been implemented in the DiagFlow tool, which reads and diagnoses annotated XPDL models, using a state-of-the-art constraint solver as back end. Using this novel approach, complex semantic workflow models can be verified and diagnosed in an efficient way.