Abstract
The integration of time constraints in Inter-Organizational Workflows (IOWs) is an important issue in the workflow research field. Since each partner exposes a limited version of his business process, some information is kept hidden and not visible to all partners. The inter-enterprise business process, however, is obtained by joining all activities and control flows that have relevant roles within the context of the global operation. It should be noted that this composition process does not intrinsically guarantee the satisfaction of any critical deadline constraints that may be imposed by the partners. Obviously, expressing and satisfying time deadlines is important for modern business processes that 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 IOW, based on Time Petri Net models. A method for expressing and publishing sensible time deadlines, by the partners, is given. We also give a systematic method assuring the verification and the consistency of the published time constraints within the context of the global business process, while maintaining the core advantage of CoopFlow, that each partner can keep the critical part of his business process private.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Chebbi, I., Dustdar, S., Tata, S.: The view-based approach to dynamic inter-organizational workflow cooperation. Data Knowl. Eng. 56(2), 139–173 (2006)
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)
Chebbi, I., Tata, S.: Workflow abstraction for privacy preservation. In: Web Information Systems Engineering Workshops, Nancy, France, pp. 166–177 (2007)
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)
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)
Eder, J., Panagos, E.: Managing time in workflow systems. In: Fischer, L. (ed.) Workflow Handbook 2001, pp. 109–132. Future Strategies Inc. (2000)
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)
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)
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)
Klai, K., Tata, S., Desel, J.: Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) Business Process Management. LNCS, vol. 5701, pp. 294–309. Springer, Heidelberg (2009)
Makni, M., Alouane, N.B.H., Yeddes, M., Tata, S.: Modeling time constraints in inter-organizational workflows. In: International Conference on Enterprise Information Systems, Madeira, Portugal (2010)
Merlin, P.M.: A study of the Recoverability of Computing Systems. Technical report \(\sharp\)58 (phd thesis), Computer Science Department, University of California at Irvine (1974)
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)
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)
Toussaint, J., Simonot-Lion, F., Thomesse, J.-P.: Time constraints verification methods based on time petri nets. In: Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems, Washington, DC, USA, p. 262 (1997)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Makni, M., Tata, S., Yeddes, M., Ben Hadj-Alouane, N. (2010). Satisfaction and Coherence of Deadline Constraints in Inter-Organizational Workflows. In: Meersman, R., Dillon, T., Herrero, P. (eds) On the Move to Meaningful Internet Systems: OTM 2010. OTM 2010. Lecture Notes in Computer Science, vol 6426. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16934-2_39
Download citation
DOI: https://doi.org/10.1007/978-3-642-16934-2_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16933-5
Online ISBN: 978-3-642-16934-2
eBook Packages: Computer ScienceComputer Science (R0)