{"id":"https://openalex.org/W3006929566","doi":"https://doi.org/10.1007/978-3-030-41418-4_12","title":"Formal Development and Verification of Reusable Component in PAR Platform","display_name":"Formal Development and Verification of Reusable Component in PAR Platform","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3006929566","doi":"https://doi.org/10.1007/978-3-030-41418-4_12","mag":"3006929566"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-41418-4_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-41418-4_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"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/A5017708790","display_name":"Qimin Hu","orcid":null},"institutions":[{"id":"https://openalex.org/I41317344","display_name":"Jiangxi Science and Technology Normal University","ror":"https://ror.org/04r1zkp10","country_code":"CN","type":"education","lineage":["https://openalex.org/I41317344"]},{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Qimin Hu","raw_affiliation_strings":["Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"]},{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100763215","display_name":"Jinyun Xue","orcid":"https://orcid.org/0000-0003-1584-9712"},"institutions":[{"id":"https://openalex.org/I41317344","display_name":"Jiangxi Science and Technology Normal University","ror":"https://ror.org/04r1zkp10","country_code":"CN","type":"education","lineage":["https://openalex.org/I41317344"]},{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinyun Xue","raw_affiliation_strings":["Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"]},{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100631751","display_name":"Zhen You","orcid":"https://orcid.org/0000-0003-0504-3942"},"institutions":[{"id":"https://openalex.org/I41317344","display_name":"Jiangxi Science and Technology Normal University","ror":"https://ror.org/04r1zkp10","country_code":"CN","type":"education","lineage":["https://openalex.org/I41317344"]},{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen You","raw_affiliation_strings":["Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"]},{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054211420","display_name":"Cheng Zhuo","orcid":"https://orcid.org/0000-0002-2610-7522"},"institutions":[{"id":"https://openalex.org/I41317344","display_name":"Jiangxi Science and Technology Normal University","ror":"https://ror.org/04r1zkp10","country_code":"CN","type":"education","lineage":["https://openalex.org/I41317344"]},{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhuo Cheng","raw_affiliation_strings":["Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"]},{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102738285","display_name":"Zhengkang Zuo","orcid":"https://orcid.org/0000-0002-7118-3727"},"institutions":[{"id":"https://openalex.org/I41317344","display_name":"Jiangxi Science and Technology Normal University","ror":"https://ror.org/04r1zkp10","country_code":"CN","type":"education","lineage":["https://openalex.org/I41317344"]},{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhengkang Zuo","raw_affiliation_strings":["Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, Jiangxi, People\u2019s Republic of China","institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"]},{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5017708790"],"corresponding_institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01673135,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"155","last_page":"166"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.8008975386619568},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7435251474380493},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5708297491073608},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5501171946525574},{"id":"https://openalex.org/keywords/proof-assistant","display_name":"Proof assistant","score":0.5428583025932312},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.519443690776825},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5190058946609497},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.478402704000473},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4768741726875305},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.4759385585784912},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.37635359168052673},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3611301779747009},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.2250693142414093},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10241594910621643}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8008975386619568},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7435251474380493},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5708297491073608},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5501171946525574},{"id":"https://openalex.org/C203265346","wikidata":"https://www.wikidata.org/wiki/Q11387554","display_name":"Proof assistant","level":3,"score":0.5428583025932312},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.519443690776825},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5190058946609497},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.478402704000473},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4768741726875305},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.4759385585784912},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37635359168052673},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3611301779747009},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.2250693142414093},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10241594910621643},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-41418-4_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-41418-4_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1508333423","https://openalex.org/W1518088995","https://openalex.org/W1525931051","https://openalex.org/W1542358180","https://openalex.org/W1552647623","https://openalex.org/W1553511155","https://openalex.org/W1560253649","https://openalex.org/W1567558468","https://openalex.org/W2021917262","https://openalex.org/W2057118835","https://openalex.org/W2060536932","https://openalex.org/W2069919327","https://openalex.org/W2093666661","https://openalex.org/W2093832730","https://openalex.org/W2103953153","https://openalex.org/W2144973245","https://openalex.org/W2167500728","https://openalex.org/W2316194651","https://openalex.org/W2496949764","https://openalex.org/W2546124130"],"related_works":["https://openalex.org/W1815465552","https://openalex.org/W150512884","https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}