Home // ICSEA 2022, The Seventeenth International Conference on Software Engineering Advances // View article

On the Applicability of ALF Language in Real Software Projects

Authors:
Radek Koci
Lukas Osadsky

Keywords: modeling; software systems; model-driven engineering; Alf language.

Abstract:
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 Unified Modeling Language (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. Due to the nature of the issues, we will not present this case study, as the substance is not essential for the paper.

Pages: 102 to 107

Copyright: Copyright (c) IARIA, 2022

Publication date: October 16, 2022

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-997-3

Location: Lisbon, Portugal

Dates: from October 16, 2022 to October 20, 2022