{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T02:26:53Z","timestamp":1760236013563,"version":"build-2065373602"},"reference-count":33,"publisher":"MDPI AG","issue":"10","license":[{"start":{"date-parts":[[2021,10,15]],"date-time":"2021-10-15T00:00:00Z","timestamp":1634256000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Ministry of Education Greece","award":["MIS 5047826"],"award-info":[{"award-number":["MIS 5047826"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Algorithms"],"abstract":"<jats:p>The processes involved in requirements engineering are some of the most, if not the most, important steps in systems development. The need for well-defined requirements remains a critical issue for the development of any system. Describing the structure and behavior of a system could be proven vague, leading to uncertainties, restrictions, or improper functioning of the system that would be hard to fix later. In this context, this article proposes SENSE, a framework based on standardized expressions of natural language with well-defined semantics, called boilerplates, that support a flow-down procedure for requirement management. This framework integrates sets of boilerplates and proposes the most appropriate of them, depending, among other considerations, on the type of requirement and the developing system, while providing validity and completeness verification checks using the minimum consistent set of formalities and languages. SENSE is a consistent and easily understood framework that allows engineers to use formal languages and semantics rather than the traditional natural languages and machine learning techniques, optimizing the requirement development. The main aim of SENSE is to provide a complete process of the production and standardization of the requirements by using semantics, ontologies, and appropriate NLP techniques. Furthermore, SENSE performs the necessary verifications by using SPARQL (SPIN) queries to support requirement management.<\/jats:p>","DOI":"10.3390\/a14100298","type":"journal-article","created":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T23:13:32Z","timestamp":1634512412000},"page":"298","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["SENSE: A Flow-Down Semantics-Based Requirements Engineering Framework"],"prefix":"10.3390","volume":"14","author":[{"given":"Kalliopi","family":"Kravari","sequence":"first","affiliation":[{"name":"School of Informatics, Aristotle University of Thessaloniki, GR541 24 Thessaloniki, Greece"}]},{"given":"Christina","family":"Antoniou","sequence":"additional","affiliation":[{"name":"School of Informatics, Aristotle University of Thessaloniki, GR541 24 Thessaloniki, Greece"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6035-1038","authenticated-orcid":false,"given":"Nick","family":"Bassiliades","sequence":"additional","affiliation":[{"name":"School of Informatics, Aristotle University of Thessaloniki, GR541 24 Thessaloniki, Greece"}]}],"member":"1968","published-online":{"date-parts":[[2021,10,15]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"4926","DOI":"10.35940\/ijitee.L3557.1081219","article-title":"Conflicts Identification among Stakeholders in Goal Oriented Requirements Engineering Process","volume":"8","author":"Suhaib","year":"2019","journal-title":"Int. J. Innov. Technol. Explor. Eng."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"93593","DOI":"10.1109\/ACCESS.2021.3092679","article-title":"Empirical Investigation of Critical Requirements Engineering Practices for Global Software Development","volume":"9","author":"Khan","year":"2021","journal-title":"IEEE Access"},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Rajan, A., and Wahl, T. (2013). Requirements Engineering. CESAR\u2014Cost-Efficient Methods and Processes for Safety-Relevant Embedded Systems, Springer.","DOI":"10.1007\/978-3-7091-1387-5"},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Hull, E., Jackson, K., and Dick, J. (2010). Writing and Reviewing Requirements. Requirements Engineering, Springer Science & Business Media.","DOI":"10.1007\/978-1-84996-405-0_4"},{"key":"ref_5","first-page":"1","article-title":"Automatic Test Case and Test Oracle Generation based on Functional Scenarios in Formal Specifications for Conformance Testing","volume":"1","author":"Liu","year":"2020","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.5753\/jserd.2020.473","article-title":"Towards a new template for the specification of requirements in semi-structured natural language","volume":"8","author":"Mazo","year":"2020","journal-title":"J. Softw. Eng. Res. Dev. Braz. Comput. Soc."},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Barbosa, P.A.M., Pinheiro, P.R., and De Vasconcelos Silveira, F.R. (2018). Towards the Verbal Decision Analysis Paradigm for Implementable Prioritization of Software Requirements. Algorithms, 11.","DOI":"10.20944\/preprints201807.0045.v1"},{"key":"ref_8","unstructured":"Darlan, A., and Ibtehal, N. (2019, January 26\u201328). A Validation Study of a Requirements Engineering Artefact Model for Big Data Software Development Projects. Proceedings of the 14th International Conference on Software Technologies (ICSOFT 2019), Prague, Czech Republic."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"e2207","DOI":"10.1002\/smr.2207","article-title":"Investigation of the requirements change management challenges in the domain of global software development","volume":"31","author":"Akbar","year":"2019","journal-title":"J. Softw. Evol. Proc."},{"key":"ref_10","unstructured":"Sommerville, I. (2015). Software Engineering, Pearson. [10th ed.]."},{"key":"ref_11","unstructured":"Pill, I.H. (2008). Requirements Engineering and Efficient Verification of PSL Properties. [Ph.D. Thesis, Technische Universit\u00e4t Graz]."},{"key":"ref_12","unstructured":"(2021, June 16). IEEE\/ISO\/IEC 21839-2019\u2014ISO\/IEC\/IEEE International Standard\u2014Systems and Software Engineering\u2014System of Systems (SoS) Considerations in Life Cycle Stages of a System. Available online: https:\/\/standards.ieee.org\/."},{"key":"ref_13","unstructured":"(2021, June 16). IEEE 12207-2-2020\u2014ISO\/IEC\/IEEE International Standard\u2014Systems and Software Engineering\u2014Software life Cycle Processes\u2014Part 2: Relation and Mapping between ISO\/IEC\/IEEE 12207:2017 and ISO\/IEC 12207:2008. Available online: https:\/\/standards.ieee.org\/."},{"key":"ref_14","unstructured":"(2021, June 16). IEEE\/ISO\/IEC 12207-2017\u2014ISO\/IEC\/IEEE International Standard\u2014Systems and Software Engineering\u2014Software Life Cycle Processes. Available online: https:\/\/standards.ieee.org\/."},{"key":"ref_15","unstructured":"(2021, August 14). SWEBOK Version 3. Software Engineering Body of Knowledge. IEEE Computer Society. Available online: www.swebok.org."},{"key":"ref_16","unstructured":"Thayer, R.H., and Dorfman, M. (1997). Software Requirements Engineering, IEEE Computer Society Press. [2nd ed.]."},{"key":"ref_17","unstructured":"(2021, June 16). 29148-2018\u2014ISO\/IEC\/IEEE International Standard\u2014Systems and Software Engineering\u2014Life Cycle Processes\u2014Requirements Engineering. Available online: https:\/\/standards.ieee.org\/."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Kravari, K., Antoniou, C., and Bassiliades, N. (2020). Towards a Requirements Engineering Framework based on Semantics. Proceedings of the 24th Pan-Hellenic Conference on Informatics (PCI 2020), Association for Computing Machinery.","DOI":"10.1145\/3437120.3437278"},{"key":"ref_19","unstructured":"(2021, June 16). Requirements Document for an Automated Teller Machine Network, Department of CSE, SDBCT, Indore, Software Engineering & Project Management Lab Manual. Available online: https:\/\/www.cs.toronto.edu\/~sme\/CSC340F\/2005\/assignments\/inspections\/atm.pdf."},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Arora, C., Sabetzadeh, M., Briand, L.C., and Zimmer, F. (2014, January 26). Requirement boilerplates: Transition from manually-enforced to automatically-verifiable natural language patterns. Proceedings of the 2014 IEEE 4th International Workshop on Requirements Patterns (RePa), Karlskrona, Sweden.","DOI":"10.1109\/RePa.2014.6894837"},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Farfeleder, S., Moser, T., Krall, A., St\u00e5lhane, T., Zojer, H., and Panis, C. (2011, January 13\u201315). DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development. Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Cottbus, Germany.","DOI":"10.1109\/DDECS.2011.5783092"},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"100030","DOI":"10.1016\/j.array.2020.100030","article-title":"A survey on the formalisation of system requirements and their validation","volume":"7","author":"Mokos","year":"2020","journal-title":"Array"},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.jss.2018.07.053","article-title":"Early validation of system requirements and design through correctness-by-construction","volume":"145","author":"Stachtiari","year":"2018","journal-title":"J. Syst. Softw."},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1016\/j.infsof.2018.06.011","article-title":"Development of a human error taxonomy for software requirements: A systematic literature review","volume":"103","author":"Anu","year":"2018","journal-title":"Inf. Softw. Technol."},{"key":"ref_25","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1109\/TSE.2012.52","article-title":"A Machine Learning Approach to Software Requirements Prioritization","volume":"39","author":"Perini","year":"2013","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/1592761.1592781","article-title":"Model checking: Algorithmic verification and debugging","volume":"52","author":"Clarke","year":"2009","journal-title":"Commun. ACM"},{"key":"ref_27","first-page":"164","article-title":"From stakeholder requirements to formal specifications through refinement","volume":"Volume 9013","author":"Li","year":"2015","journal-title":"Requirements Engineering: Foundation for Software Quality"},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Zareen, S., Akram, A., and Ahmad Khan, S. (2020). Security Requirements Engineering Framework with BPMN 2.0.2 Extension Model for Development of Information Systems. Appl. Sci., 10.","DOI":"10.3390\/app10144981"},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Deeptimahanti, D.K., and Babar, M.A. (2009, January 16\u201320). An Automated Tool for Generating UML Models from Natural Language Requirements. Proceedings of the 2009 IEEE\/ACM International Conference on Automated Software Engineering, Washington, DC, USA.","DOI":"10.1109\/ASE.2009.48"},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.jss.2013.08.036","article-title":"Conceptual modeling of natural language functional requirements","volume":"88","author":"Abirami","year":"2014","journal-title":"J. Syst. Softw."},{"key":"ref_31","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/s10515-008-0028-6","article-title":"Requirements model generation to support requirements elicitation: The Secure Tropos experience","volume":"15","author":"Kiyavitskaya","year":"2008","journal-title":"Autom. Softw. Eng."},{"key":"ref_32","first-page":"115","article-title":"Using Natural Language Processing and Artificial Intelligence to explore the nutrition and sustainability of recipes and food","volume":"3","author":"Reynolds","year":"2021","journal-title":"Front. Artif. Intell."},{"key":"ref_33","unstructured":"Jena (2021, June 16). The Apache Software Foundation. Available online: https:\/\/www.apache.org\/."}],"container-title":["Algorithms"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1999-4893\/14\/10\/298\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T07:15:40Z","timestamp":1760166940000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1999-4893\/14\/10\/298"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,15]]},"references-count":33,"journal-issue":{"issue":"10","published-online":{"date-parts":[[2021,10]]}},"alternative-id":["a14100298"],"URL":"https:\/\/doi.org\/10.3390\/a14100298","relation":{},"ISSN":["1999-4893"],"issn-type":[{"type":"electronic","value":"1999-4893"}],"subject":[],"published":{"date-parts":[[2021,10,15]]}}}