乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,9]],"date-time":"2024-08-09T07:07:47Z","timestamp":1723187267902},"reference-count":36,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"funder":[{"name":"Smeal College of Business"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information Systems"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1016\/j.is.2016.06.003","type":"journal-article","created":{"date-parts":[[2016,6,19]],"date-time":"2016-06-19T02:55:22Z","timestamp":1466304922000},"page":"410-424","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":19,"special_numbering":"C","title":["Controlled violation of temporal process constraints \u2013 Models, algorithms and results"],"prefix":"10.1016","volume":"64","author":[{"given":"Akhil","family":"Kumar","sequence":"first","affiliation":[]},{"given":"Russell R.","family":"Barton","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.is.2016.06.003_bib1","unstructured":"ATAPIS: Adaptive Time- and Process-aware Information Systems. University of Ulm. \u3008http:\/\/www.uni-ulm.de\/en\/in\/dbis\/research\/projects\/atapis.html\u3009 (last accessed 12.11.15)"},{"key":"10.1016\/j.is.2016.06.003_bib2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","article-title":"Towards a general theory of action and time","author":"Allen","year":"1984","journal-title":"Artif. Intell."},{"issue":"2","key":"10.1016\/j.is.2016.06.003_bib3","first-page":"83","article-title":"Healthcare enterprise process development and integration","volume":"35","author":"Anyanwu","year":"2003","journal-title":"J. Res. Pract. Inf. Technol."},{"issue":"4","key":"10.1016\/j.is.2016.06.003_bib4","doi-asserted-by":"crossref","first-page":"1503","DOI":"10.1007\/s10586-015-0494-0","article-title":"Runtime self-monitoring approach of business process compliance in cloud environments","volume":"18","author":"Barnawi","year":"2015","journal-title":"Clust. Comput."},{"issue":"3","key":"10.1016\/j.is.2016.06.003_bib5","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1023\/A:1014048800604","article-title":"Temporal reasoning in workflow systems","volume":"11","author":"Bettini","year":"2002","journal-title":"Distrib. Parallel Database"},{"issue":"3","key":"10.1016\/j.is.2016.06.003_bib6","article-title":"Temporal dependency based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems","volume":"20","author":"Chen","year":"2011","journal-title":"ACM Trans. Soft Eng. Methodol."},{"issue":"2","key":"10.1016\/j.is.2016.06.003_bib7","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/2240166.2240169","article-title":"Conceptual modeling of flexible temporal workflows","volume":"7","author":"Combi","year":"2012","journal-title":"TAAS"},{"key":"10.1016\/j.is.2016.06.003_bib8","unstructured":"CPLEX, Reference manual. IBM corporation, 2009"},{"issue":"2","key":"10.1016\/j.is.2016.06.003_bib9","first-page":"81","article-title":"The ADEPT project: a decade of research and development for robust and flexible process support","volume":"23","author":"Dadam","year":"2009","journal-title":"Comput. Sci."},{"key":"10.1016\/j.is.2016.06.003_bib10","doi-asserted-by":"crossref","unstructured":"J. Eder, P. Euthimios, H. Pozewaunig, M. Rabinovich. Time management in workflow systems. In: Proc. BIS, 1999, pp. 265\u2013280","DOI":"10.1007\/978-1-4471-0875-7_22"},{"key":"10.1016\/j.is.2016.06.003_bib11","first-page":"243","article-title":"Temporal modeling of workflows with conditional execution paths","volume":"vol. 1873","author":"Eder","year":"2000"},{"key":"10.1016\/j.is.2016.06.003_bib12","series-title":"Proceedings of the Conference on Commerce and Enterprise Computing (CEC)","first-page":"361","article-title":"Time-BPMN","author":"Gagne","year":"2009"},{"issue":"2","key":"10.1016\/j.is.2016.06.003_bib13","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/j.artmed.2012.08.008","article-title":"Automated generation of patient-tailored electronic care pathways by translating computer-interpretable guidelines into hierarchical task networks","volume":"57","author":"Gonz\u00e1lez-Ferrer","year":"2013","journal-title":"Artif. Intell. Med."},{"key":"10.1016\/j.is.2016.06.003_bib14","unstructured":"L. Hunsberger, R. Posenato, C. Combi, The dynamic controllability of conditional STNs with uncertainty, in: Proc. PlanEx, 2012"},{"issue":"3","key":"10.1016\/j.is.2016.06.003_bib15","doi-asserted-by":"crossref","DOI":"10.1287\/ijoc.1120.0520","article-title":"Flexible Business Process Compliance with Semantic Constraints using Mixed-Integer Programming","volume":"25","author":"Kumar","year":"2013","journal-title":"INFORMS J. Comput."},{"key":"10.1016\/j.is.2016.06.003_bib16","series-title":"Managing Controlled Violation of Temporal Process Constraints","first-page":"280","author":"Kumar","year":"2015"},{"key":"10.1016\/j.is.2016.06.003_bib17","doi-asserted-by":"crossref","unstructured":"A. Lanz, R. Posenato, C. Combi, M. Reichert, Controllability of time-aware processes at run time, in: Proc. CoopIS, 2013, pp. 39\u201356.","DOI":"10.1007\/978-3-642-41030-7_4"},{"key":"10.1016\/j.is.2016.06.003_bib18","series-title":"A Formal Semantics of Time Patterns for Process Aware Information Systems (Tech. Rep. UIB-2013-02)","author":"Lanz","year":"2013"},{"issue":"2","key":"10.1016\/j.is.2016.06.003_bib19","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s00766-012-0162-3","article-title":"Time patterns for process-aware information systems","volume":"19","author":"Lanz","year":"2014","journal-title":"Req. Eng."},{"key":"10.1016\/j.is.2016.06.003_bib20","first-page":"217","article-title":"Dealing with changes of time-aware processes","author":"Lanz","year":"2014","journal-title":"BPM"},{"issue":"2","key":"10.1016\/j.is.2016.06.003_bib21","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF03325097","article-title":"On modeling and verification of temporal constraints in production workflows","volume":"1","author":"Marjanovic","year":"1999","journal-title":"Knowl. Inf. Syst."},{"key":"10.1016\/j.is.2016.06.003_bib22","series-title":"The Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-01)","first-page":"494","article-title":"Dynamic control of plans with temporal uncertainty","author":"Morris","year":"2001"},{"key":"10.1016\/j.is.2016.06.003_bib23","doi-asserted-by":"crossref","unstructured":"M. Reichert, B. Weber, Enabling flexibility, in: Process-aware Information Systems: Challenges, Methods, Technologies. Springer, 2012","DOI":"10.1007\/978-3-642-30409-5"},{"issue":"1","key":"10.1016\/j.is.2016.06.003_bib24","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/j.datak.2004.01.002","article-title":"Correctness criteria for dynamic changes in workflow systems: a survey","volume":"50","author":"Rinderle","year":"2004","journal-title":"Data Knowl. Eng."},{"key":"10.1016\/j.is.2016.06.003_bib25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.is.2015.04.004","article-title":"Prediction of business process durations using non-Markovian stochastic Petri nets","volume":"54","author":"Rogge-Solti","year":"2015","journal-title":"Inf. Syst."},{"issue":"1-2","key":"10.1016\/j.is.2016.06.003_bib26","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1142\/S0218843000000077","article-title":"Managing change and time in dynamic workflow processes","volume":"9","author":"Sadiq","year":"2000","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"10.1016\/j.is.2016.06.003_bib27","first-page":"35","article-title":"Data-driven performance analysis of scheduled processese","author":"Senderovich","year":"2015","journal-title":"BPM"},{"key":"10.1016\/j.is.2016.06.003_bib28","doi-asserted-by":"crossref","first-page":"715","DOI":"10.1111\/j.1937-5956.2012.01353.x","article-title":"Managing supply chain execution: monitoring timeliness and correctness via individualized trace data","volume":"21","author":"Shu","year":"2012","journal-title":"Prod. Oper. Manag."},{"issue":"5","key":"10.1016\/j.is.2016.06.003_bib29","first-page":"345","article-title":"Conceptualizing routing decisions in business processes: theoretical analysis and empirical testing","volume":"16","author":"Soffer","year":"2015","journal-title":"J. Assoc. Inf. Syst."},{"key":"10.1016\/j.is.2016.06.003_bib30","doi-asserted-by":"crossref","unstructured":"E.R. Taghiabadi D. Fahland B.F. van Dongen W.M. van der Aalst. Diagnostic information for compliance checking of temporal compliance requirements, in: Advanced Information Systems Engineering. Springer, Berlin Heidelberg, 2013, pp. 304\u2013320","DOI":"10.1007\/978-3-642-38709-8_20"},{"issue":"4","key":"10.1016\/j.is.2016.06.003_bib31","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1023\/A:1025894003623","article-title":"CTP: a new constraint-based formalism for conditional, temporal planning","volume":"8","author":"Tsamardinos","year":"2003","journal-title":"Constraints"},{"key":"10.1016\/j.is.2016.06.003_bib32","series-title":"Timed coloured Petri nets and their application to logistics (Ph.D. thesis)","author":"van der Aalst","year":"1992"},{"issue":"2","key":"10.1016\/j.is.2016.06.003_bib33","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1016\/j.dss.2006.11.005","article-title":"Deadline-based escalation in process-aware information systems","volume":"43","author":"van der Aalst","year":"2007","journal-title":"Decis. Support. Syst."},{"key":"10.1016\/j.is.2016.06.003_bib34","first-page":"122","article-title":"Constraint-based modeling and scheduling of clinical pathways","author":"Wolf","year":"2009","journal-title":"CSCLP"},{"key":"10.1016\/j.is.2016.06.003_bib35","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s11227-010-0543-7","article-title":"A handling algorithm for workflow time exception based on history logs","volume":"63","author":"Yu","year":"2013","journal-title":"J. Supercomput."},{"key":"10.1016\/j.is.2016.06.003_bib36","doi-asserted-by":"crossref","unstructured":"Zhao, J., Stohr, E., Temporal workflow management in a claim handling system, in: Proceedings of Work Activities Coordination and Collaboration (WACC\u05f399), San Francisco, CA, USA, 1999, pp. 187\u2013195.","DOI":"10.1145\/295665.295687"}],"container-title":["Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0306437915301629?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0306437915301629?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,11,2]],"date-time":"2019-11-02T13:59:04Z","timestamp":1572703144000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0306437915301629"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":36,"alternative-id":["S0306437915301629"],"URL":"https:\/\/doi.org\/10.1016\/j.is.2016.06.003","relation":{},"ISSN":["0306-4379"],"issn-type":[{"value":"0306-4379","type":"print"}],"subject":[],"published":{"date-parts":[[2017,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Controlled violation of temporal process constraints \u2013 Models, algorithms and results","name":"articletitle","label":"Article Title"},{"value":"Information Systems","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.is.2016.06.003","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2016 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}]}}