# Системная инженерия. <br/> Архитектурное моделирование компьютерных систем ## Заметки --- ## О точках зрения ### Хуже значит лучше  Высокое начальство инструктирует молодого руководителя. ---- - Праксиология — учение о человеческой деятельности, о реализации человеческих ценностей в реальной жизни. - Австрийская экономическая школа.  --- ### Новые технологии  --- <!-- view en ru --> <div class="row"><div class="col">  </div><div class="col">  </div><div class="col">  </div></div> --- ## Законы развития <br/> (в том числе и технологий) Источник: [Диалектика Гегеля и Закон Седова <br/> как способ верификации IT трендов <br/> с примерами из Автоматизации тестирования](https://m.youtube.com/watch?v=g8bkugcGeDg) ---- ### Диалектика Гегеля  ---- ### Принцип развития иерархических систем Седова В сложной иерархически организованной системе рост разнообразия на верхнем уровне обеспечивается ограничением разнообразия на предыдущих уровнях, и наоборот, рост разнообразия на нижнем уровне разрушает верхний уровень организации.  --- ### Architectural specification (vertical) <div class="row"><div class="col"> 1. Specification of layers and their relationship. 2. In opposite to "horizontal" specification we offer "vertical" architectural specification. 3. Relationship — evaluation or actualisation. </div><div class="col">  </div></div> --- ## Уровневая организация  ---- ### Системно-иерархический стиль <div class="row"><div class="col"> - Система — единство функционального места и конструкции (обеспечивающей функциональные требования). - Работа с жизненным циклом построена на концепциях `whole-life-individual` и `temporal-part` по ISO 15926. - Трассировка требования. - Отображение функциональных мест на всём жизненном цикле. - Отображение модульности и многофункциональности. </div><div class="col">   </div></div> ---- ### Граф актуализации <div class="row"><div class="col"> - Represent the structure of computational process actualisation. - One of axis of design space. - Oriented acyclic graph, where vertex — translator, arcs — any transfers between translator. - Unified computation process representation for - Design-time and run-time phases. - Software and Hardware component. </div><div class="col">  </div></div> ---- ### Модифицированный граф актуализации <div class="row"><div class="col"> - Представления ВС в рамках различных ВПл вне зависимости от стадии жизненного цикла. - Ориентированный нециклический граф, где вершины — спецификации, используемые в ВсС, рёбра — трансляции между ними. - Анализ инструментальных цепочек и представлений процесса. - Последовательная актуализация спецификаций в физический процесс не позволяет включить в рассмотрение спецификации, используемые для верификации. </div><div class="col">  </div></div> ---- ### Модель-процесс-вычислитель <div class="row"><div class="col"> - Модель (конфигурация) вычислительного процесса, описывающая вычислительный процесс в рамках ВПл. - Вычислитель — целостный зафиксированный механизм, обеспечивающий вычислительный процесс. - Вычислительный процесс (ВП) и частичный процесс, который разворачивается вычислителем и соответствует модели по построению или формальному критерию. - Компонент ВП — атомарный или составной шаг вычислителя. </div><div class="col">  </div></div> ---- <div class="row"><div class="col"> - Вычислительный механизм (ВМх) — часть вычислителя, обеспечивающая компонент ВП. - Отношение виртуализации — абстракция над процессом, фиксирующая вычислитель. - Определяет полное множество атомарных компонент ВП и позволяет описать любой допустимый ВП. - Невыразимость процесса говорит о сбое вычислителя или некорректной виртуализации. - Отношение трансляции — формальное соответствие двух моделей друг другу. </div><div class="col">  </div></div>