{"id":"https://openalex.org/W2893541821","doi":"https://doi.org/10.1142/s0218194018500390","title":"Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective","display_name":"Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective","publication_year":2018,"publication_date":"2018-09-25","ids":{"openalex":"https://openalex.org/W2893541821","doi":"https://doi.org/10.1142/s0218194018500390","mag":"2893541821"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194018500390","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194018500390","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","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/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 200444, P. R. China","Shanghai Key Laboratory of Intelligent Manufacturing and Robotics, Shanghai University, Shanghai 200072, P. R. China"],"affiliations":[{"raw_affiliation_string":"Computing Center, Shanghai University, Shanghai 200444, P. R. China","institution_ids":["https://openalex.org/I113940042"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Intelligent Manufacturing and Robotics, Shanghai University, Shanghai 200072, P. R. China","institution_ids":["https://openalex.org/I113940042"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103200782","display_name":"Huaikou Miao","orcid":"https://orcid.org/0000-0001-9507-5459"},"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"]},{"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"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Huaikou Miao","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, Shanghai 200444, P. R. China","Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai University, Shanghai 201112, P. R. China"],"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai 200444, P. R. China","institution_ids":["https://openalex.org/I141962983"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai University, Shanghai 201112, P. R. China","institution_ids":["https://openalex.org/I113940042"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010502314","display_name":"Lilan Liu","orcid":"https://orcid.org/0009-0006-4186-1538"},"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":"Lilan Liu","raw_affiliation_strings":["Shanghai Key Laboratory of Intelligent Manufacturing and Robotics, Shanghai University, Shanghai 200072, P. R. China"],"affiliations":[{"raw_affiliation_string":"Shanghai Key Laboratory of Intelligent Manufacturing and Robotics, Shanghai University, Shanghai 200072, P. R. China","institution_ids":["https://openalex.org/I113940042"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039912353","display_name":"Jinyu Kai","orcid":null},"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"]},{"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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinyu Kai","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, Shanghai 200444, P. R. China","Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai University, Shanghai 201112, P. R. China"],"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai 200444, P. R. China","institution_ids":["https://openalex.org/I141962983"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai University, Shanghai 201112, P. R. China","institution_ids":["https://openalex.org/I113940042"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046414484","display_name":"Kun Zhao","orcid":"https://orcid.org/0000-0002-5196-100X"},"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/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":"Kun Zhao","raw_affiliation_strings":["School of Computer Engineering and Science, Shanghai University, Shanghai 200444, P. R. China","Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai University, Shanghai 201112, P. R. China"],"affiliations":[{"raw_affiliation_string":"School of Computer Engineering and Science, Shanghai University, Shanghai 200444, P. R. China","institution_ids":["https://openalex.org/I141962983"]},{"raw_affiliation_string":"Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai University, Shanghai 201112, P. R. China","institution_ids":["https://openalex.org/I113940042"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5103200782"],"corresponding_institution_ids":["https://openalex.org/I113940042","https://openalex.org/I141962983"],"apc_list":null,"apc_paid":null,"fwci":8.3071,"has_fulltext":false,"cited_by_count":58,"citation_normalized_percentile":{"value":0.98023212,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"28","issue":"10","first_page":"1369","last_page":"1397"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9995999932289124,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9994999766349792,"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/computer-science","display_name":"Computer science","score":0.8605176210403442},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5024521350860596},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4646769165992737},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.43474555015563965},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.395388126373291},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3833373785018921},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3454562723636627},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2665582597255707}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8605176210403442},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5024521350860596},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4646769165992737},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.43474555015563965},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.395388126373291},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3833373785018921},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3454562723636627},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2665582597255707},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","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.1142/s0218194018500390","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194018500390","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W241117969","https://openalex.org/W1498432697","https://openalex.org/W1523596170","https://openalex.org/W1544262338","https://openalex.org/W1971139410","https://openalex.org/W1981332849","https://openalex.org/W2015544224","https://openalex.org/W2017291319","https://openalex.org/W2044058339","https://openalex.org/W2102998325","https://openalex.org/W2103307740","https://openalex.org/W2118039525","https://openalex.org/W2121002303","https://openalex.org/W2133254703","https://openalex.org/W2154843985","https://openalex.org/W2159650620","https://openalex.org/W2160338487","https://openalex.org/W2170944969","https://openalex.org/W2283106827","https://openalex.org/W2291637985","https://openalex.org/W2438196771","https://openalex.org/W2532015110","https://openalex.org/W2562890484","https://openalex.org/W2753661786"],"related_works":["https://openalex.org/W1538854713","https://openalex.org/W2943623134","https://openalex.org/W2494523064","https://openalex.org/W1497573972","https://openalex.org/W4289687320","https://openalex.org/W2071659383","https://openalex.org/W1846253165","https://openalex.org/W2124122503","https://openalex.org/W925418074","https://openalex.org/W2119610731"],"abstract_inverted_index":{"Service-based":[0],"systems":[1,52],"are":[2,137],"a":[3,35,177,257],"new":[4],"software":[5],"mode":[6],"for":[7,15,46,293,299,309],"distributed":[8],"business":[9],"processes":[10],"integration.":[11],"It":[12],"is":[13,69,89,115,151,167,240],"difficult":[14],"traditional":[16],"testing":[17],"methods":[18],"to":[19,39,71,91,103,117,139,172,186,203,210,264],"verify":[20],"the":[21,42,48,54,74,81,93,96,119,131,141,148,154,160,184,189,192,204,214,218,221,233,237,244,262,266,277,282,285,306],"functional":[22,75,120],"and":[23,44,77,134,144,254,296,304],"nonfunctional":[24,78],"requirements":[25],"of":[26,50,84,95,109,125,157,165,191,220,236,247,276,284],"software.":[27],"To":[28],"address":[29],"this":[30,32],"problem,":[31],"paper":[33],"proposes":[34],"visual":[36,178],"verification":[37,98,196,215,295],"platform":[38,290],"quantitatively":[40],"compute":[41],"reliability":[43,143],"cost":[45],"evaluating":[47],"performance":[49],"service-based":[51,238,310],"in":[53,176,206,217,269],"design":[55],"phase.":[56],"First,":[57],"an":[58,170,270],"extended":[59],"automata":[60],"model":[61,86,150,181,235],"namely":[62],"Probabilistic":[63,222],"Reward":[64],"Labeled":[65],"Transition":[66],"System":[67],"(PRLTS)":[68],"proposed":[70,286],"formalize":[72],"both":[73],"behaviors":[76,121,175,190],"features.":[79],"Then,":[80],"formal":[82,302],"language":[83,156,163],"probabilistic":[85],"checker":[87],"PRISM":[88],"introduced":[90],"show":[92],"grammar":[94],"target":[97],"codes":[99,197],"that":[100],"we":[101],"want":[102],"transform.":[104],"Second,":[105],"XML":[106],"description":[107,162],"tags":[108],"Business":[110],"Process":[111],"Execution":[112],"Language":[113],"(BPEL)":[114],"parsed":[116],"generate":[118],"using":[122],"different":[123],"kinds":[124],"transformation":[126],"rules,":[127],"based":[128],"on":[129],"which":[130,243],"probability":[132],"matrix":[133],"reward":[135],"concept":[136],"employed":[138],"denote":[140],"service\u2019s":[142],"cost,":[145],"respectively.":[146],"Third,":[147],"PRLTS":[149,193],"turned":[152],"into":[153],"input":[155],"PRISM,":[158],"where":[159,195],"graphic":[161],"DOT":[164],"Graphviz":[166],"used":[168],"as":[169,256],"intermediary":[171],"display":[173],"system":[174,239],"way.":[179,272],"The":[180],"layout":[182],"allows":[183,261],"designer":[185],"manually":[187],"adjust":[188],"model,":[194],"can":[198,228],"be":[199,229,251],"dynamically":[200],"updated":[201],"according":[202],"changes":[205],"modified":[207],"information.":[208],"Fourth,":[209],"perform":[211],"quantitative":[212,294,307],"verification,":[213],"property":[216,249,268],"form":[219],"Computation":[223],"Tree":[224],"Logic":[225],"(PCTL)":[226],"formula":[227],"automatically":[230],"generated":[231],"when":[232],"requirement":[234],"inputted,":[241],"during":[242],"threshold":[245],"value":[246],"qualitative":[248,267],"will":[250],"initially":[252],"computed":[253],"returned":[255],"recommended":[258],"value.":[259],"This":[260],"user":[263],"modify":[265],"interactive":[271],"Furthermore,":[273],"experimental":[274],"analysis":[275],"real-world":[278],"case":[279],"study":[280],"demonstrates":[281],"feasibility":[283],"method.":[287],"Thus,":[288],"our":[289],"provides":[291],"guidance":[292],"graphical":[297],"visualization":[298],"effectively":[300],"generating":[301],"models":[303],"checking":[305],"properties":[308],"systems.":[311]},"counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":11},{"year":2019,"cited_by_count":36}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}