{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,27]],"date-time":"2023-07-27T15:46:07Z","timestamp":1690472767936},"reference-count":24,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2016,6]]},"abstract":"<jats:p> This article presents a method for qualitative and quantitative analysis of WorkFlow nets based on the proof trees of Linear Logic. The qualitative analysis is concerned with the proof of Soundness correctness criterion defined for WorkFlow nets. To prove the Soundness property, a proof tree of Linear Logic is built for each different scenario of the WorkFlow net. The quantitative analysis is concerned with the resource planning for each task of the workflow process and is based on the computation of symbolic date intervals for task execution. In particular, such symbolic date intervals are computed using the proof trees used to prove Soundness property. <\/jats:p>","DOI":"10.1142\/s0218213016500081","type":"journal-article","created":{"date-parts":[[2016,2,19]],"date-time":"2016-02-19T09:25:10Z","timestamp":1455873910000},"page":"1650008","source":"Crossref","is-referenced-by-count":2,"title":["Linear Logic as a Tool for Qualitative and Quantitative Analysis of Workow Processes"],"prefix":"10.1142","volume":"25","author":[{"given":"L\u00edgia Maria","family":"Soares Passos","sequence":"first","affiliation":[{"name":"Department of Computer Science \u2013 Federal Rural University of Rio de Janeiro, UFRRJ, Nova Igua\u00e7u\/RJ, Brazil"}]},{"given":"St\u00e9phane","family":"Julia","sequence":"additional","affiliation":[{"name":"Computing Faculty \u2013 Federal University of Uberl\u00e2ndia, UFU, Uberl\u00e2ndia\/MG, P.O. Box 593, 38400-902, Brazil"}]}],"member":"219","published-online":{"date-parts":[[2016,6,28]]},"reference":[{"key":"p_3","first-page":"548","author":"Kotb Y. T.","year":"2005","journal-title":"DC, USA"},{"key":"p_5","first-page":"11","author":"Vilallonga G.","year":"2003","journal-title":"PA, USA"},{"key":"p_6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.811771"},{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.819490"},{"key":"p_8","doi-asserted-by":"publisher","DOI":"10.1002\/int.20007"},{"key":"p_9","first-page":"407","author":"W. M.","year":"1997","journal-title":"UK"},{"key":"p_11","doi-asserted-by":"publisher","DOI":"10.1023\/B:ITEM.0000031583.16306.0f"},{"key":"p_12","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2005.02.003"},{"key":"p_14","first-page":"208","author":"Pradin-Chezalviel B.","year":"1999","journal-title":"DC, USA"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0161-4"},{"key":"p_16","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90050-3"},{"key":"p_17","first-page":"75","author":"Sifakis J.","year":"1977","journal-title":"The Netherlands"},{"key":"p_18","first-page":"511","author":"Tazza M.","year":"1987","journal-title":"NY, USA"},{"key":"p_20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230492"},{"key":"p_23","first-page":"229","author":"Riviere N.","year":"2001","journal-title":"DC, USA"},{"key":"p_25","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"issue":"3","key":"p_27","first-page":"525","volume":"31","author":"Girault F.","year":"1997","journal-title":"Journal Europ\u00e9en des Syst\u00e8mes Automatis\u00e9s"},{"key":"p_30","first-page":"2843","author":"Soares Passos L. M.","year":"2009","journal-title":"NJ, USA"},{"key":"p_31","first-page":"400","author":"Westergaard M.","year":"2013","journal-title":"Heidelberg"},{"key":"p_32","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.01.018"},{"key":"p_34","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2011.01.004"},{"key":"p_35","first-page":"316","author":"Passos L. M. S.","year":"2014","journal-title":"DC, USA"},{"key":"p_36","first-page":"217","author":"Mantel H.","year":"1999","journal-title":"UK"},{"key":"p_37","doi-asserted-by":"publisher","DOI":"10.1007\/BF00885763"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213016500081","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T02:17:50Z","timestamp":1565144270000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213016500081"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":24,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2016,6,28]]},"published-print":{"date-parts":[[2016,6]]}},"alternative-id":["10.1142\/S0218213016500081"],"URL":"https:\/\/doi.org\/10.1142\/s0218213016500081","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"value":"0218-2130","type":"print"},{"value":"1793-6349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,6]]}}}