{"id":"https://openalex.org/W2248913144","doi":"https://doi.org/10.1109/fskd.2015.7382175","title":"Fault detection in distributed transactions based on extended pi-calculus","display_name":"Fault detection in distributed transactions based on extended pi-calculus","publication_year":2015,"publication_date":"2015-08-01","ids":{"openalex":"https://openalex.org/W2248913144","doi":"https://doi.org/10.1109/fskd.2015.7382175","mag":"2248913144"},"language":"en","primary_location":{"id":"doi:10.1109/fskd.2015.7382175","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fskd.2015.7382175","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 12th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)","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/A5041210883","display_name":"Hui Kang","orcid":"https://orcid.org/0000-0002-1077-1322"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]},{"id":"https://openalex.org/I4210134929","display_name":"Jilin Province Science and Technology Department","ror":"https://ror.org/049x38272","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210134929"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hui Kang","raw_affiliation_strings":["College of Computer Science and Technology, Jilin University, Jilin, Changchun"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Jilin University, Jilin, Changchun","institution_ids":["https://openalex.org/I194450716","https://openalex.org/I4210134929"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022076222","display_name":"Xue Xing","orcid":"https://orcid.org/0000-0002-3478-1488"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]},{"id":"https://openalex.org/I4210134929","display_name":"Jilin Province Science and Technology Department","ror":"https://ror.org/049x38272","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210134929"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xue Xing","raw_affiliation_strings":["College of Computer Science and Technology, Jilin University, Jilin, Changchun"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Jilin University, Jilin, Changchun","institution_ids":["https://openalex.org/I194450716","https://openalex.org/I4210134929"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035550613","display_name":"Xue Wang","orcid":"https://orcid.org/0000-0003-4842-3160"},"institutions":[{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]},{"id":"https://openalex.org/I4210134929","display_name":"Jilin Province Science and Technology Department","ror":"https://ror.org/049x38272","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210134929"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xue Wang","raw_affiliation_strings":["College of Computer Science and Technology, Jilin University, Jilin, Changchun"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Jilin University, Jilin, Changchun","institution_ids":["https://openalex.org/I194450716","https://openalex.org/I4210134929"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021405267","display_name":"Feng Qiu","orcid":"https://orcid.org/0000-0001-6573-7319"},"institutions":[{"id":"https://openalex.org/I4210107912","display_name":"Jilin Meteorological Bureau","ror":"https://ror.org/01jwsqs03","country_code":"CN","type":"government","lineage":["https://openalex.org/I141301092","https://openalex.org/I4210107912"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Feng Qiu","raw_affiliation_strings":["Jilin people's Broadcasting Station, Jilin, Changchun"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jilin people's Broadcasting Station, Jilin, Changchun","institution_ids":["https://openalex.org/I4210107912"]}]}],"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":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1548","last_page":"1555"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9955999851226807,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.991599977016449,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7676546573638916},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6057108640670776},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.5736121535301208},{"id":"https://openalex.org/keywords/distributed-transaction","display_name":"Distributed transaction","score":0.5416595935821533},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.519860565662384},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5133604407310486},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.4520733654499054},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.43218883872032166},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.3256193995475769},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.2819339632987976},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08732837438583374}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7676546573638916},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6057108640670776},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.5736121535301208},{"id":"https://openalex.org/C25185021","wikidata":"https://www.wikidata.org/wiki/Q4053284","display_name":"Distributed transaction","level":4,"score":0.5416595935821533},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.519860565662384},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5133604407310486},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.4520733654499054},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.43218883872032166},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.3256193995475769},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.2819339632987976},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08732837438583374},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","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/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fskd.2015.7382175","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fskd.2015.7382175","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 12th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1523525039","https://openalex.org/W1545155892","https://openalex.org/W2012904980","https://openalex.org/W2102333161","https://openalex.org/W2106887953","https://openalex.org/W2128932399","https://openalex.org/W2129022583","https://openalex.org/W2154368290"],"related_works":["https://openalex.org/W2371295991","https://openalex.org/W116816731","https://openalex.org/W2349862564","https://openalex.org/W2158759608","https://openalex.org/W2155541789","https://openalex.org/W2403667029","https://openalex.org/W2053104377","https://openalex.org/W1988072050","https://openalex.org/W2143226912","https://openalex.org/W2372897440"],"abstract_inverted_index":{"Distributed":[0],"transactions":[1],"gradually":[2],"become":[3,32],"the":[4,13,33,37,43,49,60,67,75,84,91,95,104,117,122,126,131,142,148,154,181],"mainstream":[5],"mode":[6],"of":[7,39,48,62,70,86,90,97,121,130,156,175],"data":[8],"processing.":[9],"How":[10],"to":[11,17,25,93,124],"avoid":[12],"transaction":[14,111,164],"congestion":[15],"due":[16],"network":[18,77],"delays":[19],"and":[20,23,46,73,119,128,141,159,166,177],"site":[21],"failures,":[22,165],"how":[24],"effectively":[26,82],"distinguish":[27,170],"between":[28,171],"these":[29,172],"two":[30,173],"faults":[31],"hot":[34],"issues":[35],"in":[36,162],"study":[38],"distributed":[40,50,163],"transactions.":[41],"In":[42],"fault":[44,123],"detection":[45,56,118],"distinction":[47],"transaction,":[51],"we":[52,168],"develop":[53],"a":[54,138],"hierarchical":[55],"model,":[57],"which":[58,151],"has":[59],"advantages":[61],"detecting":[63],"path":[64],"clearly,":[65],"having":[66],"small":[68],"number":[69],"probe":[71],"packet,":[72],"approximating":[74],"actual":[76],"topology.":[78],"The":[79],"model":[80],"can":[81,108,169],"solve":[83],"problem":[85],"excessive":[87],"traffic":[88],"load":[89],"coordination":[92],"shorten":[94],"time":[96],"parallel":[98],"processing":[99],"for":[100],"each":[101],"sub-transaction.":[102],"On":[103],"other":[105],"hand,":[106],"this":[107],"reduce":[109],"unnecessary":[110],"submissions":[112],"caused":[113],"by":[114,180],"failures":[115,176],"through":[116,146],"differentiation":[120],"enhance":[125],"reliability":[127],"availability":[129],"agreement.":[132],"We":[133],"select":[134],"D\u03c0F":[135,144],"calculus":[136,145],"as":[137],"modeling":[139],"language":[140],"extend":[143],"adding":[147],"clock":[149],"operator,":[150],"intuitively":[152],"describes":[153],"scenarios":[155],"node":[157],"failure":[158,161],"link":[160],"then":[167],"types":[174],"validate":[178],"them":[179],"bisimulation":[182],"theory.":[183]},"counts_by_year":[],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}