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

Презентация:



Advertisements
Похожие презентации
Автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механики и оптики 2009 г.
Advertisements

Визначення і властивості автомата. Автомати Мілі та Мура.
Применение автоматного программирования во встраиваемых системах В. О. Клебан, А. А. Шалыто Санкт-Петербургский государственный университет информационных.
Нейро-автоматное управление в машинном обучении Выполнил: Губин Ю.А. ст. гр Руководитель: Шалыто А.А. д.т.н, проф., зав. каф. ТП, СПбГУ ИТМО.
Современные проблемы информатики Лекция 1 Введение Транзиционные системы.
Введение в теорию конечных автоматов. В вычислительной технике используются системы двух классов: -Комбинационные системы Особенности: имеют функциональную.
Моделирование и исследование мехатронных систем Курс лекций.
Построение автоматов управления системами со сложным поведением на основе тестов с помощью генетического программирования Федор Николаевич Царев, СПбГУ.
Александров А.Г ИТО Методы теории планирования экспериментов 2. Стратегическое планирование машинных экспериментов с моделями систем 3. Тактическое.
Автор: Вельдер С. Э., аспирант Руководитель: Шалыто А. А., доктор технических наук, профессор, заведующий кафедрой «Технологии программирования» Верификация.
Диаграммы реализации. Основные вопросы Виды и назначение диаграмм реализации Основные компоненты Примеры.
Декомпозиция сложных дискретных систем, формализованных в виде вероятностных МП-автоматов. квалификационная работа Выполнил: Шляпенко Д.А., гр. ИУ7-83.
Декомпозиция сложных дискретных систем, формализованных в виде вероятностных МП-автоматов. квалификационная работа Выполнил: Шляпенко Д.А., гр. ИУ7-83.
Теория автоматов Основные понятия, способы задания, типы автоматов.
Теория вычислительных процессов Сети Петри для моделирования Преподаватель: Веретельникова Евгения Леонидовна 1.
Автоматизация сборки и модификации разнородной компьютерной документации: разработка графического интерфейса приложения и формата файлов проекта. Исполнитель:
Сервис описания дискретных динамических систем на основе рекуррентных алгоритмов стохастической аппроксимации и подобных им Александр Вахитов научный руководитель.
1 Язык сети Петри Алфавит Σ– конечное множество символов. Строка – любая последовательность символов конечной длины из символов алфавита Пустая строка.
Алгоритм называется частичным алгоритмом, если мы получаем результат только для некоторых d є D и полным алгоритмом, если алгоритм получает правильный.
Докладчик: Бульёнов А. В., аспирант Научный руководитель: Шалыто А. А., д. т. н., профессор, зав. кафедрой КТ Методы автоматного программирования в разработке.
Транксрипт:

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

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

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

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

МВК Модель 1

МВК Модель 2

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

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

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

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

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

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

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

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

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