Domain specific language for specifying formal software requirements

Abstract

This article represents a comprehensive analysis of developing a Domain Specific Language for specifying formal software requirements. The paper describes the process of the DSL's creation, focusing on its objectives, key features, and governing principles. This analysis outlines the essential components and capabilities that the DSL incorporates, including syntax, semantics, and the grammar's vocabulary. Through the utilization of the ANTLR tool, a parse tree was constructed that precisely illustrates the DSL's structure, offering a clear view of its configuration. The DSL is crafted to facilitate the expression of both non-functional and functional software requirements, through a structured format that encompasses interfaces, specifications, and detailed requirements and functionalities specifications. This new DSL strives to simplify the specification process, bringing forth innovative methods and perspectives for the effective articulation of software requirements.