Detail publikace
On the Applicability of ALF Language in Real Software Projects
Osadský Lukáš, Bc.
modeling, software systems, model-driven engineering, Alf language
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{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"
}