Detection of Ada Static Deadlocks Using Petri Net Invariants
IEEE Transactions on Software Engineering
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Set based program analysis
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
Distributed Operating Systems: The Logical Design
Distributed Operating Systems: The Logical Design
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
Business Process Management, Models, Techniques, and Empirical Studies
Static Analysis of Java Multithreaded and Distributed Applications
PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
XML-Based Schema Definition for Support of Interorganizational Workflow
Information Systems Research
Crossing Organizational Boundaries with Mobile Agents in Electronic Service Markets
Integrated Computer-Aided Engineering
Hi-index | 0.00 |
As the needs for interconnections of processes in different companies or departments are so increasing and companies try to realize business processes across organizational boundaries, the correctness issues of inter-organizational workflow definition is getting more important. In this paper, we develop community process definition language (CPDL) for inter-organizational workflow specification. It is devised to analyze correctness of inter-organizational workflow definition and especially it is used to detect latent communication deadlocks. A new communication deadlock detection technique in the context of interorganizational workflow definition is developed on CPDL using the set based constraint system. Any inter-organizational workflow languages that can be translated into CPDL can detect its communication deadlock using the technique of this paper.