{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:12:16Z","timestamp":1760202736243,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030013905"},{"type":"electronic","value":"9783030013912"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-01391-2_19","type":"book-chapter","created":{"date-parts":[[2018,10,12]],"date-time":"2018-10-12T05:02:22Z","timestamp":1539320542000},"page":"119-133","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Expressiveness of Temporal Constraints for Process Models"],"prefix":"10.1007","author":[{"given":"Johann","family":"Eder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Franceschetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julius","family":"K\u00f6pke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anja","family":"Oberrauner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,13]]},"reference":[{"issue":"3","key":"19_CR1","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1023\/A:1014048800604","volume":"11","author":"C Bettini","year":"2002","unstructured":"Bettini, C., Wang, X., Jajodia, S.: Temporal reasoning in workflow systems. Distrib. Parallel Databases 11(3), 269\u2013306 (2002)","journal-title":"Distrib. Parallel Databases"},{"unstructured":"Cairo, M., Rizzi, R.: Dynamic controllability made simple. In: 24th International Symposium on Temporal Representation and Reasoning (2017)","key":"19_CR2"},{"doi-asserted-by":"crossref","unstructured":"Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: Toward a time-centric modeling of business processes in BPMN 2.0. In: Proceedings of International Conference on Information Integration and Web-based Applications and Services, p. 154. ACM (2013)","key":"19_CR3","DOI":"10.1145\/2539150.2539182"},{"issue":"1","key":"19_CR4","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s11761-014-0170-x","volume":"9","author":"S Cheikhrouhou","year":"2015","unstructured":"Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: The temporal perspective in business process modeling: a survey and research challenges. Serv. Oriented Comput. Appl. 9(1), 75\u201385 (2015)","journal-title":"Serv. Oriented Comput. Appl."},{"key":"19_CR5","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/978-3-662-44440-5_19","volume-title":"Agents and Artificial Intelligence","author":"C Combi","year":"2014","unstructured":"Combi, C., Hunsberger, L., Posenato, R.: An algorithm for checking the dynamic controllability of a conditional simple temporal network with uncertainty-revisited. In: Filipe, J., Fred, A. (eds.) ICAART 2013. CCIS, vol. 449, pp. 314\u2013331. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44440-5_19"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-03848-8_6","volume-title":"Business Process Management","author":"C Combi","year":"2009","unstructured":"Combi, C., Posenato, R.: Controllability in temporal conceptual workflow schemata. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 64\u201379. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03848-8_6"},{"doi-asserted-by":"crossref","unstructured":"Combi, C., Posenato, R.: Towards temporal controllabilities for workflow schemata. In: 2010 17th International Symposium on Temporal Representation and Reasoning (TIME), pp. 129\u2013136. IEEE (2010)","key":"19_CR7","DOI":"10.1109\/TIME.2010.17"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-39648-2_8","volume-title":"Conceptual Modeling - ER 2003","author":"C Combi","year":"2003","unstructured":"Combi, C., Pozzi, G.: Temporal conceptual modelling of workflows. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 59\u201376. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39648-2_8"},{"issue":"1\u20133","key":"19_CR9","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R Dechter","year":"1991","unstructured":"Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artif. Intell. 49(1\u20133), 61\u201395 (1991)","journal-title":"Artif. Intell."},{"key":"19_CR10","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 Eder","year":"2000","unstructured":"Eder, 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. 1873, pp. 243\u2013253. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44469-6_23"},{"key":"19_CR11","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.: Time constraints in workflow systems. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 286\u2013300. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48738-7_22"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-36926-1_16","volume-title":"Seminal Contributions to Information Systems Engineering","author":"J Eder","year":"2013","unstructured":"Eder, J., Panagos, E., Rabinovich, M.: Workflow time management revisited. In: Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C., S\u00f8vberg, A. (eds.) Seminal Contributions to Information Systems Engineering, pp. 207\u2013213. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36926-1_16"},{"key":"19_CR13","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-642-00328-8_45","volume-title":"Business Process Management Workshops","author":"J Eder","year":"2009","unstructured":"Eder, J., Pichler, H., Tahamtan, A.: Probabilistic time management of choreographies. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008. LNBIP, vol. 17, pp. 443\u2013454. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00328-8_45"},{"key":"19_CR14","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-319-39429-9_11","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"A Lanz","year":"2016","unstructured":"Lanz, A., Posenato, R., Combi, C., Reichert, M.: Controlling time-awareness in modularized processes. In: Schmidt, R., Gu\u00e9dria, W., Bider, I., Guerreiro, S. (eds.) BPMDS\/EMMSAD -2016. LNBIP, vol. 248, pp. 157\u2013172. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39429-9_11"},{"key":"19_CR15","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.is.2015.10.002","volume":"57","author":"A Lanz","year":"2016","unstructured":"Lanz, A., Reichert, M., Weber, B.: Process time patterns: a formal foundation. Inf. Syst. 57, 38\u201368 (2016)","journal-title":"Inf. Syst."},{"key":"19_CR16","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-13051-9_9","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"A Lanz","year":"2010","unstructured":"Lanz, A., Weber, B., Reichert, M.: Workflow time patterns for process-aware information systems. In: Bider, I., et al. (eds.) BPMDS\/EMMSAD -2010. LNBIP, vol. 50, pp. 94\u2013107. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-13051-9_9"},{"issue":"2","key":"19_CR17","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF03325097","volume":"1","author":"O Marjanovic","year":"1999","unstructured":"Marjanovic, O., Orlowska, M.: On modeling and verification of temporal constraints in production workflows. Knowl. Inf. Syst. 1(2), 157\u2013192 (1999)","journal-title":"Knowl. Inf. Syst."},{"unstructured":"Oberrauner, A.: Expressiveness of temporal constraints in process models. Master\u2019s thesis, Alpen-Adria-Universitaet Klagenfurt, Austria (2018)","key":"19_CR18"},{"issue":"1","key":"19_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"WMP van der Aalst","year":"2003","unstructured":"van der Aalst, W.M.P., Ter Hofstede, A.H., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5\u201351 (2003)","journal-title":"Distrib. Parallel Databases"},{"issue":"1","key":"19_CR20","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1080\/095281399146607","volume":"11","author":"T Vidal","year":"1999","unstructured":"Vidal, T.: Handling contingency in temporal constraint networks: from consistency to controllabilities. J. Exp. Theor. Artif. Intell. 11(1), 23\u201345 (1999)","journal-title":"J. Exp. Theor. Artif. Intell."},{"unstructured":"Vidal, T., Ghallab, M.: Dealing with uncertain durations in temporal constraint networks dedicated to planning. In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI 1996), pp. 48\u201354. PITMAN (1996)","key":"19_CR21"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-01391-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T12:35:25Z","timestamp":1710333325000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-01391-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030013905","9783030013912"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-01391-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"13 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ER","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Conceptual Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Xi'an","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"er2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.nwpu-bioinformatics.com\/ER2018\/index.php#content","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}