{"id":"https://openalex.org/W2098548358","doi":"https://doi.org/10.1109/edocw.2009.5332007","title":"Monitoring safety properties of composite web services at runtime using CSP","display_name":"Monitoring safety properties of composite web services at runtime using CSP","publication_year":2009,"publication_date":"2009-09-01","ids":{"openalex":"https://openalex.org/W2098548358","doi":"https://doi.org/10.1109/edocw.2009.5332007","mag":"2098548358"},"language":"en","primary_location":{"id":"doi:10.1109/edocw.2009.5332007","is_oa":false,"landing_page_url":"https://doi.org/10.1109/edocw.2009.5332007","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 13th Enterprise Distributed Object Computing Conference Workshops","raw_type":"proceedings-article"},"type":"article","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/A5097148038","display_name":"Mohse Khaxar","orcid":null},"institutions":[{"id":"https://openalex.org/I1516879","display_name":"Tarbiat Modares University","ror":"https://ror.org/03mwgfy56","country_code":"IR","type":"education","lineage":["https://openalex.org/I1516879"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Mohse Khaxar","raw_affiliation_strings":["School of Electrical and Computer Engineering, University of Tarbiat Modares, Tehran, Iran","School of Electrical and Computer Engineering, The University of Tarbiat Modares, Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical and Computer Engineering, University of Tarbiat Modares, Tehran, Iran","institution_ids":["https://openalex.org/I1516879"]},{"raw_affiliation_string":"School of Electrical and Computer Engineering, The University of Tarbiat Modares, Tehran, Iran","institution_ids":["https://openalex.org/I1516879"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044155582","display_name":"Saeed Jalili","orcid":"https://orcid.org/0000-0002-4333-3097"},"institutions":[{"id":"https://openalex.org/I1516879","display_name":"Tarbiat Modares University","ror":"https://ror.org/03mwgfy56","country_code":"IR","type":"education","lineage":["https://openalex.org/I1516879"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Saeed Jalili","raw_affiliation_strings":["School of Electrical and Computer Engineering, University of Tarbiat Modares, Tehran, Iran","School of Electrical and Computer Engineering, The University of Tarbiat Modares, Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical and Computer Engineering, University of Tarbiat Modares, Tehran, Iran","institution_ids":["https://openalex.org/I1516879"]},{"raw_affiliation_string":"School of Electrical and Computer Engineering, The University of Tarbiat Modares, Tehran, Iran","institution_ids":["https://openalex.org/I1516879"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080062466","display_name":"Narges Khakpour","orcid":"https://orcid.org/0000-0002-0377-5595"},"institutions":[{"id":"https://openalex.org/I1516879","display_name":"Tarbiat Modares University","ror":"https://ror.org/03mwgfy56","country_code":"IR","type":"education","lineage":["https://openalex.org/I1516879"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Narges Khakpour","raw_affiliation_strings":["School of Electrical and Computer Engineering, University of Tarbiat Modares, Tehran, Iran","School of Electrical and Computer Engineering, The University of Tarbiat Modares, Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical and Computer Engineering, University of Tarbiat Modares, Tehran, Iran","institution_ids":["https://openalex.org/I1516879"]},{"raw_affiliation_string":"School of Electrical and Computer Engineering, The University of Tarbiat Modares, Tehran, Iran","institution_ids":["https://openalex.org/I1516879"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109219282","display_name":"M. Shaban Jokhio","orcid":null},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"M. Shaban Jokhio","raw_affiliation_strings":["Department of Computer Science, University of Auckland, Auckland, New Zealand","Department of Computer Science, The University of Auckland, New Zealand#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"Department of Computer Science, The University of Auckland, New Zealand#TAB#","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.3293,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.91604904,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"1","issue":null,"first_page":"107","last_page":"113"},"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":1.0,"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":1.0,"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.9990000128746033,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9973999857902527,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.82928866147995},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8106919527053833},{"id":"https://openalex.org/keywords/traverse","display_name":"Traverse","score":0.6769962310791016},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5867145657539368},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.5502967834472656},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.5468752384185791},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5236744284629822},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4552118480205536},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.4250872731208801},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3741799592971802}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.82928866147995},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8106919527053833},{"id":"https://openalex.org/C176809094","wikidata":"https://www.wikidata.org/wiki/Q15401496","display_name":"Traverse","level":2,"score":0.6769962310791016},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5867145657539368},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.5502967834472656},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.5468752384185791},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5236744284629822},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4552118480205536},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4250872731208801},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3741799592971802},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","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/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/edocw.2009.5332007","is_oa":false,"landing_page_url":"https://doi.org/10.1109/edocw.2009.5332007","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 13th Enterprise Distributed Object Computing Conference Workshops","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.44999998807907104,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W240154444","https://openalex.org/W1578754560","https://openalex.org/W1588668163","https://openalex.org/W1659289657","https://openalex.org/W1749129787","https://openalex.org/W1821563272","https://openalex.org/W2030145186","https://openalex.org/W2054620608","https://openalex.org/W2075920544","https://openalex.org/W2097739043","https://openalex.org/W2100716485","https://openalex.org/W2101417106","https://openalex.org/W2120853077","https://openalex.org/W2122633358","https://openalex.org/W2129384397","https://openalex.org/W2130169947","https://openalex.org/W2147573685","https://openalex.org/W2171264441","https://openalex.org/W2602086452","https://openalex.org/W2604775718","https://openalex.org/W4285719527","https://openalex.org/W6657994623"],"related_works":["https://openalex.org/W1546980300","https://openalex.org/W2013343621","https://openalex.org/W4246898356","https://openalex.org/W100127945","https://openalex.org/W2994043954","https://openalex.org/W2898818629","https://openalex.org/W109358238","https://openalex.org/W1982098960","https://openalex.org/W2136457176","https://openalex.org/W2920199510"],"abstract_inverted_index":{"Nowadays,":[0],"service":[1,42,126],"oriented":[2],"architecture":[3],"has":[4],"been":[5],"given":[6],"strong":[7],"attention":[8],"as":[9],"an":[10],"important":[11],"approach":[12],"to":[13,37,68,80,88,109,132],"integrate":[14],"heterogeneous":[15],"systems,":[16],"in":[17,48,117],"which":[18,62,142],"complex":[19],"services":[20,26,61],"are":[21,114,139],"created":[22],"by":[23,28,135,147],"composing":[24],"simpler":[25],"offered":[27],"various":[29],"systems.":[30],"The":[31],"correctness":[32],"of":[33,59,76,92,122],"composition":[34,127],"requires":[35],"techniques":[36],"verify":[38,89],"if":[39],"the":[40,73,90,98],"composite":[41,60,94],"behaves":[43],"properly.":[44],"To":[45],"this":[46,49],"end,":[47],"paper":[50],"we":[51,96],"propose":[52],"a":[53,81,93],"new":[54],"method":[55],"for":[56],"runtime":[57],"monitoring":[58],"uses":[63],"Communicating":[64],"Sequential":[65],"Processes":[66],"(CSP)":[67],"specify":[69,110],"properties":[70,77,141],"formally.":[71],"Then,":[72],"CSP":[74,123,130],"specification":[75],"is":[78],"translated":[79],"Labeled":[82],"Transition":[83],"System":[84],"(LTS).":[85],"In":[86],"order":[87],"safety":[91,111],"service,":[95],"traverse":[97],"generated":[99],"LTS":[100],"at":[101],"runtime.":[102],"Existing":[103],"methods":[104],"almost":[105],"use":[106],"temporal":[107,148],"logic":[108],"properties.":[112],"There":[113],"two":[115],"advantages":[116],"using":[118,155],"CSP:":[119],"1)":[120],"similarity":[121],"operators":[124],"and":[125],"patterns":[128],"makes":[129],"straightforward":[131],"be":[133,145,153],"used":[134],"users.":[136],"2)":[137],"there":[138],"some":[140],"can":[143,152],"not":[144],"specified":[146],"logic,":[149],"while":[150],"they":[151],"expressed":[154],"CSP.":[156]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}