{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T11:40:01Z","timestamp":1736595601187,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540473312"},{"type":"electronic","value":"9783540473329"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11903697_79","type":"book-chapter","created":{"date-parts":[[2006,10,11]],"date-time":"2006-10-11T15:48:07Z","timestamp":1160581687000},"page":"625-631","source":"Crossref","is-referenced-by-count":0,"title":["Using Simulation to Improve the Flexibility of Adaptive Workflow Models Based on Temporal Logic"],"prefix":"10.1007","author":[{"given":"Jianchuan","family":"Xing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhishu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liangyin","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"79_CR1","doi-asserted-by":"crossref","unstructured":"Herbst, J., Karagiannis, D.: Integrating Machine Learning and Workflow Management to Support Acquisition and Adaptation of Workflow Models. In: Proceedings of the Ninth IEEE Conference on Database and Expert Systems Applications (1998)","DOI":"10.1109\/DEXA.1998.707491"},{"key":"79_CR2","doi-asserted-by":"crossref","unstructured":"Huadong, M.: A Workflow Model Based on Temporal Logic. In: CSCWID 2004, Xiamen, China, May 2004, pp. 327\u2013332 (2004)","DOI":"10.1109\/CACWD.2004.1349207"},{"issue":"11","key":"79_CR3","first-page":"1456","volume":"26","author":"H. Li","year":"2003","unstructured":"Li, H., Shi, M.: Workflow models and their formal descriptions. Chinese Journal of Computers\u00a026(11), 1456\u20131463 (2003)","journal-title":"Chinese Journal of Computers"},{"key":"79_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"Temporal Logic for Reactive and Concurrent System","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: Temporal Logic for Reactive and Concurrent System. Springer, Heidelberg (1992)"},{"issue":"12","key":"79_CR5","first-page":"1","volume":"5","author":"Z.S. Tang","year":"1994","unstructured":"Tang, Z.S., Zhao, C.: A Temporal Logic Language Oriented Toward Software Engineering. Journal of Software\u00a05(12), 1\u201312 (1994)","journal-title":"Journal of Software"},{"key":"79_CR6","doi-asserted-by":"crossref","unstructured":"Duan, Y., Ma, H.: Modeling Flexible Workflow Based on Temporal Logic. In: The 9th Conference on Computer Supported Cooperative Work in Design Proceedings, Convertry, UK, pp. 508\u2013513 (2005)","DOI":"10.1109\/CSCWD.2005.194224"},{"key":"79_CR7","doi-asserted-by":"crossref","unstructured":"Miller, J.A., Cardoso, J., Silver, G.: Using Simulation to Facilitate Effective Workflow Adaptation. In: Proceedings of the 35th Annual Simulation Symposium(SS 2002) (2002)","DOI":"10.1109\/SIMSYM.2002.1000151"}],"container-title":["Lecture Notes in Computer Science","Simulated Evolution and Learning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11903697_79.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T11:24:02Z","timestamp":1736594642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11903697_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540473312","9783540473329"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/11903697_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}