{"id":"https://openalex.org/W3171382545","doi":"https://doi.org/10.1007/978-3-030-77474-5_11","title":"Automatic Generation of Specification from Natural Language Based on Temporal Logic","display_name":"Automatic Generation of Specification from Natural Language Based on Temporal Logic","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3171382545","doi":"https://doi.org/10.1007/978-3-030-77474-5_11","mag":"3171382545"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-77474-5_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-77474-5_11","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/A5100625049","display_name":"Xiaobing Wang","orcid":"https://orcid.org/0000-0001-5044-3721"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaobing Wang","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi\u2019an, People\u2019s Republic of China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi'an, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi\u2019an, People\u2019s Republic of China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi'an, People's Republic of China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041810214","display_name":"Li Ge","orcid":"https://orcid.org/0000-0003-2104-3379"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ge Li","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi\u2019an, People\u2019s Republic of China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi'an, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi\u2019an, People\u2019s Republic of China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi'an, People's Republic of China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100728491","display_name":"Chunyi Li","orcid":"https://orcid.org/0000-0002-0032-8933"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chunyi Li","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi\u2019an, People\u2019s Republic of China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi'an, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi\u2019an, People\u2019s Republic of China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi'an, People's Republic of China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101485090","display_name":"Liang Zhao","orcid":"https://orcid.org/0000-0003-1751-8618"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liang Zhao","raw_affiliation_strings":["Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi\u2019an, People\u2019s Republic of China","Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi'an, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi\u2019an, People\u2019s Republic of China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Institute of Computing Theory and Technology and ISN Laboratory, Xidian University, Xi'an, People's Republic of China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029605914","display_name":"Xinfeng Shu","orcid":"https://orcid.org/0000-0002-7293-4510"},"institutions":[{"id":"https://openalex.org/I4210136859","display_name":"Xi\u2019an University of Posts and Telecommunications","ror":"https://ror.org/04jn0td46","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210136859"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinfeng Shu","raw_affiliation_strings":["School of Computer Science and Technology, Xi\u2019an University of Posts and Communications, Xi\u2019an, People\u2019s Republic of China","School of Computer Science and Technology, Xi'an University of Posts and Communications, Xi'an, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Xi\u2019an University of Posts and Communications, Xi\u2019an, People\u2019s Republic of China","institution_ids":["https://openalex.org/I4210136859"]},{"raw_affiliation_string":"School of Computer Science and Technology, Xi'an University of Posts and Communications, Xi'an, People's Republic of China","institution_ids":["https://openalex.org/I4210136859"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"154","last_page":"171"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9986000061035156,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9976000189781189,"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.7992220520973206},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.672612726688385},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5888397097587585},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5706659555435181},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5599953532218933},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.5455356240272522},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5111539959907532},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5105906128883362},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5104621648788452},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.46762165427207947},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.4549141228199005},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.4541090130805969},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.44427254796028137},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.44068223237991333},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.4314941167831421},{"id":"https://openalex.org/keywords/temporal-logic-of-actions","display_name":"Temporal logic of actions","score":0.4216322898864746},{"id":"https://openalex.org/keywords/object-language","display_name":"Object language","score":0.41426604986190796},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3105812668800354},{"id":"https://openalex.org/keywords/interval-temporal-logic","display_name":"Interval temporal logic","score":0.29011648893356323},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23882490396499634}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7992220520973206},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.672612726688385},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5888397097587585},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5706659555435181},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5599953532218933},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.5455356240272522},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5111539959907532},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5105906128883362},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5104621648788452},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.46762165427207947},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.4549141228199005},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.4541090130805969},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.44427254796028137},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.44068223237991333},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4314941167831421},{"id":"https://openalex.org/C11648818","wikidata":"https://www.wikidata.org/wiki/Q2403081","display_name":"Temporal logic of actions","level":4,"score":0.4216322898864746},{"id":"https://openalex.org/C185954173","wikidata":"https://www.wikidata.org/wiki/Q4347052","display_name":"Object language","level":3,"score":0.41426604986190796},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3105812668800354},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.29011648893356323},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23882490396499634},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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.1007/978-3-030-77474-5_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-77474-5_11","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":[{"score":0.4099999964237213,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1483150777","https://openalex.org/W1513012091","https://openalex.org/W1525931051","https://openalex.org/W1536822721","https://openalex.org/W1541152994","https://openalex.org/W1557866006","https://openalex.org/W1591672107","https://openalex.org/W2021917262","https://openalex.org/W2038721957","https://openalex.org/W2050151907","https://openalex.org/W2081580037","https://openalex.org/W2107632022","https://openalex.org/W2109507516","https://openalex.org/W2123442489","https://openalex.org/W2124933793","https://openalex.org/W2141365178","https://openalex.org/W2170426893","https://openalex.org/W2266628809","https://openalex.org/W2345350761","https://openalex.org/W2576845151","https://openalex.org/W2770450151","https://openalex.org/W2912599202","https://openalex.org/W2950176007","https://openalex.org/W2969775414","https://openalex.org/W2972352337","https://openalex.org/W3008205783","https://openalex.org/W3142765463","https://openalex.org/W3143465655","https://openalex.org/W6603330967"],"related_works":["https://openalex.org/W2347363247","https://openalex.org/W2099750710","https://openalex.org/W1536552036","https://openalex.org/W2323519609","https://openalex.org/W2752133100","https://openalex.org/W1564005433","https://openalex.org/W1508045168","https://openalex.org/W25224113","https://openalex.org/W1977346181","https://openalex.org/W2577693053"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}