On the Applicability of ALF Language in Real Software Projects

modeling, software systems, model-driven engineering, Alf language

Modeling is one of the critical activities in specifying requirements and designing a software system. In the design and development of software systems, there has been a long-term trend of shifting from static software models to feasible models. These models include, for example, state diagrams or techniques using automated model transformations, which are based on a subset of UML models and supplement them with special languages, such as Alf. A common feature is to move part of the verification and testing from the implementation stage to the design stage and eliminate the implementation process. In this paper, we will focus on the possibilities of using one direction of application of models in software development, namely the Foundational Subset of Executable UML (fUML), in conjunction with the specification language Alf. The paper provides a literature search on the fundamental essence of the Model-Driven Engineering approaches, namely fUML and Alf language. Then we tried to apply it to the case study of a conference system and captured all the problems.