Теория автоматов при создании корпоративных информационных систем



Скачать 31.32 Kb.
Дата30.12.2012
Размер31.32 Kb.
ТипДокументы

УДК 004(06) Компьютерные системы и технологии


А.В. ЯРНЫХ

Московский инженерно-физический институт (государственный университет)
Теория автоматов при создании корпоративных информационных систем



В данной статье предлагается эффективный подход создания корпоративных информационных систем, содержащих объекты, обладающие множеством состояний, основанный на теории автоматов.



Для автоматизации бизнес-процессов предприятий, работающих в разных сферах, в настоящее время создаются распределенные многоуровневые корпоративные информационные системы. Корпоративная информационная система представляет собой совокупность информационных ресурсов, процессов и технологий, преобразующих и распространяющих корпоративную информацию. Такие системы имеют в своей структуре программные объекты, моделирующие объекты реального мира автоматизируемой предметной области. Для моделирования и программирования поведения данных объектов эффективно использовать теорию автоматов.

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

Работу управления по анализу ситуаций и управлению действиями удобно описывать в терминах некоторого абстрактного объекта с конечным числом состояний. Формальной математической моделью такого объекта является модель конечного автомата. Абстрактный конечный автомат – это кортеж, или вектор S=(Q,Z,W,,,q0), у которого:

  1. Q = {q0, q1, … qk} – множество состояний;

  2. Z = {z0, z1, … zk} – множество входных сигналов (символов);

  3. W = {w0, w1, …wk} – множество выходных сигналов;

  4. : QZQ – функция переходов;

  5. : QZY – функция выходов;

  6. q0 – начальное состояние.

В зависимости от вида функций  и  выделяют два основных типа (рода) автоматов: автоматы Мили и автоматы Мура. Закон функционирования модели автомата Мили задается следующими уравнениями:

Q(t+1) = (q(t),z(t)),

W(t)=(q(t),z(t)).


Для более подробного описания объекта моделирования (системы) необходимо перейти от абстрактного автомата S к структурному автомату G. В структурном автомате G должна учитываться структура входных и выходных сигналов, определяемых уже как входные и выходные наборы и объекты автомата. Предлагается расширить определение автомата и его параметров применительно к предметной области корпоративных информационных систем, а возможно и конкретной разработки. Например:

  1. Q = {q0, q1, … qk} – множество состояний;

  2. Z = {z0, z1, … zk} – множество кодов перехода;

  3. V = {v0, v1, … vk}- множество проверок, положительное выполнение которых позволяет осуществить переход. Отрицательное выполнение любой из проверок предотвращает его выполнение;

  4. : QZVQ – функция переходов;

  5. B = (b1,b2, … bk) – множество действий, выполняемых во время перехода, до момента изменения состояния;

  6. F = (f1, f2, … fk) – множество действий, выполняемых во время перехода, после момента изменения состояния;

и т.д. Графически, жизненный цикл объекта и выполнение операций на переходах удобно представлять в виде нагруженного графа. При технической реализации это решается набором настроечных таблиц.

Предложенный подход позволяет управлять поведением системы без необходимости перепрограммирования, с одной стороны, и повторно использовать существующие функции – с другой.

Данный механизм был внедрен при автоматизации брокерской деятельности одного из ведущих российских инвестиционных банков и зарекомендовал себя с лучшей стороны.

Список литературы

  1. Байцер Б. Архитектура вычислительных комплексов. Том I. – М.: Мир, 1974.

  2. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 1. Синтаксический анализ. - М.: Мир, 1978.

  3. Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. – СПб.: Наука, 1998.




ISBN 5-7262-0555-3. НАУЧНАЯ СЕССИЯ МИФИ-2005. Том 12

Похожие:

Теория автоматов при создании корпоративных информационных систем iconУчебная программа Дисциплины б6 «Теория автоматов и формальных языков»
Целью преподавания дисциплины «Теория автоматов и формальных языков» является подготовка специалистов к деятельности в сфере разработки,...
Теория автоматов при создании корпоративных информационных систем iconПрограмма дисциплины «Архитектура корпоративных информационных систем»
Основные понятия корпоративных информационных систем (кис), стандарты кис
Теория автоматов при создании корпоративных информационных систем iconПрограмма дисциплины «архитектура корпоративных информационных систем»
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления подготовки 080500...
Теория автоматов при создании корпоративных информационных систем iconПреподаватель: Маркин П. М. Теория автоматов
Теория автоматов – раздел дискретных управляющих систем, изучающий математические модели (гомоморфные образы) реальных или возможных...
Теория автоматов при создании корпоративных информационных систем iconЭкзаменационные вопросы по курсу "Теория автоматов"
Характеристика и применение программируемых логических матриц (плм) при создании Ц. А
Теория автоматов при создании корпоративных информационных систем iconПрограмма курса «Теория автоматов»
Учебный курс «Теория автоматов». Входит в учебную программу направления 552800 «Информатика и вычислительная техника». Относится...
Теория автоматов при создании корпоративных информационных систем iconПрограмма экзамена по "Теории автоматов"
...
Теория автоматов при создании корпоративных информационных систем iconЭксперименты с конечными динамическими системами
В настоящее время интенсивно развивается теория конечных динамических систем, являющихся адекватным математическим аппаратом при...
Теория автоматов при создании корпоративных информационных систем iconМетодическое пособие По курсу лекций: Красов А. В. Теория информационных процессов и систем. Введение. Основные понятия и определения 2
Развитие различных сфер человеческой деятельности на современном этапе невозможно без широкого применения вычислительной техники...
Теория автоматов при создании корпоративных информационных систем iconВыбор субд для построения информационных систем
Работа представляет собой обзор существующих подходов к вопросу выбора Системы Управления Базами Данных при построении информационных...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org