Algebraic models of subsystems of abstract system with the user interface

摘要

W artykule przedstawiono dekompozycję abstrakcyjnego systemu informatycznego z interfejsem użytkownika na podsystemy, przy uwzględnieniu funkcji podsystemów. Są trzy poziomy dekompozycji. Pierwszy poziom zawiera podsystemy interfejsu użytkownika z przypisanymi im funkcjonalnościami (podsystemy graficzno-funkcjonalne) oraz podsystemy funkcjonalne. Na drugim poziomie są podsystemy graficzno-funkcjonalne dekomponowane na elementy wizualne (podsystemy wizualno-elementowe) oraz podsystemy właściwości tych elementów wizualnych (podsystemy właściwościowe). Podsystemy wizualno-elementowe oraz właściwościowe mogą zawierać wiele poziomów dekompozycji. Podsystemy funkcjonalne na drugim poziomie są dekomponowane na zmienne, struktury i procedury. Podsystemy strukturne są dekomponowane na składowe o różnym przeznaczeniu. Procedury mogą zawierać zmienne, relacje, operacje oraz inne składowe. Modele podsystemów wszystkich poziomów opisano przy użyciu zmodyfikowanej algebry algorytmów oraz zmodyfikowanego systemu algebr algorytmicznych. Przedstawiono porównanie tych modeli przy uwzględnieniu kryterium liczby składowych.%Informatics abstractive system decomposition with its user interface into subsystems, taking into account the subsystems functions, is presented in the paper. There are three levels of decomposition. The first level contains functional subsystems of the user interface and functional subsystems. At the second level graphic-visual subsystems are decomposed into multilevel visual elements and multi-level property subsystems of visual elements. Functional subsystems on the second level are decomposed into variables, structures and procedures. Structural subsystems are decomposed into components of different designations. Procedures may contain variables, relations, operations and other components. Models of subsystems at all levels are described by the use the modified algorithm algebra, and the modified system of algorithmic algebras. The results of the comparison of models by different component numbers there are shown.