Faculty of Mathematics, Physics
and Informatics
Comenius University Bratislava

Doctoral colloquium - Lukáš Radoský (11.12.2023)

Monday 11.12.2023 at 13:10, Lecture room I/9

07. 12. 2023 13.13 hod.
By: Damas Gruska

Lukáš Radoský:
Optimization and Reuse in Development of Large Software Systems

Introduction of Unified Modelling Language (UML) codified a universal format for software modelling. UML offers numerous diagram types for visualization of various aspects of the modelled software. While the vast range of diagram types makes UML robust, it also implies that to model software thoroughly, several diagrams need to be created. To understand the modelled software, one needs to look into several diagrams and deduce the links between them. This is why researchers, us included, try to propose modelling approaches that would make such links explicit. We propose a novel software modelling method that provides both the structure and the behavior of the modelled system in one view, with the model being executable. To simplify the process of projecting software models into implementation, the software prototype supporting our modelling method also features automated transformation of platform-independent software models into platform-dependent source code. Validity of software modelling methods and supporting prototypes is usually validated by performing user evaluation, which is a step yet to be taken.