{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T12:38:58Z","timestamp":1756384738206,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642292521"},{"type":"electronic","value":"9783642292538"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29253-8_15","type":"book-chapter","created":{"date-parts":[[2012,4,5]],"date-time":"2012-04-05T08:38:38Z","timestamp":1333615118000},"page":"170-182","source":"Crossref","is-referenced-by-count":2,"title":["An Incremental Approach to Analyzing Temporal Constraints of Workflow Processes"],"prefix":"10.1007","author":[{"given":"Yanhua","family":"Du","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xitong","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"15_CR1","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1109\/TSMCC.2008.919178","volume":"38","author":"R.F. Hauser","year":"2008","unstructured":"Hauser, R.F., Friess, M., Kuster, J.M., Vanhatalo, J.: An Incremental Approach to the Analysis and Transformation of Workflows using Region Trees. IEEE Trans. Syst., Man, Cybern.: Part C\u00a038(3), 347\u2013359 (2008)","journal-title":"IEEE Trans. Syst., Man, Cybern.: Part C"},{"issue":"2","key":"15_CR2","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1016\/j.infsof.2008.02.004","volume":"51","author":"P. Sun","year":"2009","unstructured":"Sun, P., Jiang, C.: Analysis of Workflow Dynamic Changes based on Petri Net. Information and Software Technology\u00a051(2), 284\u2013292 (2009)","journal-title":"Information and Software Technology"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/224019.224021","volume-title":"International Conference on Organizational Computing Systems","author":"C. Ellis","year":"1995","unstructured":"Ellis, C., Keddara, K., Rozenberg, G.: Dynamic Change with in Workflow System. In: International Conference on Organizational Computing Systems, pp. 10\u201322. ACM Press, Milpitas (1995)"},{"issue":"12","key":"15_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W.M.P. Aalst vander","year":"2002","unstructured":"vander Aalst, W.M.P., Basten, T.: Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science\u00a0270(12), 125\u2013203 (2002)","journal-title":"Theoretical Computer Science"},{"key":"15_CR5","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.\u00a01626, pp. 286\u2013292. Springer, Heidelberg (1999)"},{"key":"15_CR6","first-page":"134","volume-title":"11th Asia-Pacific Conference on Software Engineering","author":"J. Chen","year":"2004","unstructured":"Chen, J., Yang, Y., Chen, T.Y.: Dynamic Verification of Temporal Constraints On-the-Fly for Workflow Systems. In: 11th Asia-Pacific Conference on Software Engineering, pp. 134\u2013144. IEEE Press, New York (2004)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"820","DOI":"10.1007\/978-3-540-31849-1_78","volume-title":"Web Technologies Research and Development - APWeb 2005","author":"J. Chen","year":"2005","unstructured":"Chen, J., Yang, Y.: Temporal Dependency for Dynamic Verification of Fixed-Date Constraints in Grid Workflow Systems. In: Zhang, Y., Tanaka, K., Yu, J.X., Wang, S., Li, M. (eds.) APWeb 2005. LNCS, vol.\u00a03399, pp. 820\u2013831. Springer, Heidelberg (2005)"},{"issue":"4","key":"15_CR8","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.elerap.2004.09.003","volume":"4","author":"H. Li","year":"2005","unstructured":"Li, H., Yang, Y.: Dynamic Checking of Temporal Constraints for Concurrent Workflows. Electronic Commerce Research and Applications\u00a04(4), 124\u2013142 (2005)","journal-title":"Electronic Commerce Research and Applications"},{"issue":"6","key":"15_CR9","doi-asserted-by":"publisher","first-page":"1166","DOI":"10.1109\/TSMCA.2011.2116003","volume":"41","author":"Y. Du","year":"2011","unstructured":"Du, Y., Xiong, P., Fan, Y., Li, X.: Dynamic Checking and Solution to Temporal Violations In Concurrent Workflow Processes. IEEE Trans. Syst., Man, Cybern.: Part A\u00a041(6), 1166\u20131181 (2011)","journal-title":"IEEE Trans. Syst., Man, Cybern.: Part A"},{"issue":"4","key":"15_CR10","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/3477.775271","volume":"29","author":"W.T. Jong","year":"1999","unstructured":"Jong, W.T., Shiau, Y.S., Horng, Y.J., Chen, H.H., Chen, S.M.: Temporal Knowledge Representation and Reasoning Techniques Using Time Petri Nets. IEEE Trans. Syst., Man, Cybern.: Part A\u00a029(4), 541\u2013545 (1999)","journal-title":"IEEE Trans. Syst., Man, Cybern.: Part A"},{"key":"15_CR11","unstructured":"Uppaal, http:\/\/www.it.u.se\/research\/group\/darts\/uppaal"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Gruhn, V., Laue, R.: Using Timed Model Checking for Verifying Workflows. In: 2nd International Workshop on Computer Supported Activity Coordination, pp. 75\u201388. INSTICC Press (2005)","DOI":"10.5220\/0002559500750088"}],"container-title":["Lecture Notes in Computer Science","Web Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29253-8_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:16:04Z","timestamp":1742912164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29253-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642292521","9783642292538"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29253-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}