Project

General

Profile

Actions

Работа с библиотекой NModel.dll

Подключив NModel.dll к своему проекту, мы сможем воспользоваться инструментами библиотеки для работы с моделями программы
и проверки сценариев на выполнимость на определенной модели. Рассмотрим объекты, которые нам понадобятся в дальнейшей работе:

NModel.Execution

  • NModel.Execution.ModelProgram - интерфейс для модели, которая представляет из себя абстракцию из условий перехода системы.
  • NModel.Execution.LibraryModelProgram - создает модель из сборки
  • NModel.Execution.ProductModelProgram - представляет модель, как композицию других
  • NModel.Execution.StateCollection - коллекция состояний
  • NModel.Execution.FSMBuilder - утилита для изучение программы

NModel.Utilities.Graph

  • Model.Utilities.Graph.GraphView - отображает FSM граф

NModel

  • FSM - тип данных, который обозначает конечный автомат

Updated by Виктор Самунь about 10 years ago · 3 revisions