{"id":"https://openalex.org/W2169664712","doi":"https://doi.org/10.1109/ecows.2009.19","title":"Run-time Verification of Behavioural Conformance for Conversational Web Services","display_name":"Run-time Verification of Behavioural Conformance for Conversational Web Services","publication_year":2009,"publication_date":"2009-11-01","ids":{"openalex":"https://openalex.org/W2169664712","doi":"https://doi.org/10.1109/ecows.2009.19","mag":"2169664712"},"language":"en","primary_location":{"id":"doi:10.1109/ecows.2009.19","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ecows.2009.19","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 Seventh IEEE European Conference on Web Services","raw_type":"proceedings-article"},"type":"conference-paper","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/A5031427128","display_name":"Dimitris Dranidis","orcid":"https://orcid.org/0000-0001-5438-1193"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dimit Dranidis","raw_affiliation_strings":["Computer Science Department, City College, Affiliated Institution, University of Sheffield, Thessaloniki, Greece"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, City College, Affiliated Institution, University of Sheffield, Thessaloniki, Greece","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017930582","display_name":"Ervin Ramollari","orcid":"https://orcid.org/0009-0006-8614-7813"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ervin Ramollari","raw_affiliation_strings":["South East European Research Centre (SEERC), Research Centre, City College, University of Sheffield, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"South East European Research Centre (SEERC), Research Centre, City College, University of Sheffield, UK","institution_ids":["https://openalex.org/I91136226"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110067927","display_name":"Dimitrios Kourtesis","orcid":null},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dimitrios Kourtesis","raw_affiliation_strings":["South East European Research Centre (SEERC), Research Centre, City College, University of Sheffield, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"South East European Research Centre (SEERC), Research Centre, City College, University of Sheffield, UK","institution_ids":["https://openalex.org/I91136226"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"139","last_page":"147"},"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.9998999834060669,"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.9998999834060669,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991999864578247,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.816977858543396},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.8017807006835938},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.5973390936851501},{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.5668932795524597},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5352770686149597},{"id":"https://openalex.org/keywords/ws-policy","display_name":"WS-Policy","score":0.48378607630729675},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.440022736787796},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4219411611557007},{"id":"https://openalex.org/keywords/business-process-execution-language","display_name":"Business Process Execution Language","score":0.4207790195941925},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4055377244949341},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.3138465881347656},{"id":"https://openalex.org/keywords/web-development","display_name":"Web development","score":0.2135808765888214},{"id":"https://openalex.org/keywords/web-application-security","display_name":"Web application security","score":0.20195907354354858},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1430164873600006},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10711947083473206},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.07696554064750671}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.816977858543396},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.8017807006835938},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.5973390936851501},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.5668932795524597},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5352770686149597},{"id":"https://openalex.org/C190515685","wikidata":"https://www.wikidata.org/wiki/Q749179","display_name":"WS-Policy","level":5,"score":0.48378607630729675},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.440022736787796},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4219411611557007},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.4207790195941925},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4055377244949341},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3138465881347656},{"id":"https://openalex.org/C79373723","wikidata":"https://www.wikidata.org/wiki/Q386275","display_name":"Web development","level":3,"score":0.2135808765888214},{"id":"https://openalex.org/C59241245","wikidata":"https://www.wikidata.org/wiki/Q4781497","display_name":"Web application security","level":4,"score":0.20195907354354858},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1430164873600006},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10711947083473206},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.07696554064750671},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.0},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.0},{"id":"https://openalex.org/C42360764","wikidata":"https://www.wikidata.org/wiki/Q83588","display_name":"Chemical engineering","level":1,"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":2,"locations":[{"id":"doi:10.1109/ecows.2009.19","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ecows.2009.19","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 Seventh IEEE European Conference on Web Services","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:10851","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Proceedings Paper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6100000143051147,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W65220361","https://openalex.org/W1504452548","https://openalex.org/W1515520584","https://openalex.org/W1538137835","https://openalex.org/W1564133867","https://openalex.org/W1913994773","https://openalex.org/W2009379862","https://openalex.org/W2036520078","https://openalex.org/W2047916890","https://openalex.org/W2059752515","https://openalex.org/W2070239227","https://openalex.org/W2087103691","https://openalex.org/W2101417106","https://openalex.org/W2111403586","https://openalex.org/W2114243230","https://openalex.org/W2123884728","https://openalex.org/W2126308222","https://openalex.org/W2167954650","https://openalex.org/W4285719527","https://openalex.org/W6602685277"],"related_works":["https://openalex.org/W100127945","https://openalex.org/W2395448813","https://openalex.org/W1488887129","https://openalex.org/W2154532737","https://openalex.org/W2118503825","https://openalex.org/W2226031345","https://openalex.org/W2348156916","https://openalex.org/W2037618739","https://openalex.org/W2795633176","https://openalex.org/W1613187755"],"abstract_inverted_index":{"Web":[0,45,60,94,113],"services":[1,32,61,114,121],"exposing":[2],"run-time":[3,42,71,131],"behaviour":[4,72],"that":[5,68],"deviates":[6],"from":[7,76],"their":[8],"behavioural":[9,29,57],"specifications":[10,58],"represent":[11],"a":[12,19,38,69,93,110,130],"major":[13],"threat":[14],"to":[15,26],"the":[16,28,49,81,89,97,100,103],"sustainability":[17],"of":[18,31,44,51,59,92,99,112,120,146],"service-oriented":[20,147],"ecosystem.":[21],"It":[22,47],"is":[23,78],"therefore":[24],"critical":[25],"verify":[27],"conformance":[30],"during":[33],"run-time.":[34,126],"This":[35],"paper":[36,107],"discusses":[37,116,137],"novel":[39],"approach":[40,84],"for":[41,54,66,86],"verification":[43,134],"services.":[46],"proposes":[48,109],"utilisation":[50],"Stream":[52],"X-machines":[53],"constructing":[55],"formal":[56],"which":[62],"can":[63,122,140],"be":[64,123,141],"exploited":[65],"verifying":[67],"service's":[70],"does":[73],"not":[74],"deviate":[75],"what":[77],"defined":[79],"in":[80,102],"specification.":[82],"Our":[83],"allows":[85],"checking":[87],"both":[88],"control":[90],"flow":[91],"service":[95],"and":[96,115,133,136],"values":[98],"data":[101],"generated":[104],"responses.":[105],"The":[106],"also":[108],"classification":[111],"how":[117,138],"different":[118,144],"types":[119,145],"verified":[124],"at":[125],"Finally,":[127],"it":[128,139],"presents":[129],"monitoring":[132],"architecture":[135],"integrated":[142],"into":[143],"infrastructures.":[148]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}