{"id":"https://openalex.org/W2047378840","doi":"https://doi.org/10.4304/jsw.8.11.2733-2737","title":"Formal Modeling and Verification for Web Service Composition","display_name":"Formal Modeling and Verification for Web Service Composition","publication_year":2013,"publication_date":"2013-11-01","ids":{"openalex":"https://openalex.org/W2047378840","doi":"https://doi.org/10.4304/jsw.8.11.2733-2737","mag":"2047378840"},"language":"en","primary_location":{"id":"doi:10.4304/jsw.8.11.2733-2737","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.8.11.2733-2737","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","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/A5060626579","display_name":"Baojun Tian","orcid":"https://orcid.org/0000-0002-1716-834X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Baojun Tian","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5019954143","display_name":"Yanlin Gu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yanlin Gu","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5060626579"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8127,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.85323465,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"8","issue":"11","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9993000030517578,"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.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9134906530380249},{"id":"https://openalex.org/keywords/service-composition","display_name":"Service composition","score":0.5712040066719055},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.48379796743392944},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.4751541316509247},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.3857402205467224}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9134906530380249},{"id":"https://openalex.org/C2983385018","wikidata":"https://www.wikidata.org/wiki/Q7455734","display_name":"Service composition","level":3,"score":0.5712040066719055},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.48379796743392944},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.4751541316509247},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3857402205467224},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4304/jsw.8.11.2733-2737","is_oa":false,"landing_page_url":"https://doi.org/10.4304/jsw.8.11.2733-2737","pdf_url":null,"source":{"id":"https://openalex.org/S114141714","display_name":"Journal of Software","issn_l":"1796-217X","issn":["1796-217X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318660","host_organization_name":"Academy Publisher","host_organization_lineage":["https://openalex.org/P4310318660"],"host_organization_lineage_names":["Academy Publisher"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5799999833106995,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W1534850333","https://openalex.org/W2142340571"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2139596909","https://openalex.org/W2081337217","https://openalex.org/W1585782846","https://openalex.org/W2146354553","https://openalex.org/W2263165406","https://openalex.org/W2509141950","https://openalex.org/W1727298153","https://openalex.org/W1809074097","https://openalex.org/W178471791"],"abstract_inverted_index":{"Web":[0],"service":[1,9,93],"composition":[2,37,48,94],"is":[3,38,71],"an":[4,84,97],"important":[5,32],"reuse":[6],"way":[7],"of":[8,46,67,73,86],"resources,through":[10],"which":[11],"large":[12],"scale":[13],"and":[14,24,44,56,64,89,95],"complex":[15],"applications":[16],"based":[17],"on":[18],"Internet":[19],"can":[20],"get":[21],"the":[22,29,42,47,74],"newer":[23],"more":[25],"reliable":[26],"resources":[27],"among":[28],"distributed":[30],"nodes.An":[31],"challenge":[33],"for":[34,91],"web":[35,92],"services":[36],"how":[39],"to":[40,99],"ensure":[41],"correctness":[43],"reliability":[45],"process.":[49],"CPN(Colored":[50],"Petri":[51],"Net)as":[52],"a":[53,65],"formal":[54,62,87],"modeling":[55,88],"verification":[57],"method":[58],"not":[59],"only":[60],"provides":[61],"semantics":[63],"number":[66],"analysis":[68],"techniques,but":[69],"also":[70],"independent":[72],"concrete":[75],"flow":[76],"description":[77],"language(e.g.":[78],"BPEL,":[79],"WSCDL":[80],").This":[81],"paper":[82],"presents":[83],"approach":[85],"verifying":[90],"uses":[96],"instance":[98],"illustrate":[100],"it.":[101]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}