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.

References

  1. Amirreza, T. N. and Eder, J. (2008). Temporal consistency of view based interorganizational workflows. In 2nd International United Information Systems Conference, pages 96-107, Klagenfurt, Austria.
  2. Benatallah, B., Ponge, J., and Toumani, F. (2005). On temporal abstractions of web services protocols. In CAiSE Short Paper Proceedings, Porto, Portugal.
  3. Berthomieu, B. and Diaz, M. (1991). Modeling and verification of time dependent systems using time petri nets. IEEE Transactions on Software Engineering, 17(3):259-273.
  4. Berthomieu, B. and Menasche, M. (1983). An enumerative approach for analyzing time petri nets. In Proceedings IFIP, pages 41-46, Paris. Elsevier Science Publishers.
  5. Berthomieu, B. and Vernadat, F. (2006). Time petri nets analysis with tina. In QEST: Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), pages 123-124, Riverside, California, USA.
  6. Chebbi, I., Dustdar, S., and Tata, S. (2006). The viewbased approach to dynamic inter-organizational workflow cooperation. Data Knowl. Eng., 56(2):139-173.
  7. Chebbi, I. and Tata, S. (2005). CoopFlow: A framework for inter-organizational workflow cooperation. In On the Move to Meaningful Internet Systems Conferences, pages 112-129, Agia Napa, Cyprus.
  8. Chebbi, I. and Tata, S. (2007). Workflow abstraction for privacy preservation. In Web Information Systems Engineering Workshops, pages 166-177, Nancy, France.
  9. Diaz, G., Navarro, E., Cambronero, M.-E., Valero, V., and Cuartero, F. (2007). Testing time goal-driven requirements with model checking techniques. In ECBS 7807: Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, pages 503-514, Washington, DC, USA.
  10. Eder, J., Gruber, W., and Panagos, E. (2000). Temporal modeling of workflows with conditional execution paths. In DEXA 7800: Proceedings of the 11th International Conference on Database and Expert Systems Applications, pages 243-253, London, UK. SpringerVerlag.
  11. Eder, J. and Panagos, E. (2000). Managing time in workflow systems. In in Workflow Handbook 2001, Layna Fischer (Ed.), Future Strategies Inc., 2001, pages 109- 132.
  12. Godary, K. (2008). Lpt : Little parametric tool, outil pour la validation d'une borne temprelle paramétrée. Sixième Conférence Internationale Francophone d'Automatique (CIFA'08).
  13. Kazhamiakin, R., Pandya, P., and Pistore, M. (2006). Representation, verification, and computation of timed properties in web. In Proceedings of the IEEE International Conference on Web Services, pages 497-504, Washington, DC, USA.
  14. Klai, K., Tata, S., and Desel, J. (2009). Symbolic abstraction and deadlock-freeness verification of interenterprise processes. In Business Process Management, 7th International Conference, pages 294-309, Ulm, Germany.
  15. Merlin, P. M. (1974). A study of the Recoverability of Computing Systems. Technical report ?58 (phd thesis), Computer Science Department, University of California at Irvine.
  16. Pezze, M. and Young, M. (1999). Time petri : A primer introduction. In Tutorial presented at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications, pages 41-46, Zaragoza, Spain.
  17. Tata, S., Klai, K., and M'Bareck, N. O. A. (2008). Coopflow: A bottom-up approach to workflow cooperation for short-term virtual enterprises. IEEE T. Services Computing, 1(4):214-228.
  18. Toussaint, J., Simonot-Lion, F., and Thomesse, J.-P. (1997). Time constraints verification methods based on time petri nets. In Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems, page 262, Washington, DC, USA.
Download


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