乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T04:24:34Z","timestamp":1728447874452},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,11,16]],"date-time":"2022-11-16T00:00:00Z","timestamp":1668556800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,11,16]],"date-time":"2022-11-16T00:00:00Z","timestamp":1668556800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SN COMPUT. SCI."],"DOI":"10.1007\/s42979-022-01449-7","type":"journal-article","created":{"date-parts":[[2022,11,16]],"date-time":"2022-11-16T17:05:09Z","timestamp":1668618309000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Comprehensive Requirement Capturing Model Enabling the Automated Formalisation of NL Requirements"],"prefix":"10.1007","volume":"4","author":[{"given":"Mohamed","family":"Osama","sequence":"first","affiliation":[]},{"given":"Aya","family":"Zaki-Ismail","sequence":"additional","affiliation":[]},{"given":"Mohamed","family":"Abdelrazek","sequence":"additional","affiliation":[]},{"given":"John","family":"Grundy","sequence":"additional","affiliation":[]},{"given":"Amani","family":"Ibrahim","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,11,16]]},"reference":[{"key":"1449_CR1","doi-asserted-by":"crossref","unstructured":"Buzhinsky I. Formalization of natural language requirements into temporal logics: a survey. In: 2019 IEEE 17th international conference on industrial informatics (INDIN), vol. 1. IEEE; 2019. p. 400\u20136.","DOI":"10.1109\/INDIN41052.2019.8972130"},{"key":"1449_CR2","doi-asserted-by":"crossref","unstructured":"L\u00facio L, Rahman S, Cheng C-H, Mavin A. Just formal enough? Automated analysis of ears requirements. In: NASA formal methods symposium. Berlin: Springer; 2017. p. 427\u201334.","DOI":"10.1007\/978-3-319-57288-8_31"},{"key":"1449_CR3","unstructured":"Sl\u00e1dekov\u00e1 V. Methods used for requirements engineering. Master\u2019s thesis, Univerzity Komensk\u00e9ho; 2007."},{"key":"1449_CR4","unstructured":"Justice B. Natural language specifications for safety-critical systems. Master\u2019s thesis, Carl von Ossietzky Universit\u00e4t; 2013."},{"key":"1449_CR5","doi-asserted-by":"crossref","unstructured":"Mavin A, Wilkinson P, Harwood A, Novak M. Easy approach to requirements syntax (ears). In: Requirements engineering conference, 2009. RE\u201909. 17th IEEE international. Aug 31-Sep 4; Atlanta, USA; Piscataway; 2009. p. 317\u201322.","DOI":"10.1109\/RE.2009.9"},{"key":"1449_CR6","unstructured":"Fuchs NE, Schwitter R. Attempto controlled English (ACE). In: CLAW 96, first international workshop on controlled language applications; Leuven, BE, March, 1996."},{"key":"1449_CR7","doi-asserted-by":"crossref","unstructured":"Yan R, Cheng C-H, Chai Y. Formal consistency checking over specifications in natural languages. In: 2015 Design, automation & test in Europe conference & exhibition (DATE). IEEE; 2015. p. 1677\u201382.","DOI":"10.7873\/DATE.2015.0452"},{"key":"1449_CR8","unstructured":"Rupp C. Requirements-Engineering und-Management: Professionelle, Iterative Anforderungsanalyse F\u00fcr die Praxis. Munich: Hanser Verlag; 2009."},{"key":"1449_CR9","doi-asserted-by":"crossref","unstructured":"Zaki-Ismail A, Osama M, Abdelrazek M, Grundy J, Ibrahim A. RCM: requirement capturing model for automated requirements formalisation. In: Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development; \u2014volume 1: MODELSWARD. SciTePress; 2021. INSTICC.","DOI":"10.5220\/0010270401100121"},{"key":"1449_CR10","doi-asserted-by":"publisher","unstructured":"Zaki-Ismail A, Osama M, Abdelrazek M, Grundy J, Ibrahim A. RCM-extractor: automated extraction of a semi formal representation model from natural language requirements. In: Proceedings of the 9th international conference on model-driven engineering and software development\u2014volume 1: MODELSWARD. SciTePress; 2021. p. 270\u20137. https:\/\/doi.org\/10.5220\/0010270602700277. INSTICC","DOI":"10.5220\/0010270602700277"},{"key":"1449_CR11","unstructured":"Teige T, Bienm\u00fcller T, Holberg HJ. Universal pattern: formalization, testing, coverage, verification, and test case generation for safety-critical requirements. In 19th GI\/ITG\/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV\u201916), p. 6\u20139. Albert-Ludwigs-Universit\u00a8at Freiburg, 2016.MBMV."},{"key":"1449_CR12","doi-asserted-by":"crossref","unstructured":"Konrad S, Cheng BH. Real-time specification patterns. In: Proceedings of the 27th international conference on software engineering. New York, NY, USA: ACM; 2005. p. 372\u201381.","DOI":"10.1145\/1062455.1062526"},{"key":"1449_CR13","doi-asserted-by":"crossref","unstructured":"Ghosh S, Elenius D, Li W, Lincoln P, Shankar N, Steiner W. Arsenal: automatic requirements specification extraction from natural language. In: NASA formal methods symposium. Berlin: Springer; 2016. p. 41\u20136.","DOI":"10.1007\/978-3-319-40648-0_4"},{"key":"1449_CR14","doi-asserted-by":"crossref","unstructured":"Nelken R, Francez N. Automatic translation of natural language system specifications into temporal logic. In: International conference on computer aided verification. Berlin: Springer; 1996. p. 360\u201371.","DOI":"10.1007\/3-540-61474-5_83"},{"key":"1449_CR15","doi-asserted-by":"crossref","unstructured":"Michael JB, Ong VL, Rowe NC. Natural-language processing support for developing policy-governed software systems. In: TOOLS 39. 39th international conference and exhibition on technology of object-oriented languages and systems, Santa Barbara, CA: 2001. IEEE; 2001. p. 263\u201374.","DOI":"10.1109\/TOOLS.2001.941679"},{"key":"1449_CR16","doi-asserted-by":"crossref","unstructured":"Holt A, Klein E. A semantically-derived subset of English for hardware verification. In: Proceedings of the 37th annual meeting of the association for computational linguistics on computational linguistics. Association for Computational Linguistics; Maryland, USA; 1999. p. 451\u20136.","DOI":"10.3115\/1034678.1034747"},{"key":"1449_CR17","doi-asserted-by":"crossref","unstructured":"Ambriola V, Gervasi V. Processing natural language requirements. In: Automated software engineering, 1997. Proceedings, 12th IEEE international conference. Lake Tahoe, NV; 1997. p. 36\u201345.","DOI":"10.1109\/ASE.1997.632822"},{"key":"1449_CR18","unstructured":"Sturla G. A two-phased approach for natural language parsing into formal logic. PhD thesis, Massachusetts Institute of Technology; 2017."},{"key":"1449_CR19","doi-asserted-by":"crossref","unstructured":"R. Poli, M. Healy, A. Kameas (Eds.). Controlled English to logic translation. In: Theory and applications of ontology: computer applications. Berlin: Springer; 2010. p. 245\u201358.","DOI":"10.1007\/978-90-481-8847-5_11"},{"key":"1449_CR20","unstructured":"Kittredge RI. Sublanguages and controlled languages. In Ruslan Mitkov (ed.). The Oxford handbook of computational linguistics, 2nd edn. Oxford: Oxford University Press; 2003."},{"issue":"1","key":"1449_CR21","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1162\/COLI_a_00168","volume":"40","author":"T Kuhn","year":"2014","unstructured":"Kuhn T. A survey and classification of controlled natural languages. Comput Linguist. 2014;40(1):121\u201370.","journal-title":"Comput Linguist"},{"key":"1449_CR22","doi-asserted-by":"crossref","unstructured":"Van\u00a0Kleek M, Moore B, Karger DR, Andr\u00e9 P, Schraefel M. Atomate it! end-user context-sensitive automation using heterogeneous information sources on the web. In: Proceedings of the 19th international conference on world wide web; 2010. p. 951\u201360.","DOI":"10.1145\/1772690.1772787"},{"key":"1449_CR23","doi-asserted-by":"crossref","unstructured":"Schwitter R. English as a formal specification language. In: Proceedings. 13th international workshop on database and expert systems applications. Aix-en-Provence, France: IEEE; 2002. p. 228\u201332.","DOI":"10.1109\/DEXA.2002.1045903"},{"key":"1449_CR24","doi-asserted-by":"crossref","unstructured":"Erdem E, Yeniterzi R. Transforming controlled natural language biomedical queries into answer set programs. In: Proceedings of the BioNLP 2009 workshop; Boulder, CO. 2009. p. 117\u201324.","DOI":"10.3115\/1572364.1572381"},{"key":"1449_CR25","unstructured":"Scott W, Cook SC, et al. A context-free requirements grammar to facilitate automatic assessment. PhD thesis, UniSA; 2004."},{"key":"1449_CR26","unstructured":"Esser M, Struss P. Obtaining models for test generation from natural-language-like functional specifications. In: International workshop on principles of diagnosis; 2007. p. 75\u201382."},{"key":"1449_CR27","doi-asserted-by":"crossref","unstructured":"Arora C, Sabetzadeh M, Briand L, Zimmer F, Gnaga R. Rubric: a flexible tool for automated checking of conformance to requirement boilerplates. In: Proceedings of the 2013 9th joint meeting on foundations of software engineering. ACM; 2013. p. 599\u2013602.","DOI":"10.1145\/2491411.2494591"},{"key":"1449_CR28","doi-asserted-by":"crossref","unstructured":"Arora C, Sabetzadeh M, Briand LC, Zimmer F. Requirement boilerplates: transition from manually-enforced to automatically-verifiable natural language patterns. In: 2014 IEEE 4th international workshop on requirements patterns (RePa). IEEE; 2014. p. 1\u20138.","DOI":"10.1109\/RePa.2014.6894837"},{"key":"1449_CR29","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Avrunin GS, Corbett JC. Patterns in property specifications for finite-state verification. In: Proceedings of the 21st international conference on software engineering; Los Angeles, 1999. p. 411\u201320.","DOI":"10.1145\/302405.302672"},{"key":"1449_CR30","doi-asserted-by":"crossref","unstructured":"Qiao Y, Zhong K, Wang H, Li X. Developing event-condition-action rules in real-time active database. In: Proceedings of the 2007 ACM symposium on applied computing; 2007. New York, p. 511\u20136.","DOI":"10.1145\/1244002.1244120"},{"key":"1449_CR31","unstructured":"Jeannet B, Gaucher F. Debugging embedded systems requirements with stimulus: an automotive case-study. In: 8th European Congress on embedded real time software and systems (ERTS); Toulouse, France, Jan 2016."},{"issue":"2","key":"1449_CR32","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s10270-011-0204-1","volume":"12","author":"J Thyssen","year":"2013","unstructured":"Thyssen J, Hummel B. Behavioral specification of reactive systems using stream-based I\/O tables. Softw Syst Model. 2013;12(2):265\u201383.","journal-title":"Softw Syst Model"},{"key":"1449_CR33","doi-asserted-by":"crossref","unstructured":"Fifarek AW, Wagner LG, Hoffman JA, Rodes BD, Aiello MA, Davis JA. Spear v2. 0: formalized past LTL specification and analysis of requirements. In: NASA formal methods symposium. Berlin: Springer; 2017. p. 420\u20136.","DOI":"10.1007\/978-3-319-57288-8_30"},{"key":"1449_CR34","unstructured":"L\u00facio L, Rahman S, bin Abid S, Mavin A. EARS-CTRL: generating controllers for dummies. In: MODELS (satellite events); 2017. p. 566\u201370."},{"key":"1449_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61073-3","volume-title":"Requirements engineering","author":"J Dick","year":"2017","unstructured":"Dick J, Hull E, Jackson K. Requirements engineering. Berlin: Springer; 2017."},{"key":"1449_CR36","doi-asserted-by":"crossref","unstructured":"Bitsch F. Safety patterns-the key to formal specification of safety requirements. In: International conference on computer safety, reliability, and security. Berlin: Springer; 2001. p. 176\u201389.","DOI":"10.1007\/3-540-45416-0_18"},{"key":"1449_CR37","unstructured":"Rolland C, Proix C. A natural language approach for requirements engineering. In: International conference on advanced information systems engineering. Berlin: Springer; 1992. p. 257\u201377."},{"issue":"4","key":"1449_CR38","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1093\/comjnl\/38.4.310","volume":"38","author":"B Macias","year":"1995","unstructured":"Macias B, Pulman SG. A method for controlling the production of specifications in natural language. Comput J. 1995;38(4):310\u20138.","journal-title":"Comput J"},{"key":"1449_CR39","doi-asserted-by":"crossref","unstructured":"Fu R, Bao X, Zhao T. Generic safety requirements description templates for the embedded software. In: 2017 IEEE 9th international conference on communication software and networks (ICCSN). IEEE; 2017. p. 1477\u201381.","DOI":"10.1109\/ICCSN.2017.8230353"},{"key":"1449_CR40","doi-asserted-by":"crossref","unstructured":"Marko N, Leitner A, Herbst B, Wallner A. Combining xtext and oslc for integrated model-based requirements engineering. In: 2015 41st Euromicro conference on software engineering and advanced applications. IEEE; 2015. p. 143\u201350.","DOI":"10.1109\/SEAA.2015.11"},{"key":"1449_CR41","doi-asserted-by":"crossref","unstructured":"Berger P, Nellen J, Katoen J-P, Abraham E, Waez MTB, Rambow T. Multiple analyses, requirements once: simplifying testing & verification in automotive model-based development; 2019. arXiv preprint. arXiv:1906.07083.","DOI":"10.1007\/978-3-030-27008-7_4"},{"key":"1449_CR42","volume-title":"System requirements specification automotive system cluster (elc and acc)","author":"F Houdek","year":"2013","unstructured":"Houdek F. System requirements specification automotive system cluster (elc and acc). Munich: Technical University of Munich; 2013."},{"issue":"1","key":"1449_CR43","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10515-021-00312-y","volume":"29","author":"A Zaki-Ismail","year":"2022","unstructured":"Zaki-Ismail A, Osama M, Abdelrazek M, Grundy J, Ibrahim A. RCM-extractor: an automated NLP-based approach for extracting a semi formal representation model from natural language requirements. Autom Softw Eng. 2022;29(1):1\u201333.","journal-title":"Autom Softw Eng"},{"key":"1449_CR44","doi-asserted-by":"crossref","unstructured":"Zaki-Ismail A, Osama M, Abdelrazek M, Grundy J, Ibrahim A. ARF: automatic requirements formalisation tool. In: 2021 IEEE 29th international requirements engineering conference (RE). Notre Dam, South Bend, USA; 2021. p. 440\u20131.","DOI":"10.1109\/RE51729.2021.00060"},{"key":"1449_CR45","doi-asserted-by":"publisher","unstructured":"Haider A. A survey of model checking tools using LTL or CTL as temporal logic and generating counterexamples. https:\/\/doi.org\/10.13140\/RG.2.1.3629.1925","DOI":"10.13140\/RG.2.1.3629.1925"},{"key":"1449_CR46","unstructured":"Brunello A, Montanari A, Reynolds M. Synthesis of LTL formulas from natural language texts: state of the art and research directions. In: 26th International symposium on temporal representation and reasoning (TIME 2019) 2019. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik; 2019."},{"issue":"1","key":"1449_CR47","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1006\/inco.1993.1025","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur R, Henzinger TA. Real-time logics: complexity and expressiveness. Inf Comput. 1993;104(1):35\u201377.","journal-title":"Inf Comput"},{"key":"1449_CR48","doi-asserted-by":"crossref","unstructured":"Clarke EM, Emerson EA. Design and synthesis of synchronization skeletons using branching time temporal logic. In: 25 Years of model checking. Berlin: Springer; 2008. p. 196\u2013215.","DOI":"10.1007\/978-3-540-69850-0_12"},{"issue":"3","key":"1449_CR49","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/s11704-013-2195-2","volume":"7","author":"S Konur","year":"2013","unstructured":"Konur S. A survey on temporal logics for specifying and verifying real-time systems. Front Comput Sci. 2013;7(3):370\u2013403.","journal-title":"Front Comput Sci"},{"key":"1449_CR50","doi-asserted-by":"crossref","unstructured":"Zaki-Ismail A, Osama M, Abdelrazek M, Grundy J, Ibrahim A. Requirements formality levels analysis and transformation of formal notations into semi-formal and informal notations. In: Proceedings of the 33rd international conference on software engineering and knowledge engineering; Pittsburgh, USA, Jul 2021.","DOI":"10.18293\/SEKE2021-199"},{"key":"1449_CR51","doi-asserted-by":"crossref","unstructured":"Gatt A, Reiter E. SimpleNLG: a realisation engine for practical applications. In: Proceedings of the 12th European workshop on natural language generation (ENLG 2009); Stroudsburg, PA, USA, 2009. p. 90\u201393.","DOI":"10.3115\/1610195.1610208"}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-022-01449-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s42979-022-01449-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-022-01449-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,8]],"date-time":"2024-10-08T11:01:19Z","timestamp":1728385279000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s42979-022-01449-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,16]]},"references-count":51,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2023,1]]}},"alternative-id":["1449"],"URL":"https:\/\/doi.org\/10.1007\/s42979-022-01449-7","relation":{},"ISSN":["2661-8907"],"issn-type":[{"type":"electronic","value":"2661-8907"}],"subject":[],"published":{"date-parts":[[2022,11,16]]},"assertion":[{"value":"15 September 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 October 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 November 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}}],"article-number":"57"}}