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" }