{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T16:02:22Z","timestamp":1740153742167,"version":"3.37.3"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T00:00:00Z","timestamp":1625097600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T00:00:00Z","timestamp":1625097600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T00:00:00Z","timestamp":1625097600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Serv. Comput."],"published-print":{"date-parts":[[2021,7,1]]},"DOI":"10.1109\/tsc.2018.2866791","type":"journal-article","created":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T18:48:57Z","timestamp":1535050137000},"page":"1179-1193","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of Regulation Compliant Business Processes"],"prefix":"10.1109","volume":"14","author":[{"given":"Nina","family":"Ghanbari Ghooshchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3199-1604","authenticated-orcid":false,"given":"Nick","family":"van Beest","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9878-2762","authenticated-orcid":false,"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Olivieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19069-3_6"},{"key":"ref32","first-page":"1","article-title":"Declare: A tool suite for declarative workflow modeling and enactment","volume":"820","author":"westergaard","year":"2011","journal-title":"Business Process Management Demonstration"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2007.14"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22359-4_19"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25524-8_43"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-44927-7_15"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-010-9130-9"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2015.12"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-015-9558-1"},{"key":"ref11","first-page":"99","article-title":"Picking up the best goal—An analytical study in defeasible logic","author":"governatori","year":"2013","journal-title":"Proc Int Workshop Rules Rule Markup Languages Semantic Web"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068416000053"},{"journal-title":"Automated Planning Theory and Practice","year":"2004","author":"ghallab","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"article-title":"Communication with automata","year":"1966","author":"petri","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/978-3-642-38697-8_17","article-title":"Discovering 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":"ref19","first-page":"34","article-title":"ProM 6: The process mining toolkit","volume":"615","author":"verbeek","year":"2010","journal-title":"BPM Demo"},{"key":"ref28","first-page":"1057","article-title":"Programming norm-aware agents","author":"alechina","year":"2012","journal-title":"Proc 11th Int Conf Auton Agents Multiagent Syst"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25975-6_12"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.4230\/DFU.Vol4.12111.71"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-60566-288-6.ch020"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21759-3_9"},{"key":"ref29","first-page":"33","article-title":"The KGP model of agency","author":"kakas","year":"2004","journal-title":"Proc General Eur Conf Artif Intell"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2013.07.003"},{"key":"ref8","first-page":"162","article-title":"From declarative processes to imperative models","author":"prescher","year":"2014","journal-title":"Proc Int Symp Data-Driven Process Discovery Analysis"},{"key":"ref7","article-title":"Automated planning of process models: The construction of simple merges","author":"heinrich","year":"2016","journal-title":"Proc 24th Eur Conf Inf Syst"},{"journal-title":"Business Rules and Information Systems Aligning IT with Business Goals","year":"2002","author":"morgan","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2017.21"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2668418"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2016.2579621"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.2165204"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-008-9036-y"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-26350-0_2"},{"key":"ref26","first-page":"428","article-title":"Goal generation in the BOID architecture","volume":"2","author":"broersen","year":"2002","journal-title":"Cogn Sci Quart"},{"key":"ref25","first-page":"143","article-title":"BDI agent programming in agentspeak using Jason (tutorial paper)","author":"bordini","year":"2005","journal-title":"Proc 6th Int Conf Comput Logic Multi-Agent Syst"}],"container-title":["IEEE Transactions on Services Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4629386\/9507584\/08444668.pdf?arnumber=8444668","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:52:47Z","timestamp":1652194367000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8444668\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,1]]},"references-count":37,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tsc.2018.2866791","relation":{},"ISSN":["1939-1374","2372-0204"],"issn-type":[{"type":"electronic","value":"1939-1374"},{"type":"electronic","value":"2372-0204"}],"subject":[],"published":{"date-parts":[[2021,7,1]]}}}