Publication detail

On the Applicability of ALF Language in Real Software Projects

KOČÍ, R. OSADSKÝ, L.

Original Title

On the Applicability of ALF Language in Real Software Projects

Type

article in a collection out of WoS and Scopus

Language

English

Original 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 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.

Keywords

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

Authors

KOČÍ, R.; OSADSKÝ, L.

Released

17. 10. 2022

Publisher

Xpert Publishing Services

Location

Lisbon

ISBN

978-1-61208-997-3

Book

ICSEA 2022, The Seventeenth International Conference on Software Engineering Advances

Pages from

102

Pages to

107

Pages count

6

BibTex

@inproceedings{BUT181661,
  author="Radek {Kočí} and Lukáš {Osadský}",
  title="On the Applicability of ALF Language in Real Software Projects",
  booktitle="ICSEA 2022, The Seventeenth International Conference on Software Engineering Advances",
  year="2022",
  pages="102--107",
  publisher="Xpert Publishing Services",
  address="Lisbon",
  isbn="978-1-61208-997-3"
}