{"id":"https://openalex.org/W4415933783","doi":"https://doi.org/10.1109/tsc.2025.3629323","title":"BSTL: Bayesian STL for Predictive Edge Service Monitoring With Probabilistic Guarantee","display_name":"BSTL: Bayesian STL for Predictive Edge Service Monitoring With Probabilistic Guarantee","publication_year":2025,"publication_date":"2025-11-05","ids":{"openalex":"https://openalex.org/W4415933783","doi":"https://doi.org/10.1109/tsc.2025.3629323"},"language":null,"primary_location":{"id":"doi:10.1109/tsc.2025.3629323","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsc.2025.3629323","pdf_url":null,"source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Services Computing","raw_type":"journal-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/A5089499642","display_name":"Deng Zhao","orcid":"https://orcid.org/0000-0001-6378-5595"},"institutions":[{"id":"https://openalex.org/I3125743391","display_name":"China University of Geosciences (Beijing)","ror":"https://ror.org/04q6c7p66","country_code":"CN","type":"education","lineage":["https://openalex.org/I3125743391"]},{"id":"https://openalex.org/I4210100255","display_name":"Beijing Academy of Artificial Intelligence","ror":"https://ror.org/016a74861","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210100255"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Deng Zhao","raw_affiliation_strings":["School of Artificial Intelligence, and Frontiers Science Center for Deep-time Digital Earth, China University of Geosciences (Beijing), Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Artificial Intelligence, and Frontiers Science Center for Deep-time Digital Earth, China University of Geosciences (Beijing), Beijing, China","institution_ids":["https://openalex.org/I4210100255","https://openalex.org/I3125743391"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052234427","display_name":"Zhangbing Zhou","orcid":"https://orcid.org/0000-0002-3195-2253"},"institutions":[{"id":"https://openalex.org/I3125743391","display_name":"China University of Geosciences (Beijing)","ror":"https://ror.org/04q6c7p66","country_code":"CN","type":"education","lineage":["https://openalex.org/I3125743391"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhangbing Zhou","raw_affiliation_strings":["State Key Laboratory of Geological Processes and Mineral Resources, School of Artificial Intelligence, Frontiers Science Center for Deep-time Digital Earth, China University of Geosciences (Beijing), Beijing, China","State Key Laboratory of Geological Processes and Mineral Resources, School of Artificial Intelligence, and Frontiers Science Center for Deep-time Digital Earth, China University of Geosciences (Beijing), Beijing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Geological Processes and Mineral Resources, School of Artificial Intelligence, Frontiers Science Center for Deep-time Digital Earth, China University of Geosciences (Beijing), Beijing, China","institution_ids":["https://openalex.org/I3125743391"]},{"raw_affiliation_string":"State Key Laboratory of Geological Processes and Mineral Resources, School of Artificial Intelligence, and Frontiers Science Center for Deep-time Digital Earth, China University of Geosciences (Beijing), Beijing, China","institution_ids":["https://openalex.org/I3125743391"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112127941","display_name":"Xiaoyan Meng","orcid":null},"institutions":[{"id":"https://openalex.org/I166427055","display_name":"Xinjiang Agricultural University","ror":"https://ror.org/04qjh2h11","country_code":"CN","type":"education","lineage":["https://openalex.org/I166427055"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoyan Meng","raw_affiliation_strings":["College of Computer and Information Engineering, Xinjiang Agricultural University, Urumqi, China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Information Engineering, Xinjiang Agricultural University, Urumqi, China","institution_ids":["https://openalex.org/I166427055"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047225060","display_name":"Xiao Xue","orcid":"https://orcid.org/0000-0001-5396-3909"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao Xue","raw_affiliation_strings":["College of Intelligence and Computing, Tianjin University, Tianjin, China"],"affiliations":[{"raw_affiliation_string":"College of Intelligence and Computing, Tianjin University, Tianjin, China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112533137","display_name":"Rongkai Pan","orcid":null},"institutions":[{"id":"https://openalex.org/I3125743391","display_name":"China University of Geosciences (Beijing)","ror":"https://ror.org/04q6c7p66","country_code":"CN","type":"education","lineage":["https://openalex.org/I3125743391"]},{"id":"https://openalex.org/I4210100255","display_name":"Beijing Academy of Artificial Intelligence","ror":"https://ror.org/016a74861","country_code":"CN","type":"other","lineage":["https://openalex.org/I4210100255"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ruixi Pan","raw_affiliation_strings":["School of Artificial Intelligence, China University of Geosciences (Beijing), Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Artificial Intelligence, China University of Geosciences (Beijing), Beijing, China","institution_ids":["https://openalex.org/I3125743391","https://openalex.org/I4210100255"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084851123","display_name":"Walid Gaaloul","orcid":"https://orcid.org/0000-0003-0451-532X"},"institutions":[{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Walid Gaaloul","raw_affiliation_strings":["SAMOVAR, TELECOM SudParis, Institut Polytechnique de Paris, Palaiseau, France"],"affiliations":[{"raw_affiliation_string":"SAMOVAR, TELECOM SudParis, Institut Polytechnique de Paris, Palaiseau, France","institution_ids":["https://openalex.org/I4210145102"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5089499642"],"corresponding_institution_ids":["https://openalex.org/I3125743391","https://openalex.org/I4210100255"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.37236759,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"19","issue":"1","first_page":"14","last_page":"31"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.8133000135421753,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.8133000135421753,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.04439999908208847,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.02459999918937683,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7720000147819519},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6920999884605408},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.491100013256073},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.4401000142097473},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.3921000063419342},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.37880000472068787},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.37549999356269836},{"id":"https://openalex.org/keywords/posterior-probability","display_name":"Posterior probability","score":0.36230000853538513},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.35749998688697815}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.792900025844574},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7720000147819519},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6920999884605408},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.491100013256073},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4733000099658966},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.4401000142097473},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.3921000063419342},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.37880000472068787},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.37549999356269836},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.36489999294281006},{"id":"https://openalex.org/C57830394","wikidata":"https://www.wikidata.org/wiki/Q278079","display_name":"Posterior probability","level":3,"score":0.36230000853538513},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.35749998688697815},{"id":"https://openalex.org/C94361409","wikidata":"https://www.wikidata.org/wiki/Q7882500","display_name":"Uncertainty reduction theory","level":2,"score":0.334199994802475},{"id":"https://openalex.org/C162307627","wikidata":"https://www.wikidata.org/wiki/Q204833","display_name":"Enhanced Data Rates for GSM Evolution","level":2,"score":0.3334999978542328},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.328000009059906},{"id":"https://openalex.org/C2775907273","wikidata":"https://www.wikidata.org/wiki/Q7805281","display_name":"Time constraint","level":2,"score":0.32089999318122864},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.3208000063896179},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2879999876022339},{"id":"https://openalex.org/C2780898871","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Performance metric","level":2,"score":0.28040000796318054},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27459999918937683},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.27070000767707825},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.26649999618530273},{"id":"https://openalex.org/C12725497","wikidata":"https://www.wikidata.org/wiki/Q810247","display_name":"Baseline (sea)","level":2,"score":0.2605000138282776},{"id":"https://openalex.org/C60782215","wikidata":"https://www.wikidata.org/wiki/Q3333679","display_name":"Probabilistic method","level":3,"score":0.2574999928474426},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.2572000026702881},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.25619998574256897},{"id":"https://openalex.org/C137209882","wikidata":"https://www.wikidata.org/wiki/Q1403517","display_name":"Measurement uncertainty","level":2,"score":0.2531999945640564}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsc.2025.3629323","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsc.2025.3629323","pdf_url":null,"source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Services Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2380642051","display_name":null,"funder_award_id":"62402460","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3887259218","display_name":null,"funder_award_id":"DD20230139","funder_id":"https://openalex.org/F4320334926","funder_display_name":"China Geological Survey"},{"id":"https://openalex.org/G4501397874","display_name":null,"funder_award_id":"2652023001","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G5880113424","display_name":null,"funder_award_id":"2024ZD1001900","funder_id":"https://openalex.org/F4320329860","funder_display_name":"National Science and Technology Major Project"},{"id":"https://openalex.org/G6778157810","display_name":null,"funder_award_id":"62372420","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8658801957","display_name":null,"funder_award_id":"2652023063","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320329860","display_name":"National Science and Technology Major Project","ror":null},{"id":"https://openalex.org/F4320334926","display_name":"China Geological Survey","ror":"https://ror.org/04wtq2305"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1547304883","https://openalex.org/W2040731319","https://openalex.org/W2060017308","https://openalex.org/W2470448410","https://openalex.org/W2585502432","https://openalex.org/W2785700716","https://openalex.org/W2786819761","https://openalex.org/W2967796838","https://openalex.org/W2980304492","https://openalex.org/W3003004875","https://openalex.org/W3175186253","https://openalex.org/W3201396315","https://openalex.org/W3205164248","https://openalex.org/W3216853971","https://openalex.org/W4206744200","https://openalex.org/W4285126902","https://openalex.org/W4285221287","https://openalex.org/W4285275174","https://openalex.org/W4285543424","https://openalex.org/W4368362708","https://openalex.org/W4375852001","https://openalex.org/W4375852289","https://openalex.org/W4387682229","https://openalex.org/W4390044385","https://openalex.org/W4390939857","https://openalex.org/W4396941418","https://openalex.org/W4399618835","https://openalex.org/W4408100372","https://openalex.org/W4408970585"],"related_works":[],"abstract_inverted_index":{"Edge":[0],"service":[1,12,22,154,168],"monitoring":[2,16,162],"is":[3,137,164,170],"essential":[4],"for":[5,26,45,61],"ensuring":[6,193],"the":[7,149],"robustness":[8,143],"and":[9,48,55,151,179,184,190,224],"efficiency":[10],"of":[11,20,82,111,153,196,221],"executions,":[13],"where":[14,166],"predictive":[15,27,118,161],"enables":[17,87],"proactive":[18],"detection":[19],"potential":[21],"violations.":[23],"Current":[24],"approaches":[25],"monitoring,":[28],"which":[29],"mostly":[30],"adopt":[31],"<italic":[32,35,38,71,74,83,94,97,100,158,175,198,213],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[33,36,39,42,72,75,78,84,95,98,101,104,159,176,199,214],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">S</i>ignal":[34],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">T</i>emporal":[37],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">L</i>ogic":[40],"(<italic":[41,77,103],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">STL</i>)":[43],"specifications":[44],"requirements":[46],"representation":[47],"evaluation,":[49],"primarily":[50],"focus":[51],"on":[52,207],"deterministic":[53,128],"signals,":[54],"thus,":[56],"may":[57],"lack":[58],"probabilistic":[59,88],"guarantees":[60],"uncertainty":[62],"interpretation.":[63],"To":[64],"address":[65],"these":[66,134],"challenges,":[67],"this":[68],"paper":[69],"proposes":[70],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">B</i>ayesian":[73,96],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">STL</i>":[76,85],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">BSTL</i>),":[79],"an":[80],"extension":[81],"that":[86,145,212],"reasoning":[89],"over":[90,133],"stochastic":[91],"signals.":[92],"Specifically,":[93],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">N</i>eural":[99],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">N</i>etworks":[102],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">BNNs</i>)":[105],"are":[106,202],"employed":[107],"to":[108,121],"generate":[109],"sequences":[110],"posterior":[112],"probability":[113,152],"distributions,":[114],"offering":[115],"more":[116],"comprehensive":[117],"insights":[119],"compared":[120],"traditional":[122],"point-":[123],"or":[124],"interval-based":[125],"methods":[126],"with":[127,181],"sequential":[129],"predictions.":[130],"Uncertainty":[131],"interpretation":[132],"distribution":[135],"predictions":[136],"achieved":[138],"by":[139,173],"a":[140,157,167,174,197],"novel":[141],"expected":[142],"metric":[144],"jointly":[146],"quantifies":[147],"both":[148,182],"degree":[150],"satisfaction.":[155],"Thereafter,":[156],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">BSTL</i>-based":[160],"framework":[163],"developed,":[165],"constraint":[169,191],"formally":[171],"specified":[172],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">BSTL</i>":[177,200,215],"formula":[178,201],"interpreted":[180],"qualitative":[183],"quantitative":[185],"semantics.":[186],"Besides,":[187],"confidence":[188],"levels":[189],"thresholds":[192],"robust":[194],"satisfaction":[195],"rigorously":[203],"estimated.":[204],"Extensive":[205],"experiments":[206],"publicly":[208],"available":[209],"datasets":[210],"demonstrate":[211],"outperforms":[216],"baseline":[217],"techniques":[218],"in":[219],"terms":[220],"expressiveness,":[222],"robustness,":[223],"applicability.":[225]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-11-05T00:00:00"}