СПбГУИТМО, каф. Вычислительной техники Выбор исполнимой модели для описания логики переходов веб- приложений Чепурной Александр Иванович Начный руководитель: - презентация

1 СПбГУИТМО, каф. Вычислительной техники Выбор исполнимой модели для описания логики переходов веб- приложений Чепурной Александр Иванович Начный руководитель: проф. каф. Выч. Техники, д.т.н. Ожиганов Александр Аркадиевич

2 Цели работы: изучить способ задания логики переходов в веб- приложении изучить способы моделирования логики переходов изучить достоинства и недостатки моделей

3 Веб-приложение

4 Этапы в развитии динамической генерации кода представления вызов функций консольного вывода программа в специальных тэгах модель-вид-контроллер

5 МВК Модель 1

6 МВК Модель 2

7 Логика переходов

8 Модели - исполнимые - логико-алгебраические

9 Конечные автоматы - Сопоставление элементам логики переходов(видам и действиям) состояний КА - Сопоставление событиям, по которым совершаются переходы, символам входного алфавита -Выходные символы обозначим так же, как и состояния, в которые совершается переход - Выбор начального состоянияавтомата -Выбор заключительных состояний автомата

10

11 Конечная система переходов со стимулами и реакциями Сопоставление событиям, по которым совершаются переходы, символам входного алфавита, Возможно обозначение состояниями лишь действий, реакциями обозначить виды, стимулами - события, по которым совершаются переходы.

12

13 Расширенные конечные автоматы Взаимодействующие автоматы Иерархические автоматы

14

15 Сети Петри Машины абстрактных состояний

16 Модель должна обладать следующими свойствами: -допускать однозначное соответствие между логикой переходов и моделью -процесс перехода должен быть как можно более простым -иметь развитую теорию тестирования и верификации ПО с помощью данной модели -позволять проводить верификацию программного обеспечения с помощью проверки модели(model checking)

17 Свойства конечных автоматов Автоматы являются: детерминированными автоматами Мура иерархическими

18 Преимущества описания структуры веб- приложений с помощью КА. 1. Проектирование и тестирование без знания деталей реализации 2. Простота разработки по прнципу сверху-вниз 3. Использование для проектирования и тестирования методов, разрабатываемых с 70х годов 4. Автоматическая верификация некоторых важных свойств веб-приложений.