{"id":"https://openalex.org/W2496773548","doi":"https://doi.org/10.1109/sera.2016.7516140","title":"Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking","display_name":"Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking","publication_year":2016,"publication_date":"2016-06-01","ids":{"openalex":"https://openalex.org/W2496773548","doi":"https://doi.org/10.1109/sera.2016.7516140","mag":"2496773548"},"language":"en","primary_location":{"id":"doi:10.1109/sera.2016.7516140","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sera.2016.7516140","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE 14th International Conference on Software Engineering Research, Management and Applications (SERA)","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/A5074763172","display_name":"Chengyang Mi","orcid":null},"institutions":[{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]},{"id":"https://openalex.org/I4405261568","display_name":"Shanghai Key Laboratory of Computer Software Testing and Evaluating","ror":"https://ror.org/05gky6m26","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4405261568","https://openalex.org/I4405262724"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chengyang Mi","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, Shanghai, China","Shanghai Key Laboratory of Computer Software Testing & Evaluating, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai, China","institution_ids":["https://openalex.org/I141962983"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Computer Software Testing & Evaluating, Shanghai, China","institution_ids":["https://openalex.org/I4405261568"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078511168","display_name":"Huaikou Miao","orcid":null},"institutions":[{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]},{"id":"https://openalex.org/I4405261568","display_name":"Shanghai Key Laboratory of Computer Software Testing and Evaluating","ror":"https://ror.org/05gky6m26","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4405261568","https://openalex.org/I4405262724"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huaikou Miao","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, Shanghai, China","Shanghai Key Laboratory of Computer Software Testing & Evaluating, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai, China","institution_ids":["https://openalex.org/I141962983"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Computer Software Testing & Evaluating, Shanghai, China","institution_ids":["https://openalex.org/I4405261568"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039912353","display_name":"Jinyu Kai","orcid":null},"institutions":[{"id":"https://openalex.org/I141962983","display_name":"Shanghai University of Engineering Science","ror":"https://ror.org/0557b9y08","country_code":"CN","type":"education","lineage":["https://openalex.org/I141962983"]},{"id":"https://openalex.org/I4405261568","display_name":"Shanghai Key Laboratory of Computer Software Testing and Evaluating","ror":"https://ror.org/05gky6m26","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4405261568","https://openalex.org/I4405262724"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinyu Kai","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, Shanghai, China","Shanghai Key Laboratory of Computer Software Testing & Evaluating, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai, China","institution_ids":["https://openalex.org/I141962983"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Computer Software Testing & Evaluating, Shanghai, China","institution_ids":["https://openalex.org/I4405261568"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087225784","display_name":"Honghao Gao","orcid":"https://orcid.org/0000-0001-6861-9684"},"institutions":[{"id":"https://openalex.org/I113940042","display_name":"Shanghai University","ror":"https://ror.org/006teas31","country_code":"CN","type":"education","lineage":["https://openalex.org/I113940042"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Honghao Gao","raw_affiliation_strings":["Computing Center Shanghai University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computing Center Shanghai University, Shanghai, China","institution_ids":["https://openalex.org/I113940042"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"1","issue":null,"first_page":"149","last_page":"154"},"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.9986000061035156,"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.9977999925613403,"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/business-process-execution-language","display_name":"Business Process Execution Language","score":0.9413542747497559},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8402656316757202},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.6289939880371094},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.6266879439353943},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5254009366035461},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.4682135581970215},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.46657833456993103},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43196722865104675},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.41364508867263794},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3965710401535034},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18983855843544006}],"concepts":[{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.9413542747497559},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8402656316757202},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.6289939880371094},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.6266879439353943},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5254009366035461},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4682135581970215},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.46657833456993103},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43196722865104675},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41364508867263794},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3965710401535034},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18983855843544006},{"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},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sera.2016.7516140","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sera.2016.7516140","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE 14th International Conference on Software Engineering Research, Management and Applications (SERA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6200000047683716,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1539432158","https://openalex.org/W1557855756","https://openalex.org/W1582469454","https://openalex.org/W1969786612","https://openalex.org/W2005998857","https://openalex.org/W2018946511","https://openalex.org/W2106066263","https://openalex.org/W2107707949","https://openalex.org/W2128433357","https://openalex.org/W2171500111","https://openalex.org/W2172651298","https://openalex.org/W6634661145","https://openalex.org/W6675982527"],"related_works":["https://openalex.org/W2002233526","https://openalex.org/W4247445481","https://openalex.org/W2129443448","https://openalex.org/W2370110824","https://openalex.org/W4233877817","https://openalex.org/W2109480844","https://openalex.org/W2134588905","https://openalex.org/W2515287752","https://openalex.org/W2097368534","https://openalex.org/W1536755908"],"abstract_inverted_index":{"Service-Oriented":[0,4],"Computing":[1],"(SOC)":[2],"and":[3,24,82,145],"Architecture":[5],"(SOA)":[6],"provide":[7],"a":[8,39,45,71,79,114,120],"paradigm":[9],"for":[10],"creating":[11],"composite":[12,40],"service":[13,41],"with":[14,89,148],"distributed":[15,27],"web":[16,28],"services":[17],"over":[18],"the":[19,22,55,62,65,76,94,108,127,130,140,143],"Internet.":[20],"Through":[21],"integration":[23],"coordination":[25],"of":[26,57,64,129,142],"Services,":[29],"Web":[30],"Service":[31],"Business":[32],"Process":[33],"Execution":[34],"Language":[35],"(BPEL)":[36],"can":[37,74],"deploy":[38],"rapidly.":[42],"However,":[43],"in":[44],"complex":[46],"dynamic":[47],"network":[48],"environment,":[49],"it":[50,84,147],"is":[51,111],"difficult":[52],"to":[53,101,113,126,138],"guarantee":[54],"reliability":[56,63,99],"BPEL":[58,66,80,109],"application.":[59],"To":[60],"verify":[61],"process,":[67,96],"this":[68],"paper":[69],"proposes":[70],"method":[72],"which":[73],"extract":[75],"model":[77,87,91,124],"from":[78],"process":[81,110],"analyze":[83],"through":[85],"probabilistic":[86],"checking":[88],"Prism":[90,149],"checker.":[92],"During":[93],"extension":[95],"we":[97,118,134],"add":[98],"attribute":[100],"each":[102],"invoked":[103],"sub-services.":[104],"By":[105],"structure":[106],"extraction,":[107],"transformed":[112],"PLTS":[115,131],"system.":[116],"Then,":[117],"generate":[119],"suitable":[121],"analysis":[122],"Markov":[123],"according":[125],"feature":[128],"model.":[132],"Finally,":[133],"use":[135],"PCTL":[136],"formula":[137],"describe":[139],"properties":[141],"system,":[144],"check":[146],"tool.":[150]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2}],"updated_date":"2026-07-16T13:24:37.021932","created_date":"2025-10-10T00:00:00"}