% Encoding: UTF-8 @String { acmcs = {Comput. Surveys} } @String { acmtpls = {ACM Trans. Progr. Lang. Syst.} } @String { ai = {Acta Inform.} } @String { alg = {Algorithmica} } @String { am = {Ann. of Math. (2)} } @String { aw = {Addison} } @String { bams = {Bull. Amer. Math. Soc. (N.S.)} } @String { baums = {Bull. Austral. Math. Soc.} } @String { blms = {Bull. London Math. Soc.} } @String { cacm = {Comm. ACM} } @String { caise = {CAiSE} } @String { cc = {Comput. Complexity} } @String { compj = {Comput. J.} } @String { cp = {CP} } @String { ctgd = {Cahiers Topologie G{\'e}om. Diff{\'e}rentielle} } @String { cwi = {Centrum voor Wiskunde en Informatica} } @String { dam = {Discrete Appl. Math.} } @String { dc = {Distr. Comput.} } @String { dm = {Discrete Math.} } @String { eatcs = {EATCS Bulletin} } @String { ejc = {Electron. J. Combin.} } @String { ewic = {Electronic Workshops in Computing} } @String { fi = {Fund. Inform.} } @String { ic = {Inform. and Comput.} } @String { ieeecps = {IEEE}} @String { ieeecs = {IEEE Comp. Soc.} } @String { ijast = {Int. Journal of Applied Software Technology} } @String { ijfcs = {Int. J. Found. Comput. Sci.} } @String { ijpp = {Int. J. of Parallel Programming} } @String { ijtcs = {Int. J. Theoret. Comput. Sci.} } @String { im = {Internet Math.} } @String { infoc2 = {Inform. and Control} } @String { ipl = {Inform. Process. Lett.} } @String { jacm = {J. Assoc. Comput. Mach.} } @String { jalg = {J. Algorithms} } @String { jc = {J. Complexity} } @String { jcss = {J. Comput. System Sci.} } @String { jpaa = {J. Pure Appl. Algebra} } @String { jsc = {J. Symbolic Comput.} } @String { jsl = {J. Symbolic Logic} } @String { laa = {Linear Algebra Appl.} } @String { lncs = {LNCS} } @String { lnm = {Lecture Notes in Mathematics} } @String { mams = {Mem. Amer. Math. Soc.} } @String { mscs = {Math. Struct. Comp. Sci.} } @String { mst = {Math. Systems Theory} } @String { pams = {Proc. Amer. Math. Soc.} } @String { plms = {Proc. London Math. Soc.} } @String { ppl = {Parallel Process. Lett.} } @String { prolm2 = {Proc. London Math. Soc. (3)} } @String { rairo = {RAIRO Inform. Th{\'e}or.} } @String { rsmfm = {Rend. Sem. Mat. Fis. Milano} } @String { scp = {Sci. Comput. Programming} } @String { siam = {SIAM J. Comput.} } @String { sijadm = {SIAM J. Algebraic Discrete Methods} } @String { spe = {Software: Practice and Experience} } @String { sv = {Springer} } @String { tams = {Trans. Amer. Math. Soc.} } @String { tcs = {Theor. Comp. Sci.} } @String { time = {TIME} } @String { wic = {Workshops in Computing} } @InProceedings{AalstADH04, Title = {Design and Implementation of the {YAWL} System}, Author = {Wil M. P. van der Aalst and Lachlan Aldred and Marlon Dumas and Arthur H. M. ter Hofstede}, Booktitle = caise, Year = {2004}, Pages = {142-159}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/caise/2004}, Ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3084{\&}spage=142} } @InProceedings{CasatiCPP96, Title = {Semantic Workflow Interoperability}, Author = {Fabio Casati and Stefano Ceri and Barbara Pernici and Giuseppe Pozzi}, Booktitle = {EDBT}, Year = {1996}, Pages = {443-462}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/edbt/96}, Ee = {db/conf/edbt/CasatiCPP96.html} } @InProceedings{CasatiCPP95, Title = {Conceptual Modelling of WorkFlows}, Author = {Fabio Casati and Stefano Ceri and Barbara Pernici and Giuseppe Pozzi}, Booktitle = {OOER}, Year = {1995}, Pages = {341-354}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/er/95}, Ee = {db/conf/er/CasatiCPP95.html} } @InProceedings{CombiG09, Title = {Flaws in the Flow: The Weakness of Unstructured Business Process Modeling Languages Dealing with Data}, Author = {Combi, Carlo and Gambini, Mauro}, Booktitle = {OTM Conf.}, Year = {2009}, Pages = {42-59}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/otm/2009-1}, Ee = {http://dx.doi.org/10.1007/978-3-642-05148-7_6} } @InProceedings{CombiGM11, Title = {The {N}est{F}low Interpretation of Workflow Control-Flow Patterns}, Author = {Carlo Combi and Mauro Gambini and Sara Migliorini}, Booktitle = {ADBIS}, Year = {2011}, Pages = {316-332}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/adbis/2011}, Ee = {http://dx.doi.org/10.1007/978-3-642-23737-9_23} } @InProceedings{CombiGJOP07, Title = {Conceptual Modeling of Temporal Clinical Workflows}, Author = {Carlo Combi and Matteo Gozzi and Jos{\'e} M. Ju{\'a}rez and Barbara Oliboni and Giuseppe Pozzi}, Booktitle = time, Year = {2007}, Pages = {70-81}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/time/2007}, Ee = {http://doi.ieeecomputersociety.org/10.1109/TIME.2007.45} } @InProceedings{CombiP10, Title = {Towards Temporal Controllabilities for Workflow Schemata}, Author = {Carlo Combi and Roberto Posenato}, Booktitle = time, Year = {2010}, Pages = {129-136}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/time/2010}, Ee = {http://dx.doi.org/10.1109/TIME.2010.17} } @InProceedings{CombiP09, Title = {Controllability in Temporal Conceptual Workflow Schemata}, Author = {Carlo Combi and Roberto Posenato}, Booktitle = {BPM}, Year = {2009}, Pages = {64-79}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/bpm/2009}, Ee = {http://dx.doi.org/10.1007/978-3-642-03848-8_6} } @InProceedings{CombiPozzi04, Title = {Architectures for a temporal workflow management system}, Author = {Carlo Combi and Giuseppe Pozzi}, Booktitle = {SAC}, Year = {2004}, Pages = {659-666}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/sac/2004}, Ee = {http://doi.acm.org/10.1145/968040} } @InProceedings{CombiPozzi03, Title = {Temporal Conceptual Modelling of Workflows}, Author = {Carlo Combi and Giuseppe Pozzi}, Booktitle = {ER}, Year = {2003}, Pages = {59-76}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/er/2003}, Ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2813{\&}spage=59} } @InProceedings{CombiPozzi02, Title = {Towards Temporal Information in Workflow Systems}, Author = {Carlo Combi and Giuseppe Pozzi}, Booktitle = {ER (Workshops)}, Year = {2002}, Pages = {13-25}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/er/2002}, Ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2784{\&}spage=13} } @InProceedings{EderG02, Title = {A Meta Model for Structured Workflows Supporting Workflow Transformations}, Author = {Johann Eder and Wolfgang Gruber}, Booktitle = {ADBIS}, Year = {2002}, Pages = {326-339}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/adbis/2002}, Ee = {http://link.springer.de/link/service/series/0558/bibs/2435/24350326.htm} } @InProceedings{EderGP00, Title = {Temporal Modeling of Workflows with Conditional Execution Paths}, Author = {Johann Eder and Wolfgang Gruber and Euthimios Panagos}, Booktitle = {DEXA}, Year = {2000}, Pages = {243-253}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/dexa/2000}, Ee = {http://link.springer.de/link/service/series/0558/bibs/1873/18730243.htm} } @InProceedings{EderPR99, Title = {Time Constraints in Workflow Systems}, Author = {Johann Eder and Euthimios Panagos and Michael Rabinovich}, Booktitle = caise, Year = {1999}, Pages = {286-300}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/caise/1999}, Ee = {http://link.springer.de/link/service/series/0558/bibs/1626/16260286.htm} } @InProceedings{HunsbergerP16Icaps, author = {Luke Hunsberger and Roberto Posenato}, title = {{Checking the Dynamic Consistency of Conditional Temporal Networks with Bounded Reaction Times}}, booktitle = {Proceedings of the 26th International Conference on Automated Planning and Scheduling, {ICAPS} 2016}, year = {2016}, pages = {175--183}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/aips/HunsbergerP16}, OPTcrossref = {DBLP:conf/aips/2016}, url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13108}, } @Misc{Posenato15, author = {Roberto Posenato}, title = {A {CSTN(U)} Consistency Check Algorithm Implementation in {Java}.}, howpublished = {http://profs.scienze.univr.it/$\sim$posenato/software/cstnu}, month = apr, year = {2015} } @Misc{Posenato17, author = {Roberto Posenato}, title = {A {CSTN(U)} Consistency Check Algorithm Implementation in {Java}. Version 1.22}, howpublished = {http://profs.scienze.univr.it/$\sim$posenato/software/cstnu}, month = nov, year = {2017} } @InProceedings{Hunsberger10, Title = {A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks}, Author = {Luke Hunsberger}, Booktitle = {TIME}, Year = {2010}, Pages = {121-128}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/time/2010}, Ee = {http://dx.doi.org/10.1109/TIME.2010.16} } @InProceedings{Hunsberger09, Title = {Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies}, Author = {Luke Hunsberger}, Booktitle = time, Year = {2009}, Pages = {155-162}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/time/2009}, Ee = {http://doi.ieeecomputersociety.org/10.1109/TIME.2009.25} } @InProceedings{LenzR05, Title = {IT Support for Healthcare Processes}, Author = {Richard Lenz and Manfred Reichert}, Booktitle = {BPM}, Year = {2005}, Pages = {354-363}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/bpm/2005}, Ee = {http://dx.doi.org/10.1007/11538394_24} } @InProceedings{Morris06, Title = {A Structural Characterization of Temporal Dynamic Controllability}, Author = {Paul Morris}, Booktitle = {Principles and Practice of Constraint Programming (CP 2006)}, Year = {2006}, Pages = {375--389}, Crossref = {DBLP:conf/cp/2006}, url = {http://dx.doi.org/10.1007/11889205\_28}, doi = {10.1007/11889205\_28}, Volume = {4204}, Publisher = {Springer} } @InProceedings{MorrisMV01, Title = {Dynamic Control Of Plans With Temporal Uncertainty}, Author = {Paul H. Morris and Nicola Muscettola and Thierry Vidal}, Booktitle = {Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01)}, Year = {2001}, Pages = {494-502}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/ijcai/2001} } @InProceedings{Nurcan08, Title = {A Survey on the Flexibility Requirements Related to Business Processes and Modeling Artifacts}, Author = {Selmin Nurcan}, Booktitle = {HICSS}, Year = {2008}, Pages = {378}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/hicss/2008}, Ee = {http://doi.ieeecomputersociety.org/10.1109/HICSS.2008.39} } @InProceedings{AalstHV02, Title = {An Alternative Way to Analyze Workflow Graphs}, Author = {W, M. P. van der Aalst and Alexander Hirnschall and H. M. W. (Eric) Verbeek}, Booktitle = caise, Year = {2002}, Pages = {535-552}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/caise/2002}, Ee = {http://link.springer.de/link/service/series/0558/bibs/2348/23480535.htm} } @InProceedings{ZhaoS99, Title = {Temporal workflow management in a claim handling system}, Author = {J. Leon Zhao and Edward A. Stohr}, Booktitle = {WACC}, Year = {1999}, Pages = {187-195}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Crossref = {DBLP:conf/wacc/1999}, Ee = {http://doi.acm.org/10.1145/295687} } @ARTICLE{CimattiHMPR16, author={Cimatti, A. and Hunsberger, L. and Micheli, A. and Posenato, R. and Roveri, M.}, title={{Dynamic controllability via Timed Game Automata}}, journal={Acta Informatica}, year={2016}, volume={53}, number={6-8}, pages={681-722}, doi={10.1007/s00236-016-0257-2}, url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-84956865277&partnerID=40&md5=c796791aabcedd9b700f4ca652c033cc}, } @InProceedings{CairoEtalTime2017, author = {Massimo Cairo and Luke Hunsberger and Roberto Posenato and Romeo Rizzi}, title = {{A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results}}, booktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)}, year = {2017}, OPTeditor = {Sven Schewe and Thomas Schneider and Jef Wijsen}, volume = {90}, series = {LIPIcs}, pages = {10:1--10:19}, OPTaddress = {Dagstuhl, Germany}, OPTpublisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, doi = {10.4230/LIPIcs.TIME.2017.10}, isbn = {978-3-95977-052-1}, issn = {1868-8969}, opturl = {http://drops.dagstuhl.de/opus/volltexte/2017/7914}, urn = {urn:nbn:de:0030-drops-79145}, } author = {Massimo Cairo and Luke Hunsberger and Roberto Posenato and Romeo Rizzi}, title = {A Streamlined Model of Conditional Simple Temporal Networks}, booktitle = {TIME 2017}, year = {2017}, month = oct, obtbooktitle = {24th International Symposium on Temporal Representation and Reasoning (TIME 2017)} } @InProceedings{CairoCR16, author = {Massimo Cairo and Carlo Comin and Romeo Rizzi}, title = {Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks}, booktitle = {TIME 2016}, year = {2016}, month = oct, optbooktitle = {23rd International Symposium on Temporal Representation and Reasoning (TIME 2016)}, } @InProceedings{time2015, author = {Luke Hunsberger and Roberto Posenato and Carlo Combi}, title = {A Sound-and-Complete Propagation-based Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks}, booktitle = {22st International Symposium on Temporal Representation and Reasoning (TIME 2015)}, pages = {4--18}, year = {2015}, OPTeditor = {Fabio Grandi and Martin Lange and Alessio Lomuscio}, month = sep, doi = {10.1109/TIME.2015.26}, publisher = ieeecps, url = {http://dx.doi.org/10.1109/TIME.2015.26} } @InProceedings{CominR15, Title = {Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: a Singly-Exponential Time DC-Checking}, Author = {Carlo Comin and Romeo Rizzi}, booktitle = {22st International Symposium on Temporal Representation and Reasoning (TIME 2015)}, Year = 2015, OPTeditor = {Fabio Grandi and Martin Lange and Alessio Lomuscio}, month = sep, publisher = {IEEE}, Pages = {19--28}, doi = {10.1109/TIME.2015.18} } @book{norvig-and-russell, Title = {Artificial Intelligence: A Modern Approach}, Author = {Stuart Russell and Peter Norvig}, Year = {2010}, Edition = {3}, Publisher = {Prentice Hall} } @Article{CombiGMP14, author = {Combi, Carlo and Gambini, Mauro and Migliorini, Sara and Posenato, Roberto}, title = {Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways}, journal = {IEEE Trans. Syst., Man, Cybern., Syst.}, year = {2014}, volume = {44}, number = {9}, pages = {1182--1203}, month = sep, doi = {10.1109/TSMC.2014.2300055}, issn = {2168-2216}, keywords = {Business;Computational modeling;Controllability;Data models;Guidelines;Medical treatment;Healthcare systems;information systems;time management;workflow management}, opturl = {http://dx.doi.org/10.1109/TSMC.2014.2300055}, } @InProceedings{Lanz14b, Title = {Enabling Time-Aware Process Support with the ATAPIS Toolset}, Author = {Lanz, Andreas and Reichert, Manfred}, Booktitle = {Proceedings of the BPM Demo Sessions 2014}, Year = {2014}, Editor = {Limonad, Lior and Weber, Barbara}, Pages = {41--45}, optPublisher = {CEUR}, Series = {CEUR Workshop Proceedings}, Volume = {1295} } @InProceedings{MorrisM05, author = {Paul H. Morris and Nicola Muscettola}, title = {Temporal Dynamic Controllability Revisited}, booktitle = {AAAI-05/IAAI-05}, year = {2005}, pages = {1193--1198}, eid = {http://www.aaai.org/Papers/AAAI/2005/AAAI05-189.pdf}, optbooktitle = {The 20th Nat. Conf. on Art. Intell. (AAAI-05)}, optcrossref = {DBLP:conf/aaai/2005}, } @InProceedings{VanDerAalstVHH94, Title = {Modelling Workflow Management Systems with High-Level Petri Nets}, Author = {W. M. P. Van der Aalst and K. M. van Heeand G. J. Houben}, Booktitle = {Proceedings of the 2nd Workshop on Computer-Supported Cooperative Work, Petri-Nets and Related Formalisms}, Year = {1994}, Pages = {31-50} } @Article{alonso, Title = {Functionalities and Limitations of Current Workflow Management Systems}, Author = {G. Alonso and D. Agrawal and El Abbadi and C. Mohan}, Journal = {IBM Research Report}, Year = {1997} } @Article{stemi2004, Title = {{ACC/AHA} Guidelines for the Management of Patients With {ST}-Elevation Myocardial Infarction}, Author = {Elliott M. Antman and {et al.}}, Journal = {Circulation}, Year = {2004}, Number = {5}, Pages = {588--636}, Volume = {110} } @Book{AroraB09, Title = {{Computational complexity: a modern approach}}, Author = {Arora, Sanjeev and Barak, Boaz}, Publisher = {Cambridge Univ. Press}, Year = {2009} } @Article{AvanesF08, Title = {Adaptive workflow scheduling under resource allocation constraints and network dynamics}, Author = {Avanes, Artin and Freytag, Johann-Christoph}, Journal = {Proc. VLDB Endow.}, Year = {2008}, Month = aug, Number = {2}, Pages = {1631--1637}, Volume = {1}, Acmid = {1454238}, ISSN = {2150-8097}, Issue_date = {August 2008}, Numpages = {7}, Publisher = {VLDB Endowment}, Url = {http://dl.acm.org/citation.cfm?id=1454159.1454238} } @Article{BettiniWJ02, Title = {Solving multi-granularity temporal constraint networks}, Author = {Claudio Bettini and Xiaoyang Sean Wang and Sushil Jajodia}, Journal = {Artif. Intell.}, Year = {2002}, Number = {1/2}, Pages = {107-152}, Volume = {140}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {http://dx.doi.org/10.1016/S0004-3702(02)00223-0} } @Article{BettiniWJ02a, Title = {Temporal Reasoning in Workflow Systems}, Author = {Claudio Bettini and Xiaoyang Sean Wang and Sushil Jajodia}, Journal = {Dist. \& Paral. Data.}, Year = {2002}, Number = {3}, Pages = {269--306}, Volume = {11}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Doi = {10.1023/A:1014048800604} } @Article{BettiniWJ98, Title = {A General Framework for Time Granularity and Its Application to Temporal Reasoning}, Author = {Claudio Bettini and Xiaoyang Sean Wang and Sushil Jajodia}, Journal = {Ann. Math. Artif. Intell.}, Year = {1998}, Number = {1-2}, Pages = {29-58}, Volume = {22}, Bibsource = {DBLP, http://dblp.uni-trier.de} } @InProceedings{Bussler98, Title = {Workflow Instance Scheduling with Project Management Tools}, Author = {Christoph Bussler}, Booktitle = {DEXA Workshop}, Year = {1998}, Pages = {753-758}, Bibsource = {DBLP, http://dblp.uni-trier.de} } @Article{CasatiCPP99, Title = {Specification and Implementation of Exceptions in Workflow Management Systems}, Author = {Fabio Casati and Stefano Ceri and Stefano Paraboschi and Giuseppe Pozzi}, Journal = {ACM Trans. Database Syst.}, Year = {1999}, Number = {3}, Pages = {405-451}, Volume = {24}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {db/journals/tods/CasatiCPP99.html, http://doi.acm.org/10.1145/328939.328996} } @Article{CasatiCPP98, Title = {Workflow Evolution}, Author = {Fabio Casati and Stefano Ceri and Barbara Pernici and Giuseppe Pozzi}, Journal = {Data Knowl. Eng.}, Year = {1998}, Number = {3}, Pages = {211-238}, Volume = {24}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {http://dx.doi.org/10.1016/S0169-023X(97)00033-5} } @TechReport{CheikhrouhouKGJ13, Title = {{A Survey on Time-aware Business Process Modeling}}, Author = {Cheikhrouhou, S and Kallel, S and Guermouche, N and Jmaiel, M}, Institution = {Centre pour la Communication Scientifique Directe}, Year = {2013}, Url = {http://hal.archives-ouvertes.fr/hal-00800444/} } @Article{ChenY07, Title = {Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems}, Author = {Jinjun Chen and Yun Yang}, Journal = {ACM Trans. Auton. Adapt. Syst.}, Year = {2007}, Number = {2}, Pages = {6}, Volume = {2}, Address = {New York, NY, USA}, Bdsk-url-1 = {http://doi.acm.org/10.1145/1242060.1242063}, Doi = {http://doi.acm.org/10.1145/1242060.1242063}, ISSN = {1556-4665}, Publisher = {ACM} } @INPROCEEDINGS{CimattiHMPR14, title={Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation}, author={A. Cimatti and L. Hunsberger and A. Micheli and R. Posenato and M. Roveri}, booktitle={21st International Symposium on Temporal Representation and Reasoning (TIME 2014)}, year={2014}, pages={27--36}, month=sep, doi={10.1109/TIME.2014.21}, ISSN={1530-1311}, Publisher = {IEEE} } @Article{CombiGPP11, Title = {Conceptual modeling of flexible temporal workflows}, Author = {Combi, Carlo and Gozzi, Matteo and Posenato, Roberto and Pozzi, Giuseppe}, Journal = {ACM Trans. Auton. Adapt. Syst.}, Year = {2012}, Month = jul, Number = {2}, Pages = {19:1--19:29}, Volume = {7}, Acmid = {2240169}, Address = {New York, NY, USA}, Articleno = {19}, Doi = {10.1145/2240166.2240169}, ISSN = {1556-4665}, Issue_date = {July 2012}, Keywords = {Temporal workflow, flexible workflows, temporal consistency}, Numpages = {29}, Publisher = {ACM} } @InProceedings{CombiHP13, Title = {An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty}, Author = {Carlo Combi and Luke Hunsberger and Roberto Posenato}, Booktitle = {Proceedings of the 5th International Conference on Agents and Artificial Intelligence (ICAART-2013)}, Year = {2013}, OPTEditor = {J. Filipe and A. Fred}, Month = feb, Pages = {144--156}, OPTPublisher = {SCITEPRESS}, Volume = {2}, ISBN = {9789898565389} } @InCollection{CombiHP14, author = {Combi, Carlo and Hunsberger, Luke and Posenato, Roberto}, title = {An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited}, booktitle = {Agents and Artificial Intelligence}, year = {2014}, volume = {449}, series = {CCIS}, pages = {314--331}, doi = {10.1007/978-3-662-44440-5\_19}, isbn = {978-3-662-44439-9}, opteditor = {Joaquim Filipe and Ana Fred}, optpublisher = {Springer}, optseries = {Communications in Computer and Information Science}, } @Book{CombiKPS10, Title = {Temporal Information Systems in Medicine}, Author = {Combi, Carlo and Keravnou-Papailiou, Elpida and Shahar, Yuval}, Publisher = {Springer}, Year = {2010}, Edition = {1st}, ISBN = {1441965424, 9781441965424} } @InProceedings{CombiP06, Title = {Task Scheduling for a TemporalWorkflow Management System}, Author = {Combi, Carlo and Pozzi, Giuseppe}, Booktitle = {Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning}, Year = {2006}, Address = {Washington, DC, USA}, Pages = {61--68}, Publisher = {IEEE Computer Society}, Series = {TIME '06}, Acmid = {1137209}, Doi = {10.1109/TIME.2006.26}, ISBN = {0-7695-2617-9}, Numpages = {8}, Url = {http://dx.doi.org/10.1109/TIME.2006.26} } @Book{conrad10, Title = {Flexible execution of plans with choice and uncertainty}, Author = {Conrad, P.R. and Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics}, Publisher = {MIT, Dept. of Aeron. and Astr.}, Year = {2010}, Url = {http://books.google.it/books?id=QfQBaAEACAAJ} } @Article{ConradW11, Title = {Drake: An Efficient Executive for Temporal Plans with Choice}, Author = {Conrad, Patrick R. and Williams, Brian C.}, Journal = {Journal of Artificial Intelligence Research (JAIR)}, Year = {2011}, Pages = {607-659}, Volume = {42}, url = {http://dx.doi.org/10.1613/jair.3478}, } @Book{Cormen01, Title = {Introduction to Algorithms}, Author = {Thomas H. Cormen and Charles E. Leiserson and Ronald L. Rivest and Clifford Stein}, Publisher = {The MIT Press}, Year = {2001} } @TechReport{adept, Title = {ADEPT - Next Generation Workflow Management System}, Author = {P. Dadam and M. Reichert}, Institution = {ADEPT Project Dept. DBIS.}, Year = {1998} } @Article{Dasdan09, Title = {Provably efficient algorithms for resolving temporal and spatial difference constraint violations}, Author = {Dasdan, Ali}, Journal = {ACM Tran. on Design Aut.of Elect. Sys. (TODAES)}, Year = {2009}, Number = {1}, Pages = {8}, Volume = {14}, Publisher = {ACM} } @Article{DechterMP91, Title = {Temporal Constraint Networks}, Author = {Rina Dechter and Itay Meiri and Judea Pearl}, Journal = {Artificial Intelligence}, Year = {1991}, Number = {1-3}, Pages = {61-95}, Volume = {49}, url = {http://dx.doi.org/10.1016/0004-3702(91)90006-6}, Bibsource = {DBLP, http://dblp.uni-trier.de} } @article{SchwalbD97, author = {Schwalb, E and Dechter, Rina}, title = {{Processing disjunctions in temporal constraint networks}}, journal = {Artificial Intelligence}, year = {1997}, volume = {93}, number = {1-2}, pages = {29--61} } @Article{PanR97, Title = {Reducing Escalation-Related Costs in WFMSs}, Author = {E. Panagos, M. Rabinovic}, Journal = {Advanced Study Institute on Workflow Management Systems and Interoperability}, Year = {1997} } @Article{eckerson, Title = {Case study: The Role of IS in Reengeneering}, Author = {W. Eckerson}, Journal = {Open Information Systems}, Year = {1994}, Number = {2}, Volume = {9} } @InCollection{EderP00, Title = {Managing Time in Workflow Systems}, Author = {Johann Eder and Euthimios Panagos}, Booktitle = {Workflow Handbook 2001}, Publisher = {Workflow Management Coalition (WfMC)}, Year = {2000}, Pages = {109-132} } @InProceedings{EggerW92, Title = {Time-Management: A Case for CSCW}, Author = {Edeltraud Egger and Ina Wagner}, Booktitle = {CSCW}, Year = {1992}, Pages = {249-256}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {http://doi.acm.org/10.1145/143457.143517} } @InBook{GagneT08, Title = {BPM and Workflow Handbook: Spotlight on Human-centric BPM}, Author = {D. Gagn\'e and A. Trudel}, Chapter = {The Temporal Perspective: Expressing Temporal Constraints and Dependencies in Process Models}, Editor = {Layna Fischer}, Pages = {247--260}, Publisher = {Future Strategies, Inc.}, Year = {2008}, Edition = {1st}, Date-modified = {2011-10-22 08:09:10 +0000} } @Book{Garey79, Title = {Computers and Intractability: A Guide to the Theory of NP-Completeness}, Author = {M. R. Garey and D. S. Johnson}, Publisher = {Freeman}, Year = {1979} } @Article{GeorgakopoulosHS95, Title = {An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure}, Author = {Dimitrios Georgakopoulos and Mark F. Hornick and Amit P. Sheth}, Journal = {Distributed and Parallel Databases}, Year = {1995}, Number = {2}, Pages = {119-153}, Volume = {3}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {db/journals/dpd/GeorgakopoulosHS95.html, http://kapis.www.wkap.nl/oasis.htm/81885} } @Article{GeppertTD98, Title = {Defining the Semantics of Reactive Components in Event-Driven Workflow Execution with Event Histories}, Author = {Andreas Geppert and Dimitris Tombros and Klaus R. Dittrich}, Journal = {Inf. Syst.}, Year = {1998}, Number = {3-4}, Pages = {235-252}, Volume = {23}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {http://dx.doi.org/10.1016/S0306-4379(98)00011-8} } @Article{GoralwallaLOSC01, Title = {Temporal Granularity: Completing the Puzzle}, Author = {Iqbal A. Goralwalla and Yuri Leontiev and M. Tamer {\"O}zsu and Duane Szafron and Carlo Combi}, Journal = {Intell. Inf. Syst.}, Year = {2001}, Number = {1}, Pages = {41-63}, Volume = {16}, Bibsource = {DBLP, http://dblp.uni-trier.de} } @Book{gls, Title = {Geometric Algorithms and Combinatorial Optimization}, Author = {Grötschel, M. and Lovász, L. and Schrijver, A.}, Publisher = {Springer}, Year = {1993}, Edition = {Second}, Series = {Algorithms and Combinatorics}, Volume = {2}, ISBN = {3-540-56740-2}, ISSN = {0937-5511}, Pages = {1--362} } @Article{prog_best_practices, Title = {What {B}usiness {P}rocess {M}odelers {C}an {L}earn from {P}rogrammers}, Author = {Volker Gruhn and Ralf Laue}, Journal = {Science of Computer Programming}, Year = {2007}, Number = {1}, Pages = {4--13}, Volume = {65}, Address = {Amsterdam, The Netherlands, The Netherlands}, Bdsk-url-1 = {http://dx.doi.org/10.1016/j.scico.2006.08.003}, Doi = {http://dx.doi.org/10.1016/j.scico.2006.08.003}, ISSN = {0167-6423}, Publisher = {Elsevier North-Holland, Inc.} } @Article{healthcare, Title = {Temporal Reasoning for Automated Workflow in Health Care Enterprises}, Author = {I. Haimowitz and J. Farley and G. S. Fields and J. Stillman and B. Vivier}, Journal = {Electronic Commerce: Current Research Issues and Applications}, Year = {1996}, Volume = {1028} } @InProceedings{HanLWW10, Title = {Dynamically Analyzing Time Constraints in Workflow Systems with Fixed-Date Constraint}, Author = {Rui Han and Yingbo Liu and Lijie Wen and Jianmin Wang}, Booktitle = {Web Conference (APWEB), 2010 12th International Asia-Pacific}, Year = {2010}, Pages = {99-105}, Doi = {10.1109/APWeb.2010.36}, Keywords = {Petri nets;business data processing;program diagnostics;Petri-net-extended stochastic model;business process lifecycle;deadline violations;fixed-date constraint;process execution;run-time analysis;static analysis;time constraint;uncertain workflow processes;workflow management systems;workflow systems;Information analysis;Information security;Laboratories;Management information systems;Monitoring;Runtime;Stochastic processes;Time factors;Upper bound;Workflow management software} } @Article{HeeOSSVL07, Title = {Checking Properties of Adaptive Workflow Nets}, Author = {Kees M. van Hee and Olivia Oanea and Alexander Serebrenik and Natalia Sidorova and Marc Voorhoeve and Irina A. Lomazova}, Journal = {Fundam. Inform.}, Year = {2007}, Number = {3-4}, Pages = {347-362}, Volume = {79}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {http://iospress.metapress.com/openurl.asp?genre=article{\&}issn=0169-2968{\&}volume=79{\&}issue=3{\&}spage=347} } @Article{hsu, Title = {ObjectFlow: Towards a Process Management Infrastructure}, Author = {M. Hsu and C. Kleissner}, Journal = {Distributed and Parallel Databases}, Year = {1996}, Pages = {169-194}, Volume = {4} } @InProceedings{Hunsberger2014, Title = {A Faster Algorithm for Checking the Dynamic Controllability of Simple Temporal Networks with Uncertainty}, Author = {Luke Hunsberger}, Booktitle = {Proceedings of the 6th International Conference on Agents and Artificial Intelligence (ICAART-2014)}, Year = {2014}, __markedentry = {[posenato:]} } @InProceedings{Hunsberger13a, Title = {Magic Loops in Simple Temporal Networks with Uncertainty}, Author = {Luke Hunsberger}, Booktitle = {5th Int. Conf. on Agents and Artif. Intell. (ICAART-2013)}, Year = {2013}, Publisher = {SciTePress} } @InProceedings{Hunsberger2010, Title = {A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks}, Author = {Luke Hunsberger}, Booktitle = {Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME 2010)}, Year = {2010}, Pages = {121--128}, Publisher = {IEEE}, __markedentry = {[posenato:]}, Owner = {posenato}, Timestamp = {2014.10.18} } @InProceedings{Hunsberger2008, Title = {A Practical Temporal Constraint Management System for Real-Time Applications}, Author = {Luke Hunsberger}, Booktitle = {Proceedings of the European Conference on Artificial Intelligence (ECAI-2008)}, Year = {2008}, Pages = {553--557}, Publisher = {IOS Press}, __markedentry = {[posenato:]}, Owner = {posenato}, Timestamp = {2014.10.18} } @InProceedings{Hunsberger2003, Title = {Distributing the control of a temporal network among multiple agents}, Author = {Luke Hunsberger}, Booktitle = {The Second International Joint Conference on Autonomous Agents {\&} Multiagent Systems, {AAMAS} 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings}, Year = {2003}, Pages = {899--906}, Publisher = {{ACM}}, __markedentry = {[posenato:]}, Bibsource = {dblp computer science bibliography, http://dblp.org}, Biburl = {http://dblp.uni-trier.de/rec/bib/conf/atal/Hunsberger03}, Doi = {10.1145/860575.860720}, Owner = {posenato}, Timestamp = {Sat, 13 Sep 2014 21:16:04 +0200}, Url = {http://doi.acm.org/10.1145/860575.860720} } @InProceedings{Hunsberger2002, Title = {Algorithms for a Temporal Decoupling Problem in Multi-Agent Planning}, Author = {Luke Hunsberger}, Booktitle = {Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI-2002)}, Year = {2002}, __markedentry = {[posenato:]}, Owner = {posenato}, Timestamp = {2014.10.18} } @PhdThesis{Hunsberger2002a, Title = {Group Decision Making and Temporal Reasoning}, Author = {Luke Hunsberger}, School = {Harvard University}, Year = {2002}, Note = {Available as Harvard Technical Report TR-05-02}, __markedentry = {[posenato:]}, Owner = {posenato}, Timestamp = {2014.10.18} } @InCollection{Hunsberger1999, Title = {Making {S}hared{P}lans More Concise and Easier to Reason About}, Author = {Luke Hunsberger}, Booktitle = {Agent Architectures, Theories and Languages V}, Publisher = {Springer-Verlag}, Year = {1999}, Note = {[LH-0065]}, Pages = {81--98}, Series = {Lecture Notes in Artificial Intelligence}, Volume = {1555}, __markedentry = {[posenato:]}, Owner = {posenato}, Timestamp = {2014.10.18} } @InProceedings{HunsbergerPC12, author = {Hunsberger, Luke and Posenato, Roberto and Combi, Carlo}, title = {{The Dynamic Controllability of Conditional STNs with Uncertainty}}, booktitle = {PlanEx at ICAPS 2012}, year = {2012}, pages = {1--8}, month = jun, eid = {http://arxiv.org/abs/1212.2005}, optaddress = {Atibaia}, optbooktitle = {Proceedings of the Workshop on Planning and Plan Execution for Real-World Systems (PlanEx) at ICAPS-2012}, } @Book{jacobson, Title = {Object-Oriented Software Engineering: A Use Case Driven Approach}, Author = {I. Jacobson and M. Christenson and P. Jonsson and G. Overgaard}, Publisher = {Addison Wesley}, Year = {1992} } @Article{KamathR96, Title = {Correctness issues in workflow management}, Author = {Mohan Kamath and Krithi Ramamritham}, Journal = {Distributed Systems Engineering}, Year = {1996}, Number = {4}, Pages = {213-221}, Volume = {3}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {http://dx.doi.org/10.1088/0967-1846/3/4/002} } @InProceedings{kiepuszewski_structured, Title = {On {S}tructured {W}orkflow {M}odelling}, Author = {B. Kiepuszewski and A.H.M. ter Hofstede and C. Bussler}, Booktitle = caise, Year = {2000}, Pages = {431--445}, __removed__address = {London, UK}, _r_author = {Bartek Kiepuszewski and A.H.M. ter Hofstede and Christoph Bussler}, _r_publisher = {Springer-Verlag}, ISBN = {3-540-67630-9} } @Book{Kingston97, Title = {Algorithms and Data Structures}, Author = {Jeffrey H. Kingston}, Publisher = {Addison Wesley}, Year = {1997} } @InProceedings{KuoLLO96, Title = {A Model for Transactional Workflows}, Author = {Dean Kuo and Michael Lawley and Chengfei Liu and Maria E. Orlowska}, Booktitle = {Australasian Database Conference}, Year = {1996}, Pages = {139-146}, Bibsource = {DBLP, http://dblp.uni-trier.de} } @InProceedings{structuredness_error_probability, Title = {The {I}mpact of {S}tructuredness on {E}rror {P}robability of {P}rocess {M}odels}, Author = {R. Laue and J. Mendling}, Booktitle = {UNISCON}, Year = {2008}, Pages = {585--590}, __removed__crossref = {DBLP:conf/ista/2008}, _r_author = {Ralf Laue and Jan Mendling}, _r_month = {April}, _r_publisher = {Springer-Verlag}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {http://dx.doi.org/10.1007/978-3-540-78942-0_56} } @InProceedings{LebanMF86, Title = {A Representation for Collections of Temporal Intervals}, Author = {Bruce Leban and David McDonald and David Forster}, Booktitle = {AAAI86}, Year = {1986}, Pages = {367-371}, Bibsource = {DBLP, http://dblp.uni-trier.de} } @InCollection{Keon04, Title = {Adaptive Resource Scheduling for Workflows Considering Competence and Preference}, Author = {Lee, Keon Myung}, Booktitle = {Knowledge-Based Intelligent Information and Engineering Systems}, Publisher = {Springer Berlin Heidelberg}, Year = {2004}, Editor = {Negoita, MirceaGh. and Howlett, RobertJ. and Jain, LakhmiC.}, Pages = {723-730}, Series = lncs, Volume = {3214}, Doi = {10.1007/978-3-540-30133-2_95}, ISBN = {978-3-540-23206-3}, Url = {http://dx.doi.org/10.1007/978-3-540-30133-2_95} } @Article{LenzR07, Title = {IT support for healthcare processes - premises, challenges, perspectives}, Author = {Richard Lenz and Manfred Reichert}, Journal = {Data Knowl. Eng.}, Year = {2007}, Number = {1}, Pages = {39-58}, Volume = {61}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {http://dx.doi.org/10.1016/j.datak.2006.04.007} } @Article{LeonardiPQSA07, Title = {Interacting agents through a web-based health serviceflow management system}, Author = {Giorgio Leonardi and Silvia Panzarasa and Silvana Quaglini and Mario Stefanelli and Wil M. P. van der Aalst}, Journal = {J. of Biomed. Informatics}, Year = {2007}, Number = {5}, Pages = {486-499}, Volume = {40}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {http://dx.doi.org/10.1016/j.jbi.2006.12.002} } @Article{ManganS03, Title = {A Constraint Specification Approach to Building Flexible Workflows}, Author = {Peter J. Mangan and Shazia W. Sadiq}, Journal = {Journal of Research and Practice in Information Technology}, Year = {2003}, Number = {1}, Pages = {21-39}, Volume = {35}, Bibsource = {DBLP, http://dblp.uni-trier.de} } @Article{MansRABMJ10, Title = {Proclets in healthcare}, Author = {R. S. Mans and Nick C. Russell and Wil M. P. van der Aalst and Piet J. M. Bakker and Arnold J. Moleman and Monique W. M. Jaspers}, Journal = {J. of Biomed. Informatics}, Year = {2010}, Number = {4}, Pages = {632-649}, Volume = {43}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {http://dx.doi.org/10.1016/j.jbi.2010.03.010} } @Article{MarjanovicO99, Title = {On Modeling and Verification of Temporal Constraints in Production Workflows}, Author = {Olivera Marjanovic and Maria E. Orlowska}, Journal = {Knowl. Inf. Syst.}, Year = {1999}, Number = {2}, Pages = {157-192}, Volume = {1}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {http://kais.mines.edu/$\sim$kais/WWW/Vol-1-2-abstracts.shtml\#W108} } @Article{marshak, Title = {Software to Support BPR}, Author = {R. Marshak}, Journal = {The Value to Capturing Process Definitions Workgroup Computing Report}, Year = {1994}, Number = {7}, Volume = {17} } @InProceedings{marttiin, Title = {Towards Flexible Process Support with a CASE Shell}, Author = {P. Marttiin}, Booktitle = {Proceedings of the International Conference CAiSE '94}, Year = {1994}, Pages = {14-27}, Publisher = {Wijers G. and Brinkkemper S. and Wasserman I.}, Volume = {811} } @Article{mccarthy, Title = {Workflow and Transactions in InConcert}, Author = {D. McCarthy and S. Sarin}, Journal = {IEEE Bull. of the Tech. Com. onData Engineering}, Year = {1993}, Number = {2}, Volume = {16} } @Article{Montanari74, Title = {Networks of constraints: Fundamental properties and applications to picture processing}, Author = {Ugo Montanari}, Journal = {Inf. Sci.}, Year = {1974}, Pages = {95-132}, Volume = {7}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {http://dx.doi.org/10.1016/0020-0255(74)90008-5} } @InCollection{Morris2014, Title = {Dynamic Controllability and Dispatchability Relationships}, Author = {Paul Morris}, Booktitle = {Integration of AI and OR Techniques in Constraint Programming}, Publisher = {Springer}, Year = {2014}, Pages = {464-479}, Series = {Lecture Notes in Computer Science}, Volume = {8451}, __markedentry = {[posenato:]}, Owner = {posenato}, Timestamp = {2014.10.18} } @InProceedings{Morris2000, Title = {Execution of Temporal Plans with Uncertainty}, Author = {Paul Morris and Nicola Muscettola}, Booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI-2000)}, Year = {2000}, Note = {[LH-0324]}, Pages = {491--496}, __markedentry = {[posenato:]}, Owner = {posenato}, Timestamp = {2014.10.18} } @InProceedings{MorrisM99, Title = {Managing Temporal Uncertainty Through Waypoint Controllability}, Author = {Paul H. Morris and Nicola Muscettola}, Booktitle = {Proc. of the 7th Int. J. Conf. on AI, IJCAI 1999}, Year = {1999}, Optpages = {1193--1198} } @Misc{bpmi, Title = {Business Process Definition MetaModel (BPDM), {B}eta 1}, Author = {{Object Management Group (OMG)}}, HowPublished = {http://www.omg.org}, Year = {2007} } @Book{Pap94, Title = {Computational complexity}, Author = {Christos M. Papadimitriou}, Publisher = aw, Year = {1994}, Booktitle = {Computational complexity}, ISBN = {0201530821}, Mr = {95f:68082}, Otaddress = {Reading, MA} } @InProceedings{structuring_acyclic_models, Title = {Structuring acyclic process models}, Author = {Polyvyanyy, Artem and Garc\'{\i}a-Ba\~{n}uelos, Luciano and Dumas, Marlon}, Booktitle = {Proceedings of the 8th international conference on Business process management}, Year = {2010}, Address = {Berlin, Heidelberg}, Pages = {276--293}, Publisher = {Springer-Verlag}, Series = {BPM'10}, Acmid = {1882088}, Bdsk-url-1 = {http://portal.acm.org/citation.cfm?id=1882061.1882088}, ISBN = {3-642-15617-7, 978-3-642-15617-5}, Location = {Hoboken, NJ, USA}, Numpages = {18}, Url = {http://portal.acm.org/citation.cfm?id=1882061.1882088} } @Article{Quaglini1998119, Title = {Supporting tools for guideline development and dissemination}, Author = {Silvana Quaglini and Luisella Dazzi and Luca Gatti and Mario Stefanelli and Clara Fassino and Carlo Tondini}, Journal = {Art. Intell. Med.}, Year = {1998}, Number = {1-2}, Pages = {119 - 137}, Volume = {14}, Abstract = { This paper describes a methodology for representing clinical practice guidelines and facilitating their introduction into the medical routine. Since this methodology can be exploited in a www environment, it can represent the basis for sharing clinical guidelines both between different institutions and between human and software agents cooperating within a clinical context. In addition, the proposed guideline formalization is intended to deal with patient and organization preferences. This goal is achieved by augmenting the guideline with decision-analytic models and by linking the guideline with an organizational model of the clinical setting. The designed framework allows guideline development, tailoring and implementation, real-time access to the guideline prescriptions and guideline validation.}, Bdsk-url-1 = {http://www.sciencedirect.com/science/article/B6T4K-3V8RY4D-7/2/370a28512cc4cfc4f186aa241b498c13}, Bdsk-url-2 = {http://dx.doi.org/10.1016/S0933-3657(98)00019-0}, Doi = {DOI: 10.1016/S0933-3657(98)00019-0}, ISSN = {0933-3657}, Keywords = {Internet service}, Url = {http://www.sciencedirect.com/science/article/B6T4K-3V8RY4D-7/2/370a28512cc4cfc4f186aa241b498c13} } @Article{Quaglini20005, Title = {Guideline-based careflow systems}, Author = {S Quaglini and M Stefanelli and A Cavallini and G Micieli and C Fassino and C Mossa}, Journal = {Art. Intell. Med.}, Year = {2000}, Number = {1}, Pages = {5 - 22}, Volume = {20}, Bdsk-url-1 = {http://www.sciencedirect.com/science/article/B6T4K-410D1C7-2/2/ebb21b31f60b303e8b62fe8f77fc26a0}, Bdsk-url-2 = {http://dx.doi.org/10.1016/S0933-3657(00)00050-6}, Doi = {DOI: 10.1016/S0933-3657(00)00050-6}, ISSN = {0933-3657}, Keywords = {Decision support system}, Url = {http://www.sciencedirect.com/science/article/B6T4K-410D1C7-2/2/ebb21b31f60b303e8b62fe8f77fc26a0} } @Article{Quaglini200165, Title = {Flexible guideline-based patient careflow systems}, Author = {Silvana Quaglini and Mario Stefanelli and Giordano Lanzola and Vincenzo Caporusso and Silvia Panzarasa}, Journal = {Art. Intell. Med.}, Year = {2001}, Number = {1}, Pages = {65 - 80}, Volume = {22}, Bdsk-url-1 = {http://www.sciencedirect.com/science/article/B6T4K-42JYW58-4/2/c4d49a37d1c33372ca3fcb1574e99932}, Bdsk-url-2 = {http://dx.doi.org/10.1016/S0933-3657(00)00100-7}, Doi = {DOI: 10.1016/S0933-3657(00)00100-7}, ISSN = {0933-3657}, Keywords = {Healthcare organisation}, Url = {http://www.sciencedirect.com/science/article/B6T4K-42JYW58-4/2/c4d49a37d1c33372ca3fcb1574e99932} } @InProceedings{process_models_modularity, Title = {Modularity in {P}rocess {M}odels: {R}eview and {E}ffects}, Author = {H. Reijers and J. Mendling}, Booktitle = {BPM}, Year = {2008}, Pages = {20--35}, __removed__address = {Berlin, Heidelberg}, _r_author = {Reijers, Hajo and Mendling, Jan}, _r_publisher = {Springer-Verlag}, Bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-85758-7_5}, Doi = {http://dx.doi.org/10.1007/978-3-540-85758-7_5}, ISBN = {978-3-540-85757-0}, Location = {Milan, Italy} } @InProceedings{RizziP13, Title = {Optimal Design of Consistent Simple Temporal Networks}, Author = {Romeo Rizzi and Roberto Posenato}, Booktitle = {TIME'13, 20th Int. Symp. on Temporal Representation and Reasoning}, Year = {2013}, Editor = {C. Sanchez and K. B. Venable and E. Zimanyi}, Month = sep, Note = {Accepted as full paper}, Pages = {19--25}, Publisher = ieeecps } @InProceedings{SadiqO97, Title = {Applying a Generic Conceptual Workflow Modeling Technique to Document Workflows}, Author = {W. Sadiq and M. E. Orlowska}, Booktitle = {Proceedings of the Second Australian Document Computing Symposium (ADCS '97)}, Year = {1997} } @Article{Sch89, Title = {Probabilistic complexity classes and lowness}, Author = {Uwe Schöning}, Journal = {Journal of Computer and System Sciences}, Year = {1989}, Number = {1}, Pages = {84 - 100}, Volume = {39}, Doi = {10.1016/0022-0000(89)90020-2}, ISSN = {0022-0000}, Url = {http://www.sciencedirect.com/science/article/pii/0022000089900202} } @InProceedings{SenkulKT02, Title = {A logical framework for scheduling workflows under resource allocation constraints}, Author = {Senkul, Pinar and Kifer, Michael and Toroslu, Ismail H.}, Booktitle = {Proceedings of the 28th international conference on Very Large Data Bases}, Year = {2002}, Pages = {694--705}, Publisher = {VLDB Endowment}, Series = {VLDB '02}, Acmid = {1287429}, Location = {Hong Kong, China}, Numpages = {12}, Url = {http://dl.acm.org/citation.cfm?id=1287369.1287429} } @InProceedings{TramontinaW05, Title = {Modeling the behavior of dispatching rules in workflow systems: a statistical approach}, Author = {Tramontina, Greg\'{o}rio Baggio and Wainer, Jacques}, Booktitle = {Proceedings of the 11th international conference on Groupware: design, Implementation, and Use}, Year = {2005}, Address = {Berlin, Heidelberg}, Pages = {208--215}, Publisher = {Springer-Verlag}, Series = {CRIWG'05}, Acmid = {2156492}, Doi = {10.1007/11560296_16}, ISBN = {3-540-29110-5, 978-3-540-29110-7}, Location = {Porto de Galinhas, Brazil}, Numpages = {8}, Url = {http://dx.doi.org/10.1007/11560296_16} } @InProceedings{TramontinaWE04, Title = {Applying scheduling techniques to minimize the number of late jobs in workflow systems}, Author = {Tramontina, Greg\'{o}rio Baggio and Wainer, Jacques and Ellis, Clarence}, Booktitle = {Proceedings of the 2004 ACM symposium on Applied computing}, Year = {2004}, Address = {New York, NY, USA}, Pages = {1396--1403}, Publisher = {ACM}, Series = {SAC '04}, Acmid = {968180}, Doi = {10.1145/967900.968180}, ISBN = {1-58113-812-1}, Keywords = {scheduling, simulation, workflow}, Location = {Nicosia, Cyprus}, Numpages = {8}, Url = {http://doi.acm.org/10.1145/967900.968180} } @Article{TVP03, Title = {{CTP}: A new constraint-based formalism for conditional, temporal planning}, Author = {Tsamardinos, Ioannis and Vidal, Thierry and Pollack, Martha E.}, Journal = {Constraints}, Year = {2003}, Pages = {365--388}, Volume = {8}, url = {http://dx.doi.org/10.1023/A:1025894003623} } @article{Tsamardinos:1998va, author = {Tsamardinos, Ioannis and Muscettola, Nicola and Morris, Paul H.}, title = {{Fast Transformation of Temporal Plans for Efficient Execution.}}, journal = {AAAI/IAAI}, year = {1998}, pages = {254--261} } @Article{rpst_journal, Title = {The refined process structure tree}, Author = {J. Vanhatalo and H. V{\"{o}}lzer and J. Koehler}, Journal = {Data \& Knowledge Engineering}, Year = {2009}, Number = {9}, Pages = {793 - 818}, Volume = {68}, Bdsk-url-1 = {http://www.sciencedirect.com/science/article/B6TYX-4VT0X09-1/2/c4a6c33230c720ab02dde859c5b95d2c}, Bdsk-url-2 = {http://dx.doi.org/10.1016/j.datak.2009.02.015}, Doi = {DOI: 10.1016/j.datak.2009.02.015}, ISSN = {0169-023X}, Keywords = {Graph theory}, Optnote = {Sixth International Conference on Business Process Management (BPM 2008) - Five selected and extended papers}, Url = {http://www.sciencedirect.com/science/article/B6TYX-4VT0X09-1/2/c4a6c33230c720ab02dde859c5b95d2c} } @Article{VidalF99, Title = {Handling contingency in temporal constraint networks: from consistency to controllabilities}, Author = {Thierry Vidal and H{\'e}l{\`e}ne Fargier}, Journal = {J. Exp. Theor. AI}, Year = {1999}, Number = {1}, Pages = {23-45}, Volume = {11}, Bibsource = {DBLP, http://dblp.uni-trier.de} } @Article{WangPTBGPS02, Title = {Representation primitives, process models and patient data in computer-interpretable clinical practice guidelines: a literature review of guideline representation models}, Author = {Dongwen Wang and Mor Peleg and Samson W. Tu and Aziz A. Boxwala and Robert A. Greenes and Vimla L. Patel and Edward H. Shortliffe}, Journal = {I. J. Medical Informatics}, Year = {2002}, Number = {1-3}, Pages = {59-70}, Volume = {68}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {http://dx.doi.org/10.1016/S1386-5056(02)00065-5} } @Book{winograd, Title = {Understanding Computers and Cognitions}, Author = {T. Winograd and R. Flores}, Publisher = {Addison Wesley}, Year = {1987} } @Article{WirtzWG01, Title = {The OCoN Approach to Workflow Modeling in Object-Oriented Systems}, Author = {Guido Wirtz and Mathias Weske and Holger Giese}, Journal = {Information Systems Frontiers}, Year = {2001}, Number = {3}, Pages = {357-376}, Volume = {3}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Ee = {http://dx.doi.org/10.1023/A:1011417710529} } @Misc{wfmc-modello, Title = {The Workflow Reference Model}, Author = {{Workflow Manag. Coal.} and David Hollingsworth}, HowPublished = {http://www.wfmc.org}, Year = {1995} } @TechReport{wfmc-xml, Title = {Workflow Process Definition Interface - XML Process Definition Language}, Author = {{Workflow Management Coalition}}, Institution = {Workflow Management Coalition}, Year = {2002}, Address = {http://www.wfmc.org} } @Misc{wfmc-glossario, Title = {Terminology \& Glossary}, Author = {{Workflow Management Coalition}}, HowPublished = {http://www.wfmc.org}, Year = {1999} } @Misc{wfmc-scambio, Title = {Interface 1 - Process Definition Interchange Process Model}, Author = {{Workflow Management Coalition}}, HowPublished = {http://www.wfmc.org}, Year = {1999} } @Proceedings{AAAI86, Title = {Proceedings of the 5th National Conference on Artificial Intelligence}, Year = {1986}, OPTEditor = {}, Publisher = {Kaufmann}, Booktitle = {AAAI86} } @Proceedings{DBLP:conf/bpm/2005, Title = {Business Process Management, 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings}, Year = {2005}, Editor = {Wil M. P. van der Aalst and Boualem Benatallah and Fabio Casati and Francisco Curbera}, Volume = {3649}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {Business Process Management}, ISBN = {3-540-28238-6} } @Proceedings{DBLP:conf/edbt/96, Title = {Advances in Database Technology - EDBT'96}, Year = {1996}, Editor = {Peter M. G. Apers and Mokrane Bouzeghoub and Georges Gardarin}, Publisher = sv, Series = lncs, Volume = {1057}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {EDBT}, ISBN = {3-540-61057-X} } @Proceedings{DBLP:conf/cp/2006, Title = {Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings}, Year = {2006}, Editor = {Fr{\'e}d{\'e}ric Benhamou}, Publisher = sv, Series = lncs, Volume = {4204}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = cp, ISBN = {3-540-46267-8} } @Proceedings{DBLP:conf/bpm/2009, Title = {Business Process Management, 7th Int. Conf., BPM 2009, Ulm, Germany, September 8-10, 2009. Proc.}, Year = {2009}, Editor = {Umeshwar Dayal and Johann Eder and Jana Koehler and Hajo A. Reijers}, Publisher = sv, Series = lncs, Volume = {5701}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {BPM}, Ee = {http://dx.doi.org/10.1007/978-3-642-03848-8}, ISBN = {978-3-642-03847-1} } @Proceedings{DBLP:conf/adbis/2011, Title = {Advances in Databases and Information Systems - 15th International Conference, ADBIS 2011, Vienna, Austria, September 20-23, 2011. Proceedings}, Year = {2011}, Editor = {Johann Eder and M{\'a}ria Bielikov{\'a} and A Min Tjoa}, Publisher = {Springer}, Series = {LNCS}, Volume = {6909}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {ADBIS}, Ee = {http://dx.doi.org/10.1007/978-3-642-23737-9}, ISBN = {978-3-642-23736-2} } @Proceedings{DBLP:conf/sac/2004, Title = {Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004}, Year = {2004}, Editor = {Hisham Haddad and Andrea Omicini and Roger L. Wainwright and Lorie M. Liebrock}, Publisher = {ACM}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {SAC}, ISBN = {1-58113-812-1} } @Proceedings{DBLP:conf/dexa/2000, Title = {Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings}, Year = {2000}, Editor = {Mohamed T. Ibrahim and Josef K{\"u}ng and Norman Revell}, Publisher = sv, Series = lncs, Volume = {1873}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {DEXA}, ISBN = {3-540-67978-2} } @Proceedings{DBLP:conf/caise/1999, Title = {Advanced Information Systems Engineering, 11th International Conference CAiSE'99, Heidelberg, Germany, June 14-18, 1999, Proceedings}, Year = {1999}, Editor = {Matthias Jarke and Andreas Oberweis}, Publisher = sv, Series = lncs, Volume = {1626}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = caise, ISBN = {3-540-66157-3} } @Proceedings{DBLP:conf/time/2009, Title = {TIME 2009, 16th Int. Symp. on Temp. Repr. and Reas., Bressanone-Brixen, Italy, 23-25 July 2009, Proc.}, Year = {2009}, Editor = {Carsten Lutz and Jean-Fran\c{c}ois Raskin}, Publisher = ieeecs, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = time, ISBN = {978-0-7695-3727-6} } @Proceedings{DBLP:conf/adbis/2002, Title = {Advances in Databases and Information Systems, 6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings}, Year = {2002}, Editor = {Yannis Manolopoulos and Pavol N{\'a}vrat}, Publisher = sv, Series = lncs, Volume = {2435}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {ADBIS}, ISBN = {3-540-44138-7} } @Proceedings{DBLP:conf/time/2010, Title = {TIME 2010 - 17th Int. Symp. on Temp. Repr. and Reas., Paris, France, 6-8 September 2010}, Year = {2010}, Editor = {Nicolas Markey and Jef Wijsen}, Publisher = ieeecs, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {TIME}, ISBN = {978-0-7695-4187-7} } @Proceedings{DBLP:conf/otm/2009-1, Title = {On the Move to Meaningful Internet Systems: OTM 2009, Conf. Int. Conf., CoopIS, DOA, IS, and ODBASE 2009}, Year = {2009}, Editor = {Robert Meersman and Tharam S. Dillon and Pilar Herrero}, Publisher = sv, Series = {LNCS}, Volume = {5870}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {OTM Conf.}, Ee = {http://dx.doi.org/10.1007/978-3-642-05148-7}, ISBN = {978-3-642-05147-0} } @Proceedings{DBLP:conf/ijcai/2001, Title = {Proc. of the 7th Int. Joint Conf. on AI, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001}, Year = {2001}, Editor = {Bernhard Nebel}, Publisher = {Kaufmann}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {IJCAI}, ISBN = {1-55860-777-3} } @Proceedings{DBLP:conf/er/95, Title = {OOER'95: Object-Oriented and Entity-Relationship Modelling, 14th Int. Conf., Gold Coast, Australia, December 12-15, 1995, Proceedings}, Year = {1995}, Editor = {Mike P. Papazoglou}, Publisher = sv, Series = lncs, Volume = {1021}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {OOER}, ISBN = {3-540-60672-6} } @Proceedings{DBLP:conf/caise/2004, Title = {Advanced Information Systems Engineering, 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings}, Year = {2004}, Editor = {Anne Persson and Janis Stirna}, Publisher = sv, Series = lncs, Volume = {3084}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = caise, ISBN = {3-540-22151-4} } @Proceedings{DBLP:conf/caise/2002, Title = {Advanced Information Systems Engineering, 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings}, Year = {2002}, Editor = {Anne Banks Pidduck and John Mylopoulos and Carson C. Woo and M. Tamer {\"O}zsu}, Publisher = sv, Series = lncs, Volume = {2348}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = caise, ISBN = {3-540-43738-X} } @Proceedings{DBLP:conf/er/2003, Title = {Conceptual Modeling - ER 2003, 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings}, Year = {2003}, Editor = {Il-Yeol Song and Stephen W. Liddle and Tok Wang Ling and Peter Scheuermann}, Publisher = sv, Series = lncs, Volume = {2813}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {ER}, ISBN = {3-540-20299-4} } @Proceedings{DBLP:conf/er/2002, Title = {Conceptual Modeling - ER 2002, 21st International Conference on Conceptual Modeling, Tampere, Finland, October 7-11, 2002, Proceedings}, Year = {2002}, Editor = {Stefano Spaccapietra and Salvatore T. March and Yahiko Kambayashi}, Publisher = sv, Series = lncs, Volume = {2503}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {ER}, ISBN = {3-540-44277-4} } @Proceedings{DBLP:conf/aaai/2005, Title = {Proc., The 20th Nat. Conf. on AI and the 7th Innov. Appl. of AI Conf., July 9-13, 2005, Pittsburgh, Pennsylvania, USA}, Year = {2005}, Editor = {Manuela M. Veloso and Subbarao Kambhampati}, Publisher = {AAAI Press}, Bibsource = {DBLP, http://dblp.uni-trier.de}, ISBN = {1-57735-236-X} } @Proceedings{DBLP:conf/hicss/2008, Title = {41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA}, Year = {2008}, Publisher = ieeecs, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {HICSS} } @Proceedings{DBLP:conf/time/2007, Title = {14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain}, Year = {2007}, Publisher = ieeecs, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = time, ISBN = {978-0-7695-2836-6} } @Manual{ISO8601, Title = {ISO 8601:2004: Representation of dates and times}, Address = {http://www.iso.org}, Organization = {International Organization for Standardization}, Year = {2004} } @Proceedings{DBLP:conf/wacc/1999, Title = {Proceedings of the international joint conference on Work activities coordination and collaboration 1999, San Francisco, California, USA, February 22-25, 1999}, Year = {1999}, Publisher = {ACM}, Bibsource = {DBLP, http://dblp.uni-trier.de}, Booktitle = {WACC} } @Comment{jabref-meta: databaseType:bibtex;}