Detail publikace
On the Applicability of ALF Language in Real Software Projects
Osadský Lukáš, Bc. (FIT VUT)
Modelování je jednou z klíčových činností při specifikaci požadavků a návrhu softwarového systému. Při návrhu a vývoji softwarových systémů se dlouhodobě projevuje trend přechodu od statických softwarových modelů k spustitelným modelům. Mezi tyto modely patří například stavové diagramy nebo techniky využívající automatizované transformace modelů, které vycházejí z podmnožiny modelů UML a doplňují je speciálními jazyky, jako je Alf. Společným rysem je přesunutí části ověřování a testování z fáze implementace do fáze návrhu. V tomto článku se zaměříme na možnosti využití jednoho směru aplikace modelů při vývoji softwaru, a to Foundational Subset of Executable UML (fUML), ve spojení se specifikačním jazykem Alf. Příspěvek přináší rešerši o základní podstatě přístupů Model-Driven Engineering, konkrétně fUML a jazyka Alf. Poté jsme se je pokusili aplikovat na případovou studii konferenčního systému a zachytit všechny problémy.
@INPROCEEDINGS{FITPUB12825,
author = "Radek Ko\v{c}\'{i} and Luk\'{a}\v{s} Osadsk\'{y}",
title = "On the Applicability of ALF Language in Real Software Projects",
pages = "102--107",
booktitle = "ICSEA 2022, The Seventeenth International Conference on Software Engineering Advances ",
year = 2022,
location = "Lisbon, PT",
publisher = "Xpert Publishing Services",
ISBN = "978-1-61208-997-3",
language = "english",
url = "https://www.fit.vut.cz/research/publication/12825"
}