{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:55:25Z","timestamp":1725569725039},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642169335"},{"type":"electronic","value":"9783642169342"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16934-2_39","type":"book-chapter","created":{"date-parts":[[2010,11,5]],"date-time":"2010-11-05T14:15:39Z","timestamp":1288966539000},"page":"523-539","source":"Crossref","is-referenced-by-count":9,"title":["Satisfaction and Coherence of Deadline Constraints in Inter-Organizational Workflows"],"prefix":"10.1007","author":[{"given":"Mouna","family":"Makni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samir","family":"Tata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moez","family":"Yeddes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nejib","family":"Ben Hadj-Alouane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"39_CR1","doi-asserted-by":"crossref","unstructured":"Amirreza, T.N., Eder, J.: Temporal consistency of view based interorganizational workflows. In: 2nd International United Information Systems Conference, Klagenfurt, Austria, pp. 96\u2013107 (2008)","DOI":"10.1007\/978-3-540-78942-0_11"},{"issue":"2","key":"39_CR2","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.datak.2005.03.008","volume":"56","author":"I. Chebbi","year":"2006","unstructured":"Chebbi, I., Dustdar, S., Tata, S.: The view-based approach to dynamic inter-organizational workflow cooperation. Data Knowl. Eng.\u00a056(2), 139\u2013173 (2006)","journal-title":"Data Knowl. Eng."},{"key":"39_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/11575771_10","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"I. Chebbi","year":"2005","unstructured":"Chebbi, I., Tata, S.: Coopflow: A framework for inter-organizational workflow cooperation. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol.\u00a03760, pp. 112\u2013129. Springer, Heidelberg (2005)"},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"Chebbi, I., Tata, S.: Workflow abstraction for privacy preservation. In: Web Information Systems Engineering Workshops, Nancy, France, pp. 166\u2013177 (2007)","DOI":"10.1007\/978-3-540-77010-7_17"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"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\u2013514 (2007)","DOI":"10.1109\/ECBS.2007.70"},{"key":"39_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-44469-6_23","volume-title":"Database and Expert Systems Applications","author":"J. Ede","year":"2000","unstructured":"Ede, J., Gruber, W., Panagos, E.: Temporal modeling of workflows with conditional execution paths. In: Ibrahim, M., K\u00fcng, J., Revell, N. (eds.) DEXA 2000. LNCS, vol.\u00a01873, pp. 243\u2013253. Springer, Heidelberg (2000)"},{"key":"39_CR7","unstructured":"Eder, J., Panagos, E.: Managing time in workflow systems. In: Fischer, L. (ed.) Workflow Handbook 2001, pp. 109\u2013132. Future Strategies Inc. (2000)"},{"key":"39_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1007\/978-3-540-85654-2_57","volume-title":"Database and Expert Systems Applications","author":"J. Eder","year":"2008","unstructured":"Eder, J., Tahamtan, A.: Temporal conformance of federated choreographies. In: Bhowmick, S.S., K\u00fcng, J., Wagner, R. (eds.) DEXA 2008. LNCS, vol.\u00a05181, pp. 668\u2013675. Springer, Heidelberg (2008)"},{"key":"39_CR9","unstructured":"Godary, K.: Lpt: Little parametric tool, outil pour la validation d\u2019une borne temprelle param\u00e9tr\u00e9e. In: Sixi\u00e8me Conf\u00e9rence Internationale Francophone d\u2019Automatique, CIFA 2008 (2008)"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"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\u2013504 (2006)","DOI":"10.1109\/ICWS.2006.112"},{"key":"39_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-642-03848-8_20","volume-title":"Business Process Management","author":"K. Klai","year":"2009","unstructured":"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.\u00a05701, pp. 294\u2013309. Springer, Heidelberg (2009)"},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-642-16934-2_39"},{"key":"39_CR13","unstructured":"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)"},{"key":"39_CR14","unstructured":"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\u201346 (1999)"},{"issue":"4","key":"39_CR15","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1109\/TSC.2008.19","volume":"1","author":"S. Tata","year":"2008","unstructured":"Tata, S., Klai, K., M\u2019Bareck, N.O.A.: Coopflow: A bottom-up approach to workflow cooperation for short-term virtual enterprises. IEEE T. Services Computing\u00a01(4), 214\u2013228 (2008)","journal-title":"IEEE T. Services Computing"},{"key":"39_CR16","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/FTDCS.1997.644736"},{"issue":"1","key":"39_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. Journal of Circuits, Systems, and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16934-2_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,13]],"date-time":"2021-11-13T03:16:29Z","timestamp":1636773389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16934-2_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169335","9783642169342"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16934-2_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}