Таблицы решений и ортогонализация объектов алгебры кортежей

ВЕСТНИК УДМУРТСКОГО УНИВЕРСИТЕТА
71

ЭКОНОМИКА И ПРАВО
2010. Вып. 4

УДК 334:004(045)

Ю.М. Сметанин 

ТАБЛИЦЫ РЕШЕНИЙ И ОРТОГОНАЛИЗАЦИЯ ОБЪЕКТОВ АЛГЕБРЫ КОРТЕЖЕЙ

Предлагается способ моделирования рассуждений о предметной области деятельности (декларативной компоненты модели предметной области) на базе ортогонального базиса силлогистики и множеств, задаваемых в алгебре кортежей. При этом императивная компонента моделируется в форме взаимодействующих автоматов над 
памятью, описываемой объектами алгебры кортежей. Работа продолжает цикл наших публикаций, посвященных реинжинирингу бизнес-процессов и проектированию деятельности [3-5].

Ключевые слова: таблица решений, бизнес-процессы, автомат, автоматное проектирование, моделирование. 

Главным способом действий в любом творческом процессе является спиралевидный целесооб
разный процесс накопления и верификации знаний в цикле перехода от оригинала к модели, исследования модели и получения новых знаний, переноса полученных знаний на оригинал, постановки новой цели и повторения цикла. При проектировании деятельности, например бизнес-процесса (BP), его 
описание можно вести на трех уровнях:

- «черный ящик» – описывается реакциями «вход – выход» и спецификацией внешних событий 

и диалоговых состояний, вызываемых внешними событиями; 

- «серый ящик» – BP описывается как система управляющего и операционного автоматов [4; 5] 

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

- «белый ящик» – осуществляется наполнение функциональных структур исполнителями пред
метных и интерфейсных библиотек стандартизованных процедур целостных (единиц) деятельности, 
составление управляющих спецификаций – таблиц управления для управляющих автоматов, описывающих процессы функционирования BP.

Второй и третий уровень названы ниже К- и А- сценариями. Сценарий – это способ достижения 

поставленных целей с учетом ограничений окружающей среды и внутренних и внешних факторов
влияния. 
Существуют 
два 
взаимодополняющих 
подхода 
к 
моделированию: 
процессо
ориентированный и объектно-ориентированный. Более того, эффективное моделирование ВР может 
быть осуществлено на основе их интеграции. Сначала строится процессо-ориентированная концептуальная модель. При этом модель поведения ВР строится путем выстраивания и анализа сценария работы ВР на двух уровнях. Сценарий первого уровня является рамочным, он дает лишь общее (не загроможденное деталями) представление о ВР. Он удобен по форме представления и терминологии
для специалистов предметной области. С другой стороны, он должен нести достаточно информации 
для проведения предварительной формальной проверки корректности исходных знаний о поведении 
ВР. Он назван нами концептуальным (К-сценарием). Можно назвать К-сценарий также концептуальной моделью ВР. Такой сценарий не исходит из архитектуры системы, а является ее прообразом. Таким образом, К-сценарий – это процессо-ориентированная концептуальная модель деятельности 
(функционирования) ВР. Вторичным по отношению к нему является сценарий создания (сборки, инжиниринга) либо перестройки (реинжиниринга). Он основан на выделении внешних и внутренних 
единиц деятельности и, по необходимости, является формализованным, объектно-ориентированным, 
автоматным (формально-алгоритмическим). Этот сценарий будем называть А-сценарием. Факторы,
цели и характеризующие степень их достижения показатели в совокупности образуют «память», состояние которой характеризует состояние моделируемой системы. Таблицы решений являются средством для формализованного описания деятельности. В работе [4] даны основные определения и 
классификация таблиц. Непротиворечивая и однозначно реализуемая целенаправленная деятельность 
описывается логически полными, совершенными таблицами (комплексами таблиц), у которых все 
непротиворечивые ситуации сопоставлены с решениями и в состав правил принятия решений входят 
непересекающиеся попарно множества ситуаций. В работе [5] показано, что при описании последовательных взаимодействующих процессов в автоматной форме удобнее всего состояния автомата задавать как таблицу решений с расширенными входами, в качестве которых выступают объекты алгебры кортежей. Алгебра кортежей (АК) – это разработанная Б.А. Куликом математическая система