Satisfaction and coherence of deadline constraints in inter-organizational workflows

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6426 LNCS, Issue PART 1, 2010, Pages 523-539

  Makni, Mouna ^a,b   Tata, Samir ^a   Yeddes, Moez ^c   Hadj Alouane, Nejib Ben ^b  

^a INSTITUT TELECOM   (France)

^b UNIVERSITY OF TUNIS EL MANAR   (Tunisia)

^c UNIVERSITY OF MANOUBA   (Tunisia)

Author keywords

Deadline constraints; Inter organizational; Time modeling; Time petri net; Workflows

Indexed keywords

DEADLINE CONSTRAINT; INTER-ORGANIZATIONAL; TIME MODELING; TIME PETRI NETS; WORK-FLOWS; TIME MODEL;

COMPETITION; GRAPH THEORY; INTERNET; PETRI NETS;

MANAGEMENT; COMPETITION;

EID: 78650091542     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16934-2_39     Document Type: Conference Paper

References (17)

1. Amirreza, T.N., Eder, J.: Temporal consistency of view based interorganizational workflows. In: 2nd International United Information Systems Conference, Klagenfurt, Austria, pp. 96-107 (2008)
2. Chebbi, I., Dustdar, S., Tata, S.: The view-based approach to dynamic inter-organizational workflow cooperation. Data Knowl. Eng. 56(2), 139-173 (2006)
3. Chebbi, I., Tata, S.: Coopflow: A framework for inter-organizational workflow cooperation. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 112-129. Springer, Heidelberg (2005) (Pubitemid 43734300)
4. Chebbi, I., Tata, S.:Workflow abstraction for privacy preservation. In:Web Information Systems Engineering Workshops, Nancy, France, pp. 166-177 (2007)
5. Diaz, G., Navarro, E., Cambronero, M.-E., Valero, V., Cuartero, F.: Testing time goal-driven requirements with model checking techniques. In: ECBS 2007: Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Washington, DC, USA, pp. 503-514 (2007)
6. Ede, J., Gruber, W., Panagos, E.: Temporal modeling of workflows with conditional execution paths. In: Ibrahim, M., Küng, J., Revell, N. (eds.) DEXA 2000. LNCS, vol. 1873, pp. 243-253. Springer, Heidelberg (2000)
7. Eder, J., Panagos, E.: Managing time in workflow systems. In: Fischer, L. (ed.) Workflow Handbook 2001, pp. 109-132. Future Strategies Inc. (2000)
8. Eder, J., Tahamtan, A.: Temporal conformance of federated choreographies. In: Bhowmick, S.S., Küng, J., Wagner, R. (eds.) DEXA 2008. LNCS, vol. 5181, pp. 668-675. Springer, Heidelberg (2008)
9. Godary, K.: Lpt: Little parametric tool, outil pour la validation d'une borne temprelle paramétrée. In: Sixième Conférence Internationale Francophone d'Automatique, CIFA 2008 (2008)
10. Kazhamiakin, R., Pandya, P., Pistore, M.: Representation, verification, and computation of timed properties in web. In: Proceedings of the IEEE International Conference on Web Services, Washington, DC, USA, pp. 497-504 (2006)
11. Klai, K., Tata, S., Desel, J.: Symbolic abstraction and deadlock-freeness verification of interenterprise processes. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) Business Process Management. LNCS, vol. 5701, pp. 294-309. Springer, Heidelberg (2009)
12. Makni, M., Alouane, N.B.H., Yeddes, M., Tata, S.: Modeling time constraints in interorganizational workflows. In: International Conference on Enterprise Information Systems, Madeira, Portugal (2010)
13. Merlin, P.M.: A study of the Recoverability of Computing Systems. Technical report #58 (phd thesis), Computer Science Department, University of California at Irvine (1974)
14. Pezze, M., Young, M.: Time petri: A primer introduction. In: Tutorial Presented at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications, Zaragoza, Spain, pp. 41-46 (1999)
15. Tata, S., Klai, K., M'Bareck, N.O.A.: Coopflow: A bottom-up approach to workflow cooperation for short-term virtual enterprises. IEEE T. Services Computing 1(4), 214-228 (2008)
16. Toussaint, J., Simonot-Lion, F., Thomesse, J.-P.: Time constraints verification methods based on time petri nets. In: Proceedings of the 6th IEEEWorkshop on Future Trends of Distributed Computing Systems, Washington, DC, USA, p. 262 (1997)
17. van der Aalst, W.M.P.: The application of petri nets to workflow management. Journal of Circuits, Systems, and Computers 8(1), 21-66 (1998)