{"id":"https://openalex.org/W225925234","doi":"https://doi.org/10.31274/rtd-180813-16802","title":"Interactive and verifiable web services composition, specification reformulation and substitution","display_name":"Interactive and verifiable web services composition, specification reformulation and substitution","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W225925234","doi":"https://doi.org/10.31274/rtd-180813-16802","mag":"225925234"},"language":"en","primary_location":{"id":"doi:10.31274/rtd-180813-16802","doi":"https://doi.org/10.31274/rtd-180813-16802","is_oa":false,"landing_page_url":"https://doi.org/10.31274/rtd-180813-16802","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Iowa State University, Digital Repository","raw_type":"dissertation"},"volume":null,"type":"dissertation","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051691741","display_name":"Jyotishman Pathak","orcid":"https://orcid.org/0000-0002-4856-410X","observed_orcids":["https://orcid.org/0000-0002-4856-410X"]},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jyotishman Pathak","raw_affiliation_strings":["Iowa State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Iowa State University","institution_ids":["https://openalex.org/I173911158"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5051691741"],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.0007999999797903001,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/web-service-composition","display_name":"web service composition","score":0.746999979019165},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"service-oriented architecture","score":0.7419999837875366},{"id":"https://openalex.org/keywords/service-substitution","display_name":"service substitution","score":0.8460000157356262},{"id":"https://openalex.org/keywords/service-availability","display_name":"service availability","score":0.367000013589859},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.328000009059906},{"id":"https://openalex.org/keywords/incomplete-specifications","display_name":"incomplete specifications","score":0.45100000500679016},{"id":"https://openalex.org/keywords/e-science","display_name":"e-Science","score":0.46399998664855957},{"id":"https://openalex.org/keywords/e-commerce","display_name":"e-commerce","score":0.9340000152587891},{"id":"https://openalex.org/keywords/e-government","display_name":"e-government","score":0.9950000047683716}],"concepts":[{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.7206259965896606},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7061789631843567},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5666687488555908},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.53411465883255},{"id":"https://openalex.org/C542858634","wikidata":"https://www.wikidata.org/wiki/Q7455845","display_name":"Services computing","level":3,"score":0.5179945230484009},{"id":"https://openalex.org/C190515685","wikidata":"https://www.wikidata.org/wiki/Q749179","display_name":"WS-Policy","level":5,"score":0.4936603009700775},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4906719923019409},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4734087884426117},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.384011447429657},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36845117807388306},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.35720834136009216},{"id":"https://openalex.org/C79373723","wikidata":"https://www.wikidata.org/wiki/Q386275","display_name":"Web development","level":3,"score":0.16920402646064758},{"id":"https://openalex.org/C59241245","wikidata":"https://www.wikidata.org/wiki/Q4781497","display_name":"Web application security","level":4,"score":0.15296566486358643},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.31274/rtd-180813-16802","doi":"https://doi.org/10.31274/rtd-180813-16802","is_oa":false,"landing_page_url":"https://doi.org/10.31274/rtd-180813-16802","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Iowa State University, Digital Repository","raw_type":"dissertation"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.91.2549","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.2549","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.iastate.edu/~jpathak/thesis.pdf","raw_type":"text"},{"id":"pmh:oai:dr.lib.iastate.edu:20.500.12876/69233","doi":null,"is_oa":false,"landing_page_url":"https://dr.lib.iastate.edu/handle/20.500.12876/69233","pdf_url":null,"source":{"id":"https://openalex.org/S4377196104","display_name":"Iowa State University Digital Repository (Iowa State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I173911158","host_organization_name":"Iowa State University","host_organization_lineage":["https://openalex.org/I173911158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"archive/lib.dr.iastate.edu/rtd/15586/3289388.PDF|||Fri Jan 14 20:43:20 UTC 2022","raw_type":"dissertation"},{"id":"pmh:oai:lib.dr.iastate.edu:rtd-16585","doi":null,"is_oa":false,"landing_page_url":"https://lib.dr.iastate.edu/rtd/15586","pdf_url":null,"source":{"id":"https://openalex.org/S4377196104","display_name":"Iowa State University Digital Repository (Iowa State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I173911158","host_organization_name":"Iowa State University","host_organization_lineage":["https://openalex.org/I173911158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Retrospective Theses and Dissertations","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":129,"referenced_works":["https://openalex.org/W25262691","https://openalex.org/W67142796","https://openalex.org/W68830518","https://openalex.org/W72283697","https://openalex.org/W111900207","https://openalex.org/W151538500","https://openalex.org/W198959235","https://openalex.org/W375592920","https://openalex.org/W1239375374","https://openalex.org/W1480434155","https://openalex.org/W1483285432","https://openalex.org/W1488556964","https://openalex.org/W1489021242","https://openalex.org/W1491616356","https://openalex.org/W1495288145","https://openalex.org/W1497158441","https://openalex.org/W1502898035","https://openalex.org/W1503973138","https://openalex.org/W1512262854","https://openalex.org/W1517867192","https://openalex.org/W1526993786","https://openalex.org/W1536956420","https://openalex.org/W1546481604","https://openalex.org/W1554082021","https://openalex.org/W1556261887","https://openalex.org/W1568912083","https://openalex.org/W1587645767","https://openalex.org/W1587782590","https://openalex.org/W1593905218","https://openalex.org/W1605593319","https://openalex.org/W1607973151","https://openalex.org/W1608411866","https://openalex.org/W1612453857","https://openalex.org/W1613680257","https://openalex.org/W1659289657","https://openalex.org/W1714132059","https://openalex.org/W1816683144","https://openalex.org/W1820868276","https://openalex.org/W1868260891","https://openalex.org/W1880896921","https://openalex.org/W1962632332","https://openalex.org/W1963833910","https://openalex.org/W1966372206","https://openalex.org/W1973289396","https://openalex.org/W1975348964","https://openalex.org/W1976077692","https://openalex.org/W2002089154","https://openalex.org/W2007668401","https://openalex.org/W2012024302","https://openalex.org/W2018957348","https://openalex.org/W2020260970","https://openalex.org/W2037064850","https://openalex.org/W2039853888","https://openalex.org/W2040961049","https://openalex.org/W2046213250","https://openalex.org/W2048905609","https://openalex.org/W2053097376","https://openalex.org/W2054099039","https://openalex.org/W2054931328","https://openalex.org/W2058284014","https://openalex.org/W2059661024","https://openalex.org/W2060703011","https://openalex.org/W2065526162","https://openalex.org/W2080297417","https://openalex.org/W2083091245","https://openalex.org/W2092883046","https://openalex.org/W2095511627","https://openalex.org/W2096996519","https://openalex.org/W2101134527","https://openalex.org/W2101691918","https://openalex.org/W2103303016","https://openalex.org/W2104059603","https://openalex.org/W2104066249","https://openalex.org/W2105870318","https://openalex.org/W2106319433","https://openalex.org/W2106353452","https://openalex.org/W2109678367","https://openalex.org/W2111291256","https://openalex.org/W2112476716","https://openalex.org/W2112724254","https://openalex.org/W2116445209","https://openalex.org/W2119416645","https://openalex.org/W2120211169","https://openalex.org/W2122410182","https://openalex.org/W2123839241","https://openalex.org/W2123845384","https://openalex.org/W2125021152","https://openalex.org/W2126698587","https://openalex.org/W2126728257","https://openalex.org/W2127504754","https://openalex.org/W2128433357","https://openalex.org/W2131805317","https://openalex.org/W2133778294","https://openalex.org/W2135103397","https://openalex.org/W2135231094","https://openalex.org/W2136920408","https://openalex.org/W2137865376","https://openalex.org/W2138275179","https://openalex.org/W2143007052","https://openalex.org/W2147357263","https://openalex.org/W2148996947","https://openalex.org/W2149447924","https://openalex.org/W2150751165","https://openalex.org/W2156036182","https://openalex.org/W2156877380","https://openalex.org/W2157035759","https://openalex.org/W2157066384","https://openalex.org/W2157418168","https://openalex.org/W2157501505","https://openalex.org/W2158559692","https://openalex.org/W2159423485","https://openalex.org/W2160375412","https://openalex.org/W2161484642","https://openalex.org/W2163126161","https://openalex.org/W2167108874","https://openalex.org/W2170396273","https://openalex.org/W2170418117","https://openalex.org/W2184296831","https://openalex.org/W2185045232","https://openalex.org/W2293287097","https://openalex.org/W2336123333","https://openalex.org/W2602260680","https://openalex.org/W2611876927","https://openalex.org/W2624907881","https://openalex.org/W2760663457","https://openalex.org/W2770613891","https://openalex.org/W2982887048","https://openalex.org/W3153785743","https://openalex.org/W3165518625"],"related_works":["https://openalex.org/W7100447210","https://openalex.org/W2080297417","https://openalex.org/W1487684216","https://openalex.org/W7096805216","https://openalex.org/W7098502482","https://openalex.org/W7098720012","https://openalex.org/W2111464874","https://openalex.org/W2055547427","https://openalex.org/W1975478174","https://openalex.org/W187706589"],"abstract_inverted_index":{"Recent":[0],"advances":[1],"in":[2,12,38,90,223,259,392,432],"networks,":[3],"information":[4],"and":[5,8,18,23,45,62,114,125,172,242,298,305,324,332,415,470,481,500,508],"computation":[6],"grids,":[7],"WWW":[9],"have":[10],"resulted":[11],"the":[13,55,86,109,130,151,155,163,166,176,183,198,213,219,224,233,237,240,253,268,285,302,312,329,335,356,361,388,403,413,419,427,439,443,457,465,476,484,498],"proliferation":[14],"of":[15,79,85,111,129,142,168,182,226,239,270,301,343,352,387,418,429,442,453,464,478,502],"physically":[16],"distributed":[17],"autonomously":[19],"developed":[20],"software":[21],"components":[22],"services.":[24,255],"These":[25],"developments":[26],"allow":[27],"us":[28],"to":[29,59,71,121,138,175,201,235,320,375,406,438,448,475,497],"rapidly":[30],"build":[31],"new":[32,100],"value-added":[33],"applications":[34],"from":[35,76,252],"existing":[36],"ones":[37],"various":[39],"domains":[40],"such":[41,146,158,230,260],"as":[42],"e-Science,":[43],"e-Business,":[44],"e-Government.":[46],"Towards":[47],"this":[48,50,95,423,491],"end,":[49],"dissertation":[51],"develops":[52],"solutions":[53],"for":[54,102,165,327,333,506],"following":[56],"problems":[57,89],"related":[58],"Web":[60,66,74,105,204,338,433,511],"services":[61,75,82,106,145,390,512],"Service-Oriented":[63],"Architectures:":[64],"(1)":[65],"service":[67,119,205,215,220,274,304,339,346,405],"composition.":[68,227,420],"The":[69,116,341],"ability":[70],"compose":[72],"complex":[73,104,510],"a":[77,99,140,159,192,264,271,276,316,344,349,393,479],"multitude":[78],"available":[80,254],"component":[81,144,389],"is":[83,136,161,170,173,195,354,381,446],"one":[84,384],"most":[87],"important":[88],"service-oriented":[91],"computing":[92],"paradigm.":[93],"In":[94,154,209,378],"dissertation,":[96],"we":[97,262,425,460],"propose":[98],"framework":[101],"modeling":[103,507],"based":[107],"on":[108,295],"techniques":[110],"abstraction,":[112],"composition":[113,149,160,169,194,246,394,444,480],"reformulation.":[115],"approach":[117],"allows":[118],"developers":[120,221,258],"specify":[122],"an":[123,244],"abstract":[124],"possibly":[126],"incomplete":[127],"specification":[128,135,206,216,247,269],"composite":[131,214,273,303,345,362],"(goal)":[132],"service.":[133],"This":[134,186],"used":[137],"select":[139],"set":[141,351],"suitable":[143],"that":[147,157,248,347,360,373,383,445],"their":[148],"realizes":[150],"desired":[152,272,350],"goal.":[153],"event":[156],"unrealizable,":[162],"cause":[164],"failure":[167,225,231,241],"determined":[171],"communicated":[174],"developer":[177,199,234],"thereby":[178],"enabling":[179],"further":[180],"reformulation":[181,207],"goal":[184],"specification.":[185],"process":[187],"can":[188,249,366,487],"be":[189,250,367,376,407,449,488],"iterated":[190],"until":[191],"feasible":[193],"identified":[196],"or":[197,385],"decides":[200],"abort.":[202],"(2)":[203],".":[208],"practice,":[210],"often":[211],"times":[212],"provided":[217],"by":[218,409],"result":[222],"Typically,":[228],"handling":[229],"requires":[232],"analyze":[236],"cause(s)":[238],"obtain":[243],"alternate":[245,282,307],"realized":[251],"To":[256,421],"assist":[257],"situations,":[261],"describe":[263],"technique":[265,293],"which":[266],"given":[267],"with":[275,284],"certain":[277],"functional":[278,287,414],"behavior,":[279],"automatically":[280],"identifies":[281],"specifications":[283,308],"same":[286],"behavior.":[288],"At":[289],"its":[290,454],"core,":[291],"our":[292],"relies":[294],"analyzing":[296],"data":[297,318,330],"control":[299],"dependencies":[300],"generating":[306],"on-the-fly":[309],"without":[310,411],"violating":[311,412],"dependencies.":[313],"We":[314],"present":[315],"novel":[317],"structure":[319,331],"record":[321],"these":[322],"dependencies,":[323],"devise":[325],"algorithms":[326],"populating":[328],"obtaining":[334],"alternatives.":[336],"(3)":[337],"substitution.":[340],"assembly":[342],"satisfy":[348],"requirements":[353],"only":[355],"first":[357],"step.":[358],"Ensuring":[359],"service,":[363],"once":[364],"assembled,":[365],"successfully":[368],"deployed":[369],"presents":[370],"additional":[371],"challenges":[372],"need":[374],"addressed.":[377],"particular,":[379],"it":[380],"possible":[382],"more":[386],"participating":[391],"might":[395],"become":[396],"unavailable":[397,404],"during":[398],"deployment.":[399],"Such":[400],"circumstances":[401],"warrant":[402],"substituted":[408],"another":[410],"behavioral":[416],"properties":[417],"address":[422],"requirement,":[424],"introduce":[426],"notion":[428],"context-specific":[430],"substitutability":[431,485],"services,":[434],"where":[435,472],"context":[436,458],"refers":[437,474],"overall":[440],"functionality":[441],"required":[447],"maintained":[450],"after":[451],"replacement":[452],"constituents.":[455],"Using":[456],"information,":[459],"investigate":[461],"two":[462],"variants":[463],"substitution":[466],"problem,":[467],"namely":[468],"environment-independent":[469],"environment-dependent,":[471],"environment":[473],"constituents":[477],"show":[482],"how":[483],"criteria":[486],"relaxed":[489],"within":[490],"model.;The":[492],"work":[493],"described":[494],"above":[495],"contributed":[496],"design":[499],"implementation":[501],"MoSCoE---an":[503],"open-source":[504],"platform":[505],"executing":[509],"(http://www.moscoe.org).":[513]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}