Temporal Modeling of Workflows with Conditional Execution Paths
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Time Constraints Verification Methods Based on Time Petri Nets
FTDCS '97 Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
The view-based approach to dynamic inter-organizational workflow cooperation
Data & Knowledge Engineering
Representation, Verification, and Computation of Timed Properties in Web
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Testing Time Goal-Driven Requirements with Model Checking Techniques
ECBS '07 Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems
Temporal Conformance of Federated Choreographies
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
CoopFlow: A Bottom-Up Approach to Workflow Cooperation for Short-Term Virtual Enterprises
IEEE Transactions on Services Computing
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Workflow abstraction for privacy preservation
WISE'07 Proceedings of the 2007 international conference on Web information systems engineering
CoopFlow: a framework for inter-organizational workflow cooperation
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Toward a Time-centric modeling of Business Processes in BPMN 2.0
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Information and Software Technology
Hi-index | 0.00 |
The integration of time constraints in Inter-Organizational Workflows (IOWs) is an important issue in the workflow research field. Since each partner exposes a limited version of his business process, some information is kept hidden and not visible to all partners. The inter-enterprise business process, however, is obtained by joining all activities and control flows that have relevant roles within the context of the global operation. It should be noted that this composition process does not intrinsically guarantee the satisfaction of any critical deadline constraints that may be imposed by the partners. Obviously, expressing and satisfying time deadlines is important for modern business processes that need to be optimized for efficiency and extreme competitiveness. In this paper, we propose a temporal extension to CoopFlow, an existing approach for designing and modeling IOW, based on Time Petri Net models. A method for expressing and publishing sensible time deadlines, by the partners, is given. We also give a systematic method assuring the verification and the consistency of the published time constraints within the context of the global business process, while maintaining the core advantage of CoopFlow, that each partner can keep the critical part of his business process private.