{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:19:27Z","timestamp":1759331967629,"version":"3.37.3"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,5,1]],"date-time":"2020-05-01T00:00:00Z","timestamp":1588291200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"POR project"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Knowl. Data Eng."],"published-print":{"date-parts":[[2020,5,1]]},"DOI":"10.1109\/tkde.2019.2897309","type":"journal-article","created":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T01:46:22Z","timestamp":1549331182000},"page":"898-911","source":"Crossref","is-referenced-by-count":7,"title":["Control-Flow Modeling with Declare: Behavioral Properties, Computational Complexity, and Tools"],"prefix":"10.1109","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7018-1324","authenticated-orcid":false,"given":"Valeria","family":"Fionda","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3159-0536","authenticated-orcid":false,"given":"Antonella","family":"Guzzo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2016.10.006"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43745-2_4"},{"key":"ref33","first-page":"24","article-title":"Data centric bpm and the emerging case management standard: A short survey","author":"marin","year":"2012","journal-title":"Proc Bus Inf Process"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2002259.2002270"},{"key":"ref31","first-page":"1","article-title":"Introduction to the case management model and notation (CMMN)","volume":"abs 1608 5011","author":"marin","year":"2016","journal-title":"CoRR"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2016.08.040"},{"key":"ref37","first-page":"82","article-title":"Monitoring business process compliance using compliance rule graphs","author":"ly","year":"2011","journal-title":"Proc CoopIS"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.22"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2013.05.005"},{"key":"ref34","first-page":"143","author":"debois","year":"2015","journal-title":"Safety Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes"},{"key":"ref10","first-page":"513","article-title":"LTLf satisfiability checking","author":"li","year":"2014","journal-title":"Proc 21st Conf Artif Intell"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0526-0"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.11256"},{"key":"ref12","first-page":"3","article-title":"The difference between graph-based and block-structured business process modelling languages","volume":"4","author":"kopp","year":"2009","journal-title":"EMISA"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/978-3-642-38697-8_17","article-title":"Block-structured process models from event logs - A constructive approach","author":"leemans","year":"2013","journal-title":"Proc Int Conf Appl Theory Petri Nets Concurrency"},{"key":"ref14","first-page":"465","article-title":"How much language is enough? Theoretical and practical use of the business process modeling notation","author":"zur muehlen","year":"2008","journal-title":"Proc Int Conf Adv Inf Syst Eng"},{"key":"ref15","first-page":"1027","article-title":"Reasoning on LTL on finite traces: Insensitivity to infiniteness","author":"de giacomo","year":"2014","journal-title":"Proc 28th AAAI Conf Artif Intell"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CIDM.2011.5949297"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2014.06.012"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.09.057"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.06.009"},{"key":"ref28","first-page":"130","article-title":"Process mining and verification of properties: An approach based on temporal logic","volume":"3760","author":"van der aalst","year":"2","journal-title":"Proc Confederated Int Conf Move Meaningful Int Syst"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref27","first-page":"169","article-title":"Process mining manifesto","author":"van der aalst","year":"2011","journal-title":"Proc Int Conf Bus Process Manage"},{"key":"ref3","first-page":"169","article-title":"A declarative approach for flexible business processes management","author":"pesic","year":"2006","journal-title":"Proc Int Conf Bus Process Manage"},{"key":"ref6","first-page":"146","article-title":"Enacting declarative languages using LTL: Avoiding errors and improving performance","author":"pesic","year":"2010","journal-title":"Proc International SPIN Workshop on Model Checking of Software"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2012.15"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90110-9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-009-0057-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2007.14"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s13740-014-0038-4"},{"key":"ref9","first-page":"854","article-title":"Linear temporal logic and linear dynamic logic on finite traces","author":"de giacomo","year":"2013","journal-title":"Proc 23rd Int Joint Conf Artif Intell"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4"},{"key":"ref20","first-page":"238","article-title":"An automata-theoretic approach to linear temporal logic","author":"vardi","year":"1995","journal-title":"Logics for Concurrency Structures Versus Automata"},{"key":"ref22","first-page":"1","article-title":"Declare demo: A constraint-based workflow management system","author":"pesic","year":"2009","journal-title":"Proc of BPM Demonstration Track"},{"journal-title":"Computers and Intractability - A Guide to the Theory of NP-completeness","year":"1979","author":"garey","key":"ref21"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.08.004"},{"article-title":"Specification and verification of declarative open interaction models - A logic-based framework","year":"2009","author":"montali","key":"ref24"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2015.07.040"},{"key":"ref23","first-page":"1","article-title":"Cpn tools 4: A process modeling tool combining declarative and imperative paradigms","author":"westergaard","year":"2013","journal-title":"Proceedings of the BPM Demo Sessions"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78238-4_35"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1658373.1658376"}],"container-title":["IEEE Transactions on Knowledge and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/69\/9055295\/08633413.pdf?arnumber=8633413","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:41:53Z","timestamp":1651070513000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8633413\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,1]]},"references-count":42,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tkde.2019.2897309","relation":{},"ISSN":["1041-4347","1558-2191","2326-3865"],"issn-type":[{"type":"print","value":"1041-4347"},{"type":"electronic","value":"1558-2191"},{"type":"electronic","value":"2326-3865"}],"subject":[],"published":{"date-parts":[[2020,5,1]]}}}