{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T11:56:34Z","timestamp":1775303794826,"version":"3.50.1"},"reference-count":23,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2018.2885948","type":"journal-article","created":{"date-parts":[[2018,12,10]],"date-time":"2018-12-10T14:30:10Z","timestamp":1544452210000},"page":"2281-2290","source":"Crossref","is-referenced-by-count":0,"title":["Composition of Partially-Observable Services"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5043-227X","authenticated-orcid":false,"given":"Hikmat","family":"Farhat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2011.54"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1609\/icaps.v19i1.13360","article-title":"Composition of partially observable services exporting their behaviour","author":"de giacomo","year":"2009","journal-title":"Proc ICAPS"},{"key":"ref12","first-page":"110","article-title":"Expressive planning and explicit knowledge","author":"goldman","year":"1996","journal-title":"Proc AIPS"},{"key":"ref13","author":"lawler","year":"1985","journal-title":"The Traveling Salesman Problem A Guided Tour of Combinatorial Optimization"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2508978"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-4(2:5)2008"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ECOWS.2011.18"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref18","first-page":"43","article-title":"A survey of automated Web service composition methods","author":"rao","year":"2005","journal-title":"Proc Int Conf Web Services"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.12.002"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"491","DOI":"10.65109\/ZDHW5353","article-title":"Agent programming via planning programs","volume":"1","author":"de giacomo","year":"2010","journal-title":"Proc 9th Int Conf Auton Agents Multiagent Syst (AAMAS)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2016.2533348"},{"key":"ref8","article-title":"Composition services behavior via orchestrator synthesis","author":"farhat","year":"2014"},{"key":"ref7","first-page":"1866","article-title":"Automatic synthesis of new behaviors from a library of available behaviors","author":"de giacomo","year":"2007","journal-title":"Proc Intern Joint Conf Artificial Intel (IJCAI)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES-1.2008.11"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","article-title":"Theory of regions","author":"badouel","year":"1998","journal-title":"Lectures on Petri Nets I Basic Models Advances in Petri Nets"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2874564"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30475-3_27"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.02.013"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2018.03.038"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2012.75"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08571226.pdf?arnumber=8571226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T11:02:20Z","timestamp":1775300540000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8571226\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/access.2018.2885948","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]}}}