乐胖代购免代理版

{"id":"https://openalex.org/W3185988770","doi":"https://doi.org/10.1142/s0218194021500315","title":"Verifiable Model Construction for Business Processes","display_name":"Verifiable Model Construction for Business Processes","publication_year":2021,"publication_date":"2021-07-01","ids":{"openalex":"https://openalex.org/W3185988770","doi":"https://doi.org/10.1142/s0218194021500315","mag":"3185988770"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194021500315","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":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5062057507","display_name":"Shunhui Ji","orcid":"https://orcid.org/0000-0002-8584-5795"},"institutions":[{"id":"https://openalex.org/I163340411","display_name":"Hohai University","ror":"https://ror.org/01wd4xt90","country_code":"CN","type":"education","lineage":["https://openalex.org/I163340411"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shunhui Ji","raw_affiliation_strings":["College of Computer and Information, Hohai University, Nanjing, Jiangsu 211100, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Information, Hohai University, Nanjing, Jiangsu 211100, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I163340411"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101565358","display_name":"Liming Hu","orcid":"https://orcid.org/0000-0001-6021-0462"},"institutions":[{"id":"https://openalex.org/I163340411","display_name":"Hohai University","ror":"https://ror.org/01wd4xt90","country_code":"CN","type":"education","lineage":["https://openalex.org/I163340411"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liming Hu","raw_affiliation_strings":["College of Computer and Information, Hohai University, Nanjing, Jiangsu 211100, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Information, Hohai University, Nanjing, Jiangsu 211100, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I163340411"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071710022","display_name":"Yihan Cao","orcid":"https://orcid.org/0000-0001-9486-3365"},"institutions":[{"id":"https://openalex.org/I163340411","display_name":"Hohai University","ror":"https://ror.org/01wd4xt90","country_code":"CN","type":"education","lineage":["https://openalex.org/I163340411"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yihan Cao","raw_affiliation_strings":["College of Computer and Information, Hohai University, Nanjing, Jiangsu 211100, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Information, Hohai University, Nanjing, Jiangsu 211100, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I163340411"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035407903","display_name":"Pengcheng Zhang","orcid":"https://orcid.org/0000-0003-3594-408X"},"institutions":[{"id":"https://openalex.org/I163340411","display_name":"Hohai University","ror":"https://ror.org/01wd4xt90","country_code":"CN","type":"education","lineage":["https://openalex.org/I163340411"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Pengcheng Zhang","raw_affiliation_strings":["College of Computer and Information, Hohai University, Nanjing, Jiangsu 211100, P.\u00a0R.\u00a0China"],"affiliations":[{"raw_affiliation_string":"College of Computer and Information, Hohai University, Nanjing, Jiangsu 211100, P.\u00a0R.\u00a0China","institution_ids":["https://openalex.org/I163340411"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074631753","display_name":"Jerry Gao","orcid":"https://orcid.org/0000-0002-1051-5839"},"institutions":[{"id":"https://openalex.org/I51504820","display_name":"San Jose State University","ror":"https://ror.org/04qyvz380","country_code":"US","type":"education","lineage":["https://openalex.org/I51504820"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jerry Gao","raw_affiliation_strings":["College of Engineering, San Jose State University, San Jose, CA 95192, USA"],"affiliations":[{"raw_affiliation_string":"College of Engineering, San Jose State University, San Jose, CA 95192, USA","institution_ids":["https://openalex.org/I51504820"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.28,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.566958,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":57,"max":67},"biblio":{"volume":"31","issue":"07","first_page":"1017","last_page":"1042"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9999,"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.9999,"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.9997,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9962,"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/promela","display_name":"Promela","score":0.97693205},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.44227043}],"concepts":[{"id":"https://openalex.org/C2776329536","wikidata":"https://www.wikidata.org/wiki/Q948666","display_name":"Promela","level":3,"score":0.97693205},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.93093646},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8208181},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.61586404},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.60782593},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.58725464},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.57977265},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.56661206},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.45694456},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.44312006},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.44227043},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.42562506},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.3904098},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.32372764},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.2973241},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.22234014},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194021500315","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":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5,"id":"https://metadata.un.org/sdg/9"}],"grants":[{"funder":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China","award_id":"61702159"},{"funder":"https://openalex.org/F4320322769","funder_display_name":"Natural Science Foundation of Jiangsu Province","award_id":"BK20170893"}],"datasets":[],"versions":[],"referenced_works_count":20,"referenced_works":["https://openalex.org/W1979247714","https://openalex.org/W2011643428","https://openalex.org/W2018318486","https://openalex.org/W2018946511","https://openalex.org/W2051402873","https://openalex.org/W2080021295","https://openalex.org/W2095320786","https://openalex.org/W2101887357","https://openalex.org/W2112210431","https://openalex.org/W2128433357","https://openalex.org/W2165020474","https://openalex.org/W2465254819","https://openalex.org/W2521784179","https://openalex.org/W2943085673","https://openalex.org/W2944893010","https://openalex.org/W2992863279","https://openalex.org/W2995068468","https://openalex.org/W3003148660","https://openalex.org/W3012549631","https://openalex.org/W68069235"],"related_works":["https://openalex.org/W4252450941","https://openalex.org/W3185988770","https://openalex.org/W2611270279","https://openalex.org/W2557007011","https://openalex.org/W2348872831","https://openalex.org/W2127628615","https://openalex.org/W1997740764","https://openalex.org/W1525901551","https://openalex.org/W1525496442","https://openalex.org/W1501633995"],"abstract_inverted_index":{"Business":[0,4,86],"process":[1,82,87,107,178],"specified":[2],"in":[3,62,95,108,128],"Process":[5],"Execution":[6],"Language":[7],"(BPEL),":[8],"which":[9,38,96],"integrates":[10],"existing":[11],"services":[12,127,140],"to":[13,29,74,90,143],"develop":[14],"composite":[15,123],"service":[16,124],"for":[17,37,53,79,138],"offering":[18],"more":[19],"complicated":[20],"function,":[21],"is":[22,42,46,72,88,149,171,191],"error-prone.":[23],"Verification":[24],"and":[25,57,64,112,125,158,162],"testing":[26],"are":[27,141],"necessary":[28],"ensure":[30],"the":[31,39,49,76,103,109,119,129,176,188],"correctness":[32],"of":[33,48,105,122,134],"business":[34,81],"processes.":[35],"SPIN,":[36],"input":[40],"language":[41],"PROcess":[43],"MEta-LAnguage":[44],"(Promela),":[45],"one":[47],"most":[50],"popular":[51],"tools":[52],"detecting":[54],"software":[55],"defects":[56],"can":[58],"be":[59],"used":[60],"both":[61],"verification":[63],"testing.":[65],"In":[66],"this":[67],"paper,":[68],"an":[69,91],"automatic":[70],"approach":[71,190],"proposed":[73,189],"construct":[75],"verifiable":[77],"model":[78,148,170],"BPEL-based":[80],"with":[83],"Promela":[84,147,169],"language.":[85],"translated":[89],"intermediate":[92],"two-level":[93],"representation,":[94],"eXtended":[97],"Control":[98],"Flow":[99],"Graph":[100],"(XCFG)":[101],"describes":[102],"behavior":[104],"BPEL":[106,135,177],"first":[110],"level":[111],"Web":[113],"Service":[114],"Description":[115],"Models":[116],"(WSDM)":[117],"depict":[118],"interface":[120],"information":[121],"partner":[126,139],"second":[130],"level.":[131],"With":[132],"XCFG":[133],"process,":[136],"XCFGs":[137],"generated":[142],"describe":[144],"their":[145],"behavior.":[146],"constructed":[150,168],"by":[151],"defining":[152,159],"data":[153],"types":[154],"based":[155,164],"on":[156,165],"WSDM":[157],"channels,":[160],"variables":[161],"processes":[163],"XCFGs.":[166],"The":[167],"closed,":[172],"containing":[173],"not":[174],"only":[175],"but":[179],"also":[180],"its":[181],"execution":[182],"environment.":[183],"Case":[184],"study":[185],"shows":[186],"that":[187],"effective.":[192]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3185988770","counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-01-05T12:32:14.043734","created_date":"2021-08-02"}