{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T00:35:29Z","timestamp":1783384529844,"version":"3.54.6"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030774738","type":"print"},{"value":"9783030774745","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-77474-5_11","type":"book-chapter","created":{"date-parts":[[2021,6,3]],"date-time":"2021-06-03T04:04:50Z","timestamp":1622693090000},"page":"154-171","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Automatic Generation of Specification from Natural Language Based on Temporal Logic"],"prefix":"10.1007","author":[{"given":"Xiaobing","family":"Wang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ge","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chunyi","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Liang","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xinfeng","family":"Shu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,6,4]]},"reference":[{"key":"11_CR1","unstructured":"Brown, K.: Encyclopedia of Language and Linguistics, vol. 1. Elsevier (2005)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Deeptimahanti, D.K., Babar, M.A.: An automated tool for generating UML models from natural language requirements. In: 2009 IEEE\/ACM International Conference on Automated Software Engineering, pp. 680\u2013682. IEEE (2009)","DOI":"10.1109\/ASE.2009.48"},{"key":"11_CR3","unstructured":"Duan, Z.: An extended interval temporal logic and a framing technique for temporal logic proing. Ph.D. thesis, Newcastle University, Newcastle upon Tyne, UK (1996). http:\/\/hdl.handle.net\/10443\/2075"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-540-88194-0_12","volume-title":"Formal Methods and Software Engineering","author":"Z Duan","year":"2008","unstructured":"Duan, Z., Tian, C.: A unified model checking approach with projection temporal logic. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 167\u2013186. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88194-0_12"},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s00236-007-0062-z","volume":"45","author":"Z Duan","year":"2008","unstructured":"Duan, Z., Tian, C., Zhang, L.: A decision procedure for propositional projection temporal logic with infinite models. Acta Informatica 45(1), 43\u201378 (2008)","journal-title":"Acta Informatica"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/11562931_27","volume-title":"Logic Programming","author":"Z Duan","year":"2005","unstructured":"Duan, Z., Yang, X., Koutny, M.: Semantics of framed temporal logic programs. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 356\u2013370. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11562931_27"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-319-40648-0_4","volume-title":"NASA Formal Methods","author":"S Ghosh","year":"2016","unstructured":"Ghosh, S., Elenius, D., Li, W., Lincoln, P., Shankar, N., Steiner, W.: ARSENAL: automatic requirements specification extraction from natural language. In: Rayadurgam, S., Tkachuk, O. (eds.) NFM 2016. LNCS, vol. 9690, pp. 41\u201346. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40648-0_4"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.aap.2017.11.009","volume":"116","author":"C Gold","year":"2018","unstructured":"Gold, C., Happee, R., Bengler, K.: Modeling take-over performance in level 3 conditionally automated vehicles. Accid. Anal. Prev. 116, 3\u201313 (2018)","journal-title":"Accid. Anal. Prev."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Harris, C.B., Harris, I.G.: GLAsT: learning formal grammars to translate natural language specifications into hardware assertions. In: 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 966\u2013971. IEEE (2016)","DOI":"10.3850\/9783981537079_0334"},{"key":"11_CR10","doi-asserted-by":"publisher","unstructured":"Huang, S.Y., Cheng, K.T.: Formal Equivalence Checking and Design Debugging, vol. 12. Springer, New York (1998). https:\/\/doi.org\/10.1007\/978-1-4615-5693-0","DOI":"10.1007\/978-1-4615-5693-0"},{"key":"11_CR11","unstructured":"Johnson, S.C., et al.: YACC: Yet Another Compiler-Compiler, vol. 32. Bell Laboratories Murray Hill (1975)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Keng, B., Safarpour, S., Veneris, A.: Automated debugging of systemverilog assertions. In: 2011 Design, Automation & Test in Europe, pp. 1\u20136. IEEE (2011)","DOI":"10.1109\/DATE.2011.5763057"},{"issue":"1","key":"11_CR13","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MITS.2016.2583491","volume":"9","author":"P Koopman","year":"2017","unstructured":"Koopman, P., Wagner, M.: Autonomous vehicle safety: an interdisciplinary challenge. IEEE Intell. Trans. Syst. Mag. 9(1), 90\u201396 (2017)","journal-title":"IEEE Intell. Trans. Syst. Mag."},{"key":"11_CR14","doi-asserted-by":"publisher","unstructured":"Ma, Y., Duan, Z., Wang, X., Yang, X.: An interpreter for framed tempura and its application. In: First Joint IEEE\/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, Shanghai, China, 5\u20138 June, pp. 251\u2013260. IEEE Computer Society (2007). https:\/\/doi.org\/10.1109\/TASE.2007.10","DOI":"10.1109\/TASE.2007.10"},{"key":"11_CR15","doi-asserted-by":"publisher","unstructured":"Manning, C.D., Surdeanu, M., Bauer, J., Finkel, J.R., Bethard, S., McClosky, D.: The Stanford CoreNLP natural language processing toolkit. In: Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics, ACL 2014, Baltimore, MD, USA, 22\u201327 June, pp. 55\u201360. The Association for Computer Linguistics (2014). https:\/\/doi.org\/10.3115\/v1\/p14-5010","DOI":"10.3115\/v1\/p14-5010"},{"issue":"11","key":"11_CR16","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/219717.219748","volume":"38","author":"GA Miller","year":"1995","unstructured":"Miller, G.A.: WordNet: a lexical database for English. Commun. ACM 38(11), 39\u201341 (1995). https:\/\/doi.org\/10.1145\/219717.219748","journal-title":"Commun. ACM"},{"key":"11_CR17","unstructured":"Miller, G.A.: WordNet: An Electronic Lexical Database. MIT Press, Cambridge (1998)"},{"key":"11_CR18","doi-asserted-by":"publisher","unstructured":"Moszkowski, B.C.: Compositional reasoning about projected and infinite time. In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 1995), Fort Lauderdale, Florida, USA, 6\u201310 November, pp. 238\u2013245. IEEE Computer Society (1995). https:\/\/doi.org\/10.1109\/ICECCS.1995.479336","DOI":"10.1109\/ICECCS.1995.479336"},{"key":"11_CR19","unstructured":"Moszkowski, B.C.: Reasoning about digital circuits (1983)"},{"key":"11_CR20","unstructured":"Praitheeshan, P., Pan, L., Yu, J., Liu, J.K., Doss, R.: Security analysis methods on ethereum smart contract vulnerabilities: a survey. CoRR (2019). http:\/\/arxiv.org\/abs\/1908.08605"},{"key":"11_CR21","doi-asserted-by":"publisher","unstructured":"Soeken, M., Harris, C.B., Abdessaied, N., Harris, I.G., Drechsler, R.: Automating the translation of assertions using natural language processing techniques. In: Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, 14\u201316 October, pp. 1\u20138. IEEE (2014). https:\/\/doi.org\/10.1109\/FDL.2014.7119356","DOI":"10.1109\/FDL.2014.7119356"},{"key":"11_CR22","doi-asserted-by":"publisher","unstructured":"Vasudevan, S., Sheridan, D., Patel, S.J., Tcheng, D., Tuohy, W., Johnson, D.R.: GoldMine: automatic assertion generation using data mining and static analysis. In: Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, 8\u201312 March, pp. 626\u2013629. IEEE Computer Society (2010). https:\/\/doi.org\/10.1109\/DATE.2010.5457129","DOI":"10.1109\/DATE.2010.5457129"},{"key":"11_CR23","unstructured":"Wang, F., et al.: Approach for generating AADL model based on restricted natural language requirement template. J. Softw. 29(8), 2350\u20132370 (2018). http:\/\/www.jos.org.cn\/1000-9825\/5530.html"},{"issue":"1","key":"11_CR24","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1109\/TR.2019.2936072","volume":"69","author":"F Wang","year":"2019","unstructured":"Wang, F., Yang, Z.B., Huang, Z.Q., Liu, C.W., Zhou, Y., Bodeveix, J.P., Filali, M.: An approach to generate the traceability between restricted natural language requirements and AADL models. IEEE Trans. Reliab. 69(1), 154\u2013173 (2019)","journal-title":"IEEE Trans. Reliab."},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-030-13651-2_4","volume-title":"Structured Object-Oriented Formal Language and Method","author":"X Wang","year":"2019","unstructured":"Wang, X., Guo, W., Zhao, L., Shu, X.: Runtime verification method for social network security based on source code instrumentation. In: Duan, Z., Liu, S., Tian, C., Nagoya, F. (eds.) SOFL+MSVL 2018. LNCS, vol. 11392, pp. 55\u201370. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-13651-2_4"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-030-41418-4_6","volume-title":"Structured Object-Oriented Formal Language and Method","author":"X Wang","year":"2020","unstructured":"Wang, X., Yang, K., Wang, Y., Zhao, L., Shu, X.: Towards formal verification of neural networks: a temporal logic based framework. In: Miao, H., Tian, C., Liu, S., Duan, Z. (eds.) SOFL+MSVL 2019. LNCS, vol. 12028, pp. 73\u201387. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-41418-4_6"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Yan, R., Cheng, C., Chai, Y.: Formal consistency checking over specifications in natural languages. In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, 9\u201313 March, pp. 1677\u20131682. ACM (2015). http:\/\/dl.acm.org\/citation.cfm?id=2757200","DOI":"10.7873\/DATE.2015.0452"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-77474-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,3]],"date-time":"2021-06-03T04:06:14Z","timestamp":1622693174000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-77474-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030774738","9783030774745"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-77474-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"4 June 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SOFL+MSVL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Structured Object-Oriented Formal Language and Method","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 March 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 March 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sofl2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/formal-analysis.com\/icfem\/2020\/sofl_msvl\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"24","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"54% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the Corona pandemic this event was held virtually.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}