Владислав Шакиров «Stateless: управляем состоянием объектов»

В докладе описана библиотека Stateless, которая управляет состоянием объекта на основе диаграммы конечного автомата. Рассмотрим практику динамического создания диаграммы состояний объекта из любого источника. А так же посмотрим на пример из нашего проекта и какие бенефиты мы получили.

Transcript

1. Stateless: управляем состоянием объектов
2. Обо мне Владислав Шакиров Разработчик 2 Разработчик в Райффайзенбанк. Разрабатываю на .Net уже около 5 лет. Занимаюсь разработкой Backend и Desktop-приложений, а так же стараюсь делать архитектуру приложений проще и понятнее ☺
3. ▪ Что же такое конечный автомат? ▪ Обзор библиотеки Stateless ▪ Пример реализации и билдер автомата План доклада 3
4. Что такое конечный автомат 1 Коне́чный автома́т — абстрактный автомат, число возможных внутренних состояний которого конечно. Диаграмма состояний (или иногда граф переходов) — графическое представление множества состояний и функции переходов. Представляет собой размеченный ориентированный граф, вершины которого — состояния КА, дуги — переходы из одного состояния в другое. Таблица переходов — табличное представление функции. Обычно в такой таблице каждой строке соответствует одно состояние, а столбцу — один допустимый входной символ. В ячейке на пересечении строки и столбца записывается состояние, в которое должен перейти автомат, если в данном состоянии он считал данный входной символ.
5. Конечный автомат 1,2,3 – состояния конечного автомата a, b – возможные переходов 5
6. ▪ Описание процесса ▪ Модели поведения ▪ Модель вычислений Для чего используется 6 ▪ Реализация ботов
7. У нас есть лифт… 7 Stateless лифт
8. У нас есть лифт… 8 Stateless лифт
9. У нас есть лифт… 9 Stateless лифт
11. Состояние Состояние – это совокупность изменяемых параметров объекта
12. Триггеры Триггер – это событие, по которому происходит переход из одного состояния в другое
13. У нас есть лифт 2.0 13 Уже с состояниями
14. У нас есть лифт 2.0 14 Уже с состояниями
15. Возможные решения 15 ▪ Оставить как есть ▪ Написать свой конечный автомат, потому что - фатальный недостаток ▪ Использовать уже готовое решение
16. Stateless • Актуальная версия 4.2.1 • .Net Standard 1.0 • .Net Framework 4.5 • https://github.com/dotnet-state-machine/stateless
17. У нас есть лифт 3.0 17 С библиотекой Stateless
18. 18 Хэндлеры прописываем при конфигурации состояния:
19. И еще немного фич в Stateless 19 • Substate • Триггер с параметром • Re-entry
20. Язык DOT 20 var umlDot = UmlDotGraph.Format(_stateMachine.GetInfo()); digraph { node [shape=Mrecord] rankdir="LR" OnOne [label="OnOne|entry / Function"]; OnTwo [label="OnTwo|entry / Function"]; OnThree [label="OnThree|entry / Function"]; OnOne -> OnTwo [style="solid", label="2"]; OnOne -> OnThree [style="solid", label="3"]; OnTwo -> OnOne [style="solid", label="1"]; OnTwo -> OnThree [style="solid", label="3"]; OnThree -> OnOne [style="solid", label="1"]; }
21. Stateless Decorator 21 S – Состояния T – Триггеры О – тип декорируемого объекта
22. И еще немного архитектуры. Таблицы переходов. 22 StateTable<S,T> -S StartState -Transactions[] -Actions[] Transaction<S,T> -S State -S DestinationState -T Trigger StateAction<S,T> -S State -string ActionName -enum ActionType
23. Десериализация. 23
24. Десериализация. 24
25. Спасибо за внимание! Владислав Шакиров Разработчик shakirov.vr@yandex.ru vk.com/vr.shakirov