Реферат на тему "Концепция построения моделей композитного документооборота"




Реферат на тему

текст обсуждение файлы править категориядобавить материалпродать работу




Статья на тему Концепция построения моделей композитного документооборота

скачать

Найти другие подобные рефераты.

Статья *
Размер: 67.35 кб.
Язык: русский
Разместил (а): Максим Круковский
1 2 3 Следующая страница

добавить материал

УДК 681.3
М.Ю. КРУКОВСКИЙ
КОНЦЕПЦИЯ ПОСТРОЕНИЯ МОДЕЛЕЙ КОМПОЗИТНОГО
ДОКУМЕНТООБОРОТА__________________________________________________
 
Abstract: The modern conceptual, frictional, logical and structure approach of building models of electronic document turnover systems, is which allows creation on its base  of the automated inform ation systems for different  applications is discussed. As the base for building such models it is proposed to use wide approbated and well proved itself the apparatus of the theory of graphs, theory  of automates. Conceptual propositions of this paper may be used for deciding theoretical problems of the electronic document turn over and creation on its base of the corresponding software.
Key words: electronic document-over, theory of graphs.
 
Анотація: У статті розглянуто сучасний підхід побудови концептуальної, функціональної, логічної та структурної моделей системи електронного документообігу, яка дозволяє створити на їх основі автоматизовані інформаційні системи для різного застосування. Як основу побудови таких моделей пропонується використовувати широко апробований апарат теорії графів, теорії автоматів на ін., що добре себе  зарекомендував. Концептуальні положення цієї статті можуть бути використані для рішення теоретичних проблем електронного документообігу і створення на їх основі відповідного програмного забезпечення.
Ключові слова: електронний документообіг, теорія графів.
 
Аннотация: В статье рассмотрен современный подход к построению концептуальной, функциональной, логической и структурных моделей системы электронного документооборота, позволяющий создать на их основе автоматизированные информационные системы для различных приложений. В качестве основ построения таких моделей предлагается использовать широко апробированный и хорошо зарекомендовавший себя аппарат теории графов, теории автоматов и др. Концептуальные положения этой статьи могут быть использованы  для решения теоретических проблем электронного документооборота и создания на их основе соответствующего прикладного программного обеспечения.
Ключевые слова: электронный документооборот, теория графов.
 
1. Введение
Парадигмой применения научного подхода при решении современных задач является построение формальной модели для исследования объектов реального мира. В настоящей статье будет рассмотрена концепция построения формальной модели композитного документооборота. Композитный документооборот понимается как документооборот, который при движении документов использует как электронные, так и бумажные носители, а также их композитные решения.
В [1] понятие модели определяется следующим образом: «Модель – материальный объект или совокупность математических, логических или иных соотношений, воспроизводящих изучаемый объект в некотором отношении, заданном целью исследования». Таким образом, модель является формальной копией объекта реального мира по возможности наиболее полно повторяя его свойства и поведения. Это качество модели дает возможность использовать ее в исследованиях, подменяя ею собственно объект реального мира, что позволяет более направленно проводить исследования, акцентируя при этом внимание на интересующих исследователя свойствах.
На данный момент реализации документооборота являются композитными не только из-за используемых технологий, но и вследствие двойственности исходных установок. Выражаясь точнее, над реализациями документарной деятельности организаций довлеют постсоветские традиции, а в качестве основного инструментария используются прозападные технологии. Вследствие этого, для построения формальной модели использовались как западные, так и отечественные теоретические наработки и практические результаты.
Из отечественной теоретической базы в качестве основы для построения модели был принят принцип автоматизации документооборота, описанный В.М. Глушковым в [2]. Из западной были использованы теоретические результаты, полученные известным американским специалистом в области документооборота Майклом Саттоном и описанные в [3].
При практической реализации представленной формальной модели использовались методы и средства дискретной математики. В отечественной и западной математических школах, несмотря на общность подходов, существуют некоторые минорные отличия, которые радикальным образом влияют на представление моделей. Отечественный подход и формы представления моделей были взяты из [4], адаптация к  западным  происходила после изучения работ [5] и [6].
 
2. Постановка проблемы
Для создания формальной модели композитного документооборота производится обследование реального объекта для выявления сценариев его поведения и протоколов свойств, совокупность которых является интерфейсом с внешним миром. Общее множество установленных протоколов и выявленных сценариев образует правила. Когда формальная модель является концептуальной, то ее поведение определяется правилами,  определенными при обследовании реального объекта. При использовании любого подхода обследований из объекта реального мира вычленяется ограниченное количество признаков, специфичных для примененного метода обследования. В то же время сами объекты реального мира достаточно сложны, то есть обладают достаточно большим количеством признаков, совокупность которых представляет их восприятие. Поэтому для моделирования потребовалось бы  громадное количество правил, чтобы полностью описать поведение и свойства реального объекта. При задании формальной модели используется конечное количество правил, поэтому модель всегда проще реального объекта.
Таким образом, вне зависимости от применяемой методологии обследования и инструментария задания правил модель всегда получается более простой для понимания и изучения, чем объект реального мира, но при этом утрачивается ряд свойств моделируемого объекта.
По данным, полученным при обследовании предмета реального мира, может быть сформировано конечное количество правил. На базе этих правил, в зависимости от используемого инструментария, может быть построено очень большое количество абстрактных представлений – формальных моделей. Все эти модели будут построены на основе конечного подмножества, выделенного из множества данных о его свойствах и поведении. Степень соответствия модели реальному объекту, то есть отношение подмножества использованных правил к общему множеству данных о свойстве и  поведении объекта реального мира называется адекватностью модели.
В общем случае из бесконечного множества правил может быть выбрано бесконечное количество подмножеств, из которых могут быть построены формальные модели. Однако исследователю-разработчику необходимо выбрать из множества моделей ту, в которой были бы отражены только существенные свойства изучаемого объекта.
В данной статье будет изложена методология построения формальной модели, которая позволит выбирать адекватные модели, обеспечивающие построение измеримых и управляемых систем композитного документооборота. Требование измеримости обусловлено современными требованиями к оценке прогресса внедрения информационных систем. Международная статистика успешности проектов в области информационных технологий говорит о том, что своевременное прекращение заведомо неуспешных проектов дает значительную экономию финансовых средств. Требование управляемости предопределено современными темпами изменения бизнес-задач. Интервалы успешной рыночной деятельности изменяются столь стремительно, что необходима быстрая адаптация компании при переходе из кризисных задач к ежедневным. Возможность быстро и эффективно изменять используемые бизнес-процессы обеспечивает компании поддержку в непрерывной адаптации к стремительно меняющейся конъюнктуре рынка.
 
3. Методология построения формальной модели
При создании программного обеспечения, которое адекватным образом учитывает требования всех участников документооборота и позволяет адаптивно реагировать на внесенные изменения, целесообразно использовать метод построения программного обеспечения на основе формальной модели.
Данный метод является одним из вариантов широко используемого сегодня прецедентного подхода, который используется при создании современного программного обеспечения. Появившись вместе с объектно-ориентированным подходом, прецедентное программирование развилось и установилось, являясь на данный момент одним из самых мощных и отлаженных инструментариев для распределенного программирования. Подробнее с этим методом, его применением  и технологией IBM Rational Unified Process можно ознакомиться в работе [7].
Суть этого метода состоит в том, что создание программного обеспечения, реализующего отображения некоторого реального объекта происходит  через создание нескольких моделей. Весь процесс создания программного обеспечения приводится к рационально унифицированному процессу, который укрупненно разбивается на три основных этапа: теоретический, практический и физический. Каждый из этапов характеризуется получением промежуточного результата, который является входными данными для следующего этапа. Результаты – формализованные, а процесс получения результатов – измеримый и контролируемый. Кратко описать процесс можно следующим образом: сначала происходит построение общей абстрактной модели, которая потом, путем преобразования общей модели, превращается в конкретную модель. На основании полученной таким образом конкретной модели производится ее реализация в отображение, то есть собственно создание программного обеспечения для конкретного применения. Перечислим особенности каждого из вышеназванных этапов рационально унифицированного процесса.
Первый этап – построение общей теоретической модели. На этом этапе производится сбор данных об объекте реального мира и создание теоретического описания. Описание строится таким способом, чтобы максимально полно покрывать свойства и поведение моделируемого объекта. Как уже отмечалось выше, сколь долго бы не велись  исследования, сколько полно использовалась бы информация, все равно невозможно достичь полного соответствия  теоретической модели реальному предмету. Этот очевидный факт естественным образом следует из факта бесконечности множеств, свойства и поведения реального объекта. Поэтому общая модель строится таким образом, чтобы быть покрывающей. То есть настолько общей, чтобы избыточно покрывать информацию, полученную  при исследовании реального объекта. Эту характеристику покрываемости можно сформулировать следующим образом: общая модель должна быть избыточной и достаточной. Это следует из того, что могут существовать объекты из реального мира, не относящиеся к объекту, которые подпадают под описания и присутствуют в модели. При этом у объекта не существует свойств, которые бы не были описаны, поведения, которое не было бы запротоколировано.
Второй этап – построение конкретной теоретической модели объекта реального мира. В качестве входных данных  используется полученная на предыдущем этапе общая теоретическая модель. При этом общая теоретическая модель является избыточной, и ее описание часто покрывает не только моделируемый объект, но и некоторое количество объектов, имеющих сходные свойства или похожее поведение. Конкретная теоретическая модель строится путем применения аппарата существующей теории к общей модели. При этом происходит ее адаптация к уже установившимся формулировкам, понятиям и используемому инструментарию. В процессе такой адаптации, в силу ограниченности любой существующей теории, модель может утратить некоторые свойства, которые не описывают применяемый аппарат или не реализуют используемый инструментарий. Таким образом, конкретная модель получается достаточно формализованной и может быть практически реализована имеющимся инструментарием. Однако при этом происходит снижение адекватности в силу ограниченности используемого аппарата существующей теории, что приводит к  утере свойств моделируемого объекта. Тем не менее, конкретная теоретическая модель позволяет создавать практическую реализацию объекта, то есть реализовать конкретную задачу моделирования.
Третий этап – построение практической (физической) реализации объекта реального мира. Входными данными для этого этапа является полученная на предыдущем этапе конкретная теоретическая модель. Это модель характерна тем, что описана в терминах и правилах конкретной существующей теории и для ее реализации подготовлен существующий инструментарий. Этот этап является собственно программированием, созданием прикладного программного обеспечения на основе полученных при исследовании описаний, которые основываются на апробированных средствах разработки. Результатом данного этапа является некоторое программное обеспечение, которое само по себе тоже является объектом реального мира. Этот результат есть экземпляром, полученным на  основе отображения моделируемого объекта с  использованием аппарата теорий реального мира.
Использование вышеизложенной этапности позволяется разбить инновационный процесс создания программного обеспечения на конечный список определенных работ. Значительным достоинством этой методологии является возможность проведения проверок промежуточных результатов работ – моделей, получаемых на первом и втором этапах. Такая промежуточная проверка позволяет потребителю программного обеспечить прозрачность и управляемость процесса разработки. Разработчик программного обеспечения с помощью этой методологии решает задачу изолированности своих производственных сил – программистов от реальных задач и проблем потребителя. Потребитель по факту анализа полученных промежуточных моделей может скорректировать планы разработчиков, что дает значительную экономию финансовых средств и времени. Более того, связность получаемых моделей позволяет принимать решения и производить изменения  в системе на уровне представлений общей архитектуры системы, что дает возможность абстрагироваться от текущих проблем реализации, уделить больше внимания значимым сущностям и мыслить на системном уровне. Это позволяет распределить компетенцию команды, которая занята созданием программного обеспечения и снижает конфликты между специалистами прикладной области, в интересах которых решается данная задача, и компьютерными специалистами, которые реализуют задачу.
Вышеизложенная методология схематично отображена на рис 1.
Виртуальный мир
Реальный мир
Моделируемый
объект
Модель
Конкретная теоретическая модель
Общая теоретическая модель
 SHAPE  \* MERGEFORMAT
Рис. 1. Методология создания системы документооборота
           
На рис. 1 в общий контур объединены объект и его программная реализация, общая теоретическая модель и конкретная теоретическая модель. Это сделано для того, чтобы показать существующую общность между ними. При этом имеется в виду, что объект и реализация находятся в реальном  мире, то есть имеют некоторое физическое воплощение. В отличие от этого, обе модели находятся в виртуальном мире, то есть их воплощением является некоторый набор теоретических сведений. Таким образом, видно, что создание программной реализации объекта реального мира предполагает использование его теоретических проекций.
Если принять вышеуказанное обобщение, то можно говорить о двух этапах проводимых преобразований:  из реального мира в теоретический и из теоретического в реальный. По применяемому инструментарию эти этапы можно назвать абстрагированием и реализацией. Этап абстрагирования основан на обобщении проецирования объектов реального мира в теоретический, то есть их воссоздание через систему свойств и признаков. На этапе реализации происходит обратный процесс: по предварительно заданным теоретическим данным функционально воссоздается объект реального мира.
При этом абстрагирование понимается в аспекте анализа предмета с целью выявления его сущностей, выработки критериев значимости, выявление значимых сущностей, а также отсеве незначимых. Степень значимости сущности определяется степенью ее отношения к изучаемым свойствам объекта. Таким образом, абстрагирование, с одной стороны, дает возможность концентрировать внимание разработчиков на исследуемых свойствах объекта, а, с другой стороны, за счет отсева незначимых сущностей понижает уровень адекватности исходного объекта и полученной модели.
1 2 3 Следующая страница


Концепция построения моделей композитного документооборота

Скачать статью бесплатно


Постоянный url этой страницы:
http://referatnatemu.com/444



вверх страницы

Рейтинг@Mail.ru
Copyright © 2010-2015 referatnatemu.com