Authors:
Mouna Makni
1
;
Nejib Ben Hadj-Alouane
2
;
Moez Yeddes
3
and
Samir Tata
4
Affiliations:
1
National Engineering School of Tunis; Institut TELECOM, TELECOM SudParis, Tunisia
;
2
National Engineering School of Tunis, Tunisia
;
3
National School of Computer Sciences, Tunisia
;
4
3Institut TELECOM, TELECOM SudParis, France
Keyword(s):
Inter-organizational, Workflows, Time constraints, Time Petri nets, Models.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Business Process Management
;
e-Business
;
Enterprise Engineering
;
Enterprise Information Systems
;
Knowledge Management and Information Sharing
;
Knowledge-Based Systems
;
Symbolic Systems
Abstract:
This paper deals with the integration of temporal constraints within the context of Inter-Organizational Workflows (IOWs). Obviously, expressing and satisfying time deadlines is important for modern business processes, and need to be optimized for efficiency and extreme competitiveness. In this paper, we propose a temporal extension to CoopFlow (Tata et al., 2008), an existing approach for designing and modeling IOWs, based on Time Petri Net models and tools. Methods are given, based on reachability analysis and model checking
techniques, for verifying whether or not the added temporal requirements are satisfied, while maintaining the core advantage of CoopFlow; i.e. that each partner can keep the critical parts of its business process private.