Modeling time constraints in inter-organizational workflows

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, 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
Type de document :
Communication dans un congrès
ICEIS 2010 : 12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. Scitepress, Proceedings ICEIS 2010 : 12th International Conference on Enterprise Information Systems, 3, pp.221 - 229, 2010, 〈10.5220/0002902202210229〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01304939
Contributeur : Médiathèque Télécom Sudparis & Télécom Ecole de Management <>
Soumis le : mercredi 20 avril 2016 - 14:45:48
Dernière modification le : jeudi 9 février 2017 - 15:21:59

Identifiants

Collections

Citation

Mouna Makni, Nejib Ben Hadj Alouane, Moez Yeddes, Samir Tata. Modeling time constraints in inter-organizational workflows. ICEIS 2010 : 12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. Scitepress, Proceedings ICEIS 2010 : 12th International Conference on Enterprise Information Systems, 3, pp.221 - 229, 2010, 〈10.5220/0002902202210229〉. 〈hal-01304939〉

Partager

Métriques

Consultations de la notice

79