Theme Section: Requirements Formalisation: From Text to Model-based

Kevin Charles Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani, Lola Burgueno, Mohammad Aminu Umar

Research output: Contribution to journalSpecial issuepeer-review


The automated creation of software models from requirements documents has significant potential as a means of reducing software development costs, accelerating development processes, and increasing the rigour of requirements engineering processes. Typically, such requirements formalisation (RF) involves producing a software model in a language such as UML, or in a domain-specific language (DSL), from natural language requirements documents in text format.

Many approaches have been proposed for automated formalisation of software requirements, typically involving some form of natural language processing (NLP) or machine learning (ML). One gap in this research field is the need for established case studies upon which different approaches can be compared, and there is also a lack of accepted criteria for comparing the results of formalisation approaches. In consequence, it is difficult to determine which approaches are more appropriate or effective for different kinds of formalisation task.

For submission to this Theme Section we ask all authors to apply their approach to an example from the user story cases (k3ucs and FABSucs), or the medical system requirements case from dies (if relevant to their formalisation approach) in order to support comparison of approaches on a common set of examples of real-world requirements documents.

The Journal of Software and Systems Modeling (SoSyM) invites original, high quality submissions for its Theme Section on “Requirements Formalisation” focusing on topics related to the formalisation of textual informal requirements in formal software models, including:

• Natural language processing techniques for deriving models from requirements statements
• Machine learning approaches for formalising requirements statements as models
• Tools for requirements formalisation
• Comparison and evaluation of different requirements formalisation
• Validation and quality assessment of formalised models
• Requirements formalisation for model-based test-case generationIndustrial case studies and experiences in the use of requirements formalisation
• Papers must be written in a scientifically rigorous manner with adequate references to related work.
• Submitted papers must not be simultaneously submitted in an extended form or in a shortened form to other journals or conferences. It is however possible to submit extended versions of previously published work if less than 75% of the content already appeared in a non-journal publication, or less than 40% in a journal publication. Please see the SoSyM Policy Statement on Plagiarism for further conditions.
• Submitted papers do not need to adhere to a particular format or page limit.
Please consult the SoSyM author information for submitting papers. • Each paper will be reviewed by at least three reviewers.
Original languageEnglish
JournalJournal of Systems and Software
Publication statusAccepted/In press - 2023

Cite this