{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:38:35Z","timestamp":1781105915587,"version":"3.54.1"},"reference-count":0,"publisher":"IGI Global Scientific Publishing","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,10,1]]},"abstract":"<p>Service-based systems have many applications, such as e-business, health care, and homeland security. In these systems, it is necessary to provide users the capability of composing services into workflows providing higher-level functionality. In dynamic service-oriented computing environments, it is desirable that service composition is automated and situation-aware to generate robust and adaptive workflows. In this paper, an automated situation-aware service composition approach is presented. This approach is based on the a-logic, a-calculus, and a declarative model for situation awareness (SAW). This approach consists of four major components: (1) analyzing SAW requirements using our SAW model, (2) translating our SAW model representation to a-logic specifications and specifying a control flow graph in a-logic as the service composition goal, (3) automated synthesis of a-calculus terms defining situation-aware workflow agents based on a-logic specifications for SAW requirements and the control flow graph, and (4) compilation of a-calculus terms to executable components.<\/p>","DOI":"10.4018\/jwsr.2007100103","type":"journal-article","created":{"date-parts":[[2011,2,15]],"date-time":"2011-02-15T14:07:17Z","timestamp":1297778837000},"page":"59-82","source":"Crossref","is-referenced-by-count":24,"title":["Automated Situation-Aware Service Composition in Service-Oriented Computing"],"prefix":"10.4018","volume":"4","author":[{"given":"S.S.","family":"Yau","sequence":"first","affiliation":[{"name":"Arizona State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"H.","family":"Davulcu","sequence":"additional","affiliation":[{"name":"Arizona State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Mukhopadhyay","sequence":"additional","affiliation":[{"name":"Utah State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D.","family":"Huang","sequence":"additional","affiliation":[{"name":"Arizona State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"H.","family":"Gong","sequence":"additional","affiliation":[{"name":"Arizona State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"Singh","sequence":"additional","affiliation":[{"name":"Arizona State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"F.","family":"Gelgi","sequence":"additional","affiliation":[{"name":"Arizona State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","container-title":["International Journal of Web Services Research"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=3109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T18:05:18Z","timestamp":1654106718000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jwsr.2007100103"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2007,10,1]]},"references-count":0,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,10]]}},"URL":"https:\/\/doi.org\/10.4018\/jwsr.2007100103","relation":{},"ISSN":["1545-7362","1546-5004"],"issn-type":[{"value":"1545-7362","type":"print"},{"value":"1546-5004","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,1]]}}}