{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:46:07Z","timestamp":1725745567768},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642402845"},{"type":"electronic","value":"9783642402852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40285-2_21","type":"book-chapter","created":{"date-parts":[[2013,8,17]],"date-time":"2013-08-17T08:02:58Z","timestamp":1376726578000},"page":"239-253","source":"Crossref","is-referenced-by-count":6,"title":["A Framework for Data-Driven Workflow Management: Modeling, Verification and Execution"],"prefix":"10.1007","author":[{"given":"Nahla","family":"Haddar","sequence":"first","affiliation":[]},{"given":"Mohamed","family":"Tmar","sequence":"additional","affiliation":[]},{"given":"Faiez","family":"Gargouri","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"van der Aalst, W.M.P., Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press (2004)"},{"issue":"4","key":"21_CR2","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1002\/smr.524","volume":"23","author":"V. K\u00fcnzle","year":"2011","unstructured":"K\u00fcnzle, V., Reichert, M.: Philharmonicflows: towards a framework for object-aware process management. Journal of Software Maintenance and Evolution: Research and Practice\u00a023(4), 205\u2013244 (2011)","journal-title":"Journal of Software Maintenance and Evolution: Research and Practice"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S1571-0661(04)80786-2","volume":"76","author":"G. Delzanno","year":"2002","unstructured":"Delzanno, G.: An overview of msr(c): A clp-based framework for the symbolic verification of parameterized concurrent systems. Electr. Notes Theor. Comput. Sci.\u00a076, 65\u201382 (2002)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A. Nigam","year":"2003","unstructured":"Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Syst. J.\u00a042(3), 428\u2013445 (2003)","journal-title":"IBM Syst. J."},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-540-76848-7_10","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"D. M\u00fcller","year":"2007","unstructured":"M\u00fcller, D., Reichert, M., Herbst, J.: Data-driven modeling and coordination of large process structures. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 131\u2013149. Springer, Heidelberg (2007)"},{"issue":"3","key":"21_CR6","first-page":"251","volume":"88","author":"R. Lazic","year":"2008","unstructured":"Lazic, R., Newcomb, T.C., Ouaknine, J., Roscoe, A.W., Worrell, J.: Nets with tokens which carry data. Fund. Informaticae\u00a088(3), 251\u2013274 (2008)","journal-title":"Fund. Informaticae"},{"issue":"7","key":"21_CR7","doi-asserted-by":"publisher","first-page":"1026","DOI":"10.1016\/j.is.2011.04.004","volume":"36","author":"N. Sidorova","year":"2011","unstructured":"Sidorova, N., Stahl, C., Tr\u010dka, N.: Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. Inf. Syst.\u00a036(7), 1026\u20131043 (2011)","journal-title":"Inf. Syst."},{"key":"21_CR8","unstructured":"Haddar, N., Tmar, M., Gargouri, F.: A data-driven workflow based on structured tokens petri net. In: The Seventh International Conference on Software Engineering Advances, ICSEA 2012, pp. 154\u2013160 (2012)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Haddar, N., Tmar, M., Gargouri, F.: Implementation of a data-driven workflow management system. In: IEEE 15th International Conference on Computational Science and Engineering, CSE 2012, pp. 111\u2013118. IEEE Computer Society (2012)","DOI":"10.1109\/ICCSE.2012.25"},{"issue":"3","key":"21_CR10","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/S0166-3615(02)00099-4","volume":"49","author":"D. Liu","year":"2002","unstructured":"Liu, D., Wang, J., Chan, S.C.F., Sun, J., Zhang, L.: Modeling workflow processes with colored petri nets. Comput. Ind.\u00a049(3), 267\u2013281 (2002)","journal-title":"Comput. Ind."},{"issue":"2","key":"21_CR11","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"W. Aalst","year":"2005","unstructured":"Aalst, W., Weske, M., Gr\u00fcnbauer, D.: Case handling: a new paradigm for business process support. Data Knowl. Eng.\u00a053(2), 129\u2013162 (2005)","journal-title":"Data Knowl. Eng."},{"key":"21_CR12","unstructured":"K\u00fcnzle, V., Reichert, M.: Philharmonicflows: Research and design methodology. Technical report, University of Ulm (May 2011)"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W. Aalst","year":"1997","unstructured":"Aalst, W.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using petri-net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 161\u2013183. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40285-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T14:15:58Z","timestamp":1558016158000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40285-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402845","9783642402852"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40285-2_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}