Behavioral analysis of web services for supporting mediated service interoperations
Proceedings of the 10th international conference on Electronic commerce
He@lthCo-op: a web-based system to support distributed healthcare co-operative work
Computers in Biology and Medicine
A pi-calculus-based business process formal design method
CSCWD'06 Proceedings of the 10th international conference on Computer supported cooperative work in design III
View-based interorganizational workflows
Proceedings of the 12th International Conference on Computer Systems and Technologies
A hybrid approach for generating compatible WS-BPEL partner processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
The socio-organizational age of artificial intelligence in medicine
Artificial Intelligence in Medicine
| Hi-index | 0.00 |
Workflow management systems are a key technology for improving the effectivity and efficiency of businesses processes within one organization. Todays workflow management systems focus on processes which are circumscribed by the bounds of an organization. However, most workflows cross organizational boundaries. Workflows may interact with individual customers, suppliers, subcontractors, and governmental departments. Moreover, phenomena such as electronic commerce, extended enterprises and the Internet stimulate the cooperation between organizations. Therefore, it is interesting to consider workflows distributed over a number of organizations. Interorganizational workflow offers companies the opportunity to re-shape business processes beyond the boundaries of individual organizations. In this paper, we model interorganizational workflows in terms of Petri nets and focus on techniques to verify the correctness of these workflows.