{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T02:51:59Z","timestamp":1761706319649,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662453902"},{"type":"electronic","value":"9783662453919"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45391-9_24","type":"book-chapter","created":{"date-parts":[[2014,10,10]],"date-time":"2014-10-10T00:01:44Z","timestamp":1412899304000},"page":"351-358","source":"Crossref","is-referenced-by-count":3,"title":["On Enabling Time-Aware Consistency of Collaborative Cross-Organisational Business Processes"],"prefix":"10.1007","author":[{"given":"Saoussen","family":"Cheikhrouhou","sequence":"first","affiliation":[]},{"given":"Slim","family":"Kallel","sequence":"additional","affiliation":[]},{"given":"Nawal","family":"Guermouche","sequence":"additional","affiliation":[]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-48738-7_22","volume-title":"Advanced Information Systems Engineering","author":"J. Eder","year":"1999","unstructured":"Eder, J., Panagos, E., Rabinovich, M.I.: Time Constraints in Workflow Systems. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol.\u00a01626, pp. 286\u2013300. Springer, Heidelberg (1999)"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Eder, J., Tahamtan, A.: Temporal Consistency of View Based Interorganizational Workflows. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds.) Synchronization Techniques for Chaotic Commun. Syst. LNBIP, vol.\u00a05, pp. 96\u2013107. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-78942-0_11"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-45341-5_10","volume-title":"Advanced Information Systems Engineering","author":"W.M.P. Aalst van der","year":"2001","unstructured":"van der Aalst, W.M.P., Weske, M.: The P2P Approach to Interorganizational Workflows. In: Dittrich, K.R., Geppert, A., Norrie, M. C. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, pp. 140\u2013156. Springer, Heidelberg (2001)"},{"issue":"11","key":"24_CR4","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Communications of the ACM"},{"key":"24_CR5","unstructured":"Bettini, C., Wang, X.S., Jajodia, S.: Temporal Reasoning in Workflow Systems. Distributed and Parallel Databases (2002)"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1007\/978-3-642-17358-5_45","volume-title":"Service-Oriented Computing","author":"N. Guermouche","year":"2010","unstructured":"Guermouche, N., Godart, C.: Timed Conversational Protocol Based Approach for Web Services Analysis. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol.\u00a06470, pp. 603\u2013611. Springer, Heidelberg (2010)"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Guermouche, N., Godart, C.: Timed model checking based approach for web services analysis. In: ICWS. IEEE CS (2009)","DOI":"10.1109\/ICWS.2009.42"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes. In: Proceedings of the 11th IEEE International Conference on Services Computing (SCC). IEEE Computer Society (2014)","DOI":"10.1109\/SCC.2014.97"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Kallel, S., Charfi, A., Dinkelaker, T., Mezini, M., Jmaiel, M.: Specifying and Monitoring Temporal Properties in Web Services Compositions. In: ECOWS. IEEE CS (2009)","DOI":"10.1109\/ECOWS.2009.15"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Guidara, I., Guermouche, N., Chaari, T., Tazi, S., Jmaiel, M.: Pruning Based Service Selection Approach under Qos and Temporal Constraints. In: ICWS. IEEE CS (2014)","DOI":"10.1109\/ICWS.2014.15"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Du, Y., Tan, W., Zhou, M.: Timed compatibility analysis of web service composition: A modular approach based on petri nets. IEEE Transaction on Automation Science and Engineering (2014)","DOI":"10.1109\/TASE.2013.2253552"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45391-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,26]],"date-time":"2019-10-26T20:09:25Z","timestamp":1572120565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45391-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662453902","9783662453919"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45391-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}