{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:19:47Z","timestamp":1725891587843},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642310713"},{"type":"electronic","value":"9783642310720"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31072-0_14","type":"book-chapter","created":{"date-parts":[[2012,7,2]],"date-time":"2012-07-02T08:22:26Z","timestamp":1341217346000},"page":"195-210","source":"Crossref","is-referenced-by-count":8,"title":["Optimized Time Management for Declarative Workflows"],"prefix":"10.1007","author":[{"given":"Irene","family":"Barba","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Lanz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manfred","family":"Reichert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carmelo","family":"Del Valle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. In: Proc. Communications of the ACM, pp. 832\u2013843 (1983)","DOI":"10.1145\/182.358434"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.artmed.2006.03.007","volume":"38","author":"L. Anselma","year":"2006","unstructured":"Anselma, L., Terenziani, P., Montani, S., Bottrighi, A.: Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines. Artificial Intelligence In Medicine\u00a038, 171\u2013195 (2006)","journal-title":"Artificial Intelligence In Medicine"},{"key":"14_CR3","unstructured":"Barba, I., Del Valle, C.: A Constraint-based Approach for Planning and Scheduling Repeated Activities. In: Proc. COPLAS, pp. 55\u201362 (2011)"},{"key":"14_CR4","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-28108-2_12","volume-title":"Business Process Management Workshops","author":"I. Barba","year":"2012","unstructured":"Barba, I., Weber, B., Del Valle, C.: Supporting the Optimized Execution of Business Processes through Recommendations. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part I. LNBIP, vol.\u00a099, pp. 135\u2013140. Springer, Heidelberg (2012)"},{"issue":"1","key":"14_CR5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1177\/0142331208100099","volume":"32","author":"R. Bart\u00e1k","year":"2010","unstructured":"Bart\u00e1k, R., Cepek, O.: Incremental propagation rules for a precedence graph with optional activities and time windows. Transactions of the Institute of Measurement and Control\u00a032(1), 73\u201396 (2010)","journal-title":"Transactions of the Institute of Measurement and Control"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-642-02976-9_12","volume-title":"Artificial Intelligence in Medicine","author":"A. Bottrighi","year":"2009","unstructured":"Bottrighi, A., Chesani, F., Mello, P., Molino, G., Montali, M., Montani, S., Storari, S., Terenziani, P., Torchio, M.: A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. In: Combi, C., Shahar, Y., Abu-Hanna, A. (eds.) AIME 2009. LNCS, vol.\u00a05651, pp. 91\u201395. Springer, Heidelberg (2009)"},{"key":"14_CR7","unstructured":"Brucker, P., Knust, S.: Complex Scheduling (GOR-Publications). Springer (2006)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Combi, C., Gozzi, M., Juarez, J.M., Oliboni, B.: Conceptual Modeling of Temporal Clinical Workflows. In: Proc. TIME, pp. 70\u201381 (2007)","DOI":"10.1109\/TIME.2007.45"},{"issue":"2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/S0933-3657(02)00011-8","volume":"25","author":"G. Duftschmid","year":"2002","unstructured":"Duftschmid, G., Miksch, S., Gall, W.: Verification of temporal scheduling constraints in clinical practice guidelines. Artificial Intelligence In Medicine\u00a025(2), 93\u2013121 (2002)","journal-title":"Artificial Intelligence In Medicine"},{"key":"14_CR10","unstructured":"Dynadec. Comet Downloads (2010), \n                      \n                        http:\/\/dynadec.com\/support\/downloads\/\n                      \n                      \n                     (accessed October 3, 2011)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-44895-0_15","volume-title":"Business Process Management","author":"J. Eder","year":"2003","unstructured":"Eder, J., Pichler, H., Gruber, W., Ninaus, M.: Personal Schedules for Workflow Systems. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 216\u2013231. Springer, Heidelberg (2003)"},{"key":"14_CR12","volume-title":"Guidelines for clinical practice: from development to use","author":"M.J. Field","year":"1992","unstructured":"Field, M.J., Lohr, K.N.: Guidelines for clinical practice: from development to use. National Academy Press, Institute of Medicine, Washington, D.C (1992)"},{"key":"14_CR13","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., New York (1979)"},{"key":"14_CR14","volume-title":"Automated Planning: Theory and Practice","author":"M. Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, Amsterdam (2004)"},{"key":"14_CR15","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-28115-0_19","volume-title":"Business Process Management Workshops","author":"M.A. Grando","year":"2012","unstructured":"Grando, M.A., van der Aalst, W.M.P., Mans, R.S.: Reusing a Declarative Specification to Check the Conformance of Different CIGs. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol.\u00a0100, pp. 188\u2013199. Springer, Heidelberg (2012)"},{"key":"14_CR16","series-title":"LNBIP","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., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Ukor, R. (eds.) BPMDS 2010 and EMMSAD 2010. LNBIP, vol.\u00a050, pp. 94\u2013107. Springer, Heidelberg (2010)"},{"key":"14_CR17","unstructured":"Le Pape, C., Couronne, P., Vergamini, D., Gosselin, V.: Time-versus-capacity compromises in project scheduling. In: Proc. PlanSIG, pp. 498\u2013502 (1994)"},{"issue":"1","key":"14_CR18","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.datak.2006.04.007","volume":"61","author":"R. Lenz","year":"2007","unstructured":"Lenz, R., Reichert, M.: IT support for healthcare processes - premises, challenges, perspectives. Data & Knowledge Engineering\u00a061(1), 39\u201358 (2007)","journal-title":"Data & Knowledge Engineering"},{"key":"14_CR19","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-642-01190-0_13","volume-title":"Business Information Systems","author":"R. Lu","year":"2009","unstructured":"Lu, R., Sadiq, S., Governatori, G., Yang, X.: Defining Adaptation Constraints for Business Process Variants. In: Abramowicz, W. (ed.) BIS 2009. LNBIP, vol.\u00a021, pp. 145\u2013156. Springer, Heidelberg (2009)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Montali, M.: Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach. PhD thesis, Department of Electronics, Computer Science and Telecommunications Engineering. University of Bologna (2009)","DOI":"10.1007\/978-3-642-14538-4_8"},{"key":"14_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-540-78238-4_35","volume-title":"Business Process Management Workshops","author":"N. Mulyar","year":"2008","unstructured":"Mulyar, N., Pesic, M., van der Aalst, W.M.P., Peleg, M.: Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol.\u00a04928, pp. 335\u2013346. Springer, Heidelberg (2008)"},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1197\/jamia.M2389","volume":"14","author":"N. Mulyar","year":"2007","unstructured":"Mulyar, N., van der Aalst, W.M.P., Peleg, M.: A pattern-based analysis of clinical computer-interpretable guideline modelling languages. Journal of the American Medical Informatics Association\u00a014, 781\u2013787 (2007)","journal-title":"Journal of the American Medical Informatics Association"},{"issue":"1","key":"14_CR23","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1197\/jamia.M1135","volume":"10","author":"M. Peleg","year":"2003","unstructured":"Peleg, M., et al.: Comparing computer-interpretable guideline models: A case-study approach. Journal of the American Medical Informatics Association\u00a010(1), 52\u201368 (2003)","journal-title":"Journal of the American Medical Informatics Association"},{"key":"14_CR24","unstructured":"Pesic, M.: Constraint-Based Workflow Management Systems: Shifting Control to Users. PhD thesis, Technische Universiteit Eindhoven, Eindhoven (2008)"},{"key":"14_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-76848-7_7","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"M. Pesic","year":"2007","unstructured":"Pesic, M., Schonenberg, M.H., Sidorova, N., van der Aalst, W.M.P.: Constraint-Based Workflow Models: Change Made Easy. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 77\u201394. Springer, Heidelberg (2007)"},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-22218-4_2","volume-title":"Artificial Intelligence in Medicine","author":"M. Reichert","year":"2011","unstructured":"Reichert, M.: What BPM Technology Can Do for Healthcare Process Support. In: Peleg, M., Lavra\u010d, N., Combi, C. (eds.) AIME 2011. LNCS, vol.\u00a06747, pp. 2\u201313. Springer, Heidelberg (2011)"},{"key":"14_CR27","unstructured":"Rossi, F., van Beek, P., Walsh, T. (eds.): Handbook of Constraint Programming. Elsevier (2006)"},{"issue":"1","key":"14_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10845-008-0188-z","volume":"21","author":"M.A. Salido","year":"2010","unstructured":"Salido, M.A.: Introduction to planning, scheduling and constraint satisfaction. Journal of Intelligent Manufacturing\u00a021(1), 1\u20134 (2010)","journal-title":"Journal of Intelligent Manufacturing"},{"issue":"1\/2","key":"14_CR29","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0004-3702(96)00025-2","volume":"90","author":"Y. Shahar","year":"1997","unstructured":"Shahar, Y.: A framework for knowledge-based temporal abstraction. Artificial Intelligence\u00a090(1\/2), 79\u2013133 (1997)","journal-title":"Artificial Intelligence"},{"key":"14_CR30","unstructured":"ten Teije, A., Miksch, S., Lucas, P.: Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. IOS Press (2008)"},{"issue":"2","key":"14_CR31","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1016\/j.is.2010.09.001","volume":"36","author":"W.M.P. Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P., Schonenberg, M.H., Song, M.: Time prediction based on process mining. Information Systems\u00a036(2), 450\u2013475 (2011)","journal-title":"Information Systems"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31072-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T15:07:48Z","timestamp":1556896068000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31072-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642310713","9783642310720"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31072-0_14","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2012]]}}}