MODELING TIME CONSTRAINTS IN INTER-ORGANIZATIONAL WORKFLOWS

Mouna Makni, Nejib Ben Hadj-Alouane, Moez Yeddes, Samir Tata

2010

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.

Paper Citation

in Harvard Style

Makni M., Ben Hadj-Alouane N., Yeddes M. and Tata S. (2010). MODELING TIME CONSTRAINTS IN INTER-ORGANIZATIONAL WORKFLOWS . In Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-06-5, pages 221-229. DOI: 10.5220/0002902202210229

in Bibtex Style

@conference{iceis10,
author={Mouna Makni and Nejib Ben Hadj-Alouane and Moez Yeddes and Samir Tata},
title={MODELING TIME CONSTRAINTS IN INTER-ORGANIZATIONAL WORKFLOWS},
booktitle={Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2010},
pages={221-229},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002902202210229},
isbn={978-989-8425-06-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - MODELING TIME CONSTRAINTS IN INTER-ORGANIZATIONAL WORKFLOWS
SN - 978-989-8425-06-5
AU - Makni M.
AU - Ben Hadj-Alouane N.
AU - Yeddes M.
AU - Tata S.
PY - 2010
SP - 221
EP - 229
DO - 10.5220/0002902202210229