Введение к работе
Йцтуалквость работы. Автоматизация о«ис* ( j f f і с «' automation) — одно из важнейший направлений использования ПЭВМ, даюяее пансипальный эф»»-<т сропи возможный приложений конпьмтеров. Это Н41ПрА)9ПЄНии, 111" сути, продолжило ранее существовавшее пппупирио« направление — АСУ» Основное отличие г кп»ссим«ск»і идеологии АСУ — автоматизация "сверху-вниз", в то врет» как офисные системы — автоматизации "снизу—гаверк" от источников и потребителей информации. Это чело»*но~ нааинные систены распределенного управлении, оЬычио >- р инеюпие "иестмого" центра.
Кпичепое понятие офисный систем — донунент. СиСИ'И.' — сеть иа равного вида ресурсов ОВМ, человен-агент, момнунинации, средства намерения, автоматы и др.>, взаимодействующих для выполнения поставленным >ад.ч. Как задами, там и сама система могут ивненяться (люлиционироаатк) в процессе Функционирования. Реааепые задачи связаны с обработкой, лриепом, передачей, хранением, размножением, соаданиеп документов. В системе суяестиенна роль челоэена и бумажные документы обычно сосуществуют с машмнныпи документами. 0*исно> действие — ато любое действие » офмсє, такое, как редактирование тенета, образование *орм, поиск инфорпации, отправление и прием сообщений, принятие ревений и др.
Офисная процедура состоит иа структурированного набора офисный действий для реаемия специфической задачи, такой, нам управление информацией, обработка данным и др.
Создание офисным систем — бопыаап и комплексна» проблема, которая не может быть решен» окончательно, таи как ото раэвиваюаиеси систены и процесс ик проектирования также подвержен постоянной эволюции.
Современная методология проектирования офисный систем включает разработку спецификации, иопвпиропанчг системы {посредством исполнимым спецификаций) и верификацию системы.
Наименее исследованной является проблема верификации, которой лосвяшена данная работа.
"7-
Верификация — проварка соответствия проекта системным требованиям по *ункцнонирав*нип офисной сметены.
В<ри*икация как один из важным этапов
автоматизированного проектирования офисных систеи
позволяет оценить корректность проекта до его
тактического воплощения (реализации), получив танин
образом существенную экономик ресурсов по сравнению с
оиенкой качества на реализованным проектам. Эта
ОКОМО0ИЯ теи suite, чем сложнее ' истена и дороже ее
материальная База. 5
.Смеете с теп осуществление верификации также предполагает определенные затраты, которые возрастают с ростом перебора варианте*. Поэтому представляют интерес методы верификации, в максимальной степени устраняющие перебор. Бопьаие возможности в этом направлении предоставляет логические методы, разработанные ранее для вадач верификации программ). .
В данной работе решаются следующие задачи і
-
Исследование методов разработки адекватным моделей представления офисным систем и языков спецификации, использующим логический подход и допускающим верификацию систем логическими средствами.
-
Разработка языка спецификации офисным процедур, допускающего создание унифицированным моделей длг представления офисным процедур и им интеграции, базирующегося на инструментальные средства CASE— текно_ гим и приспособленного для процессов верификации офисным процедур.
-
Разработка методики спецификации и проектирования информационно—логической модели офисным процедур для созданного языка спецификации.
-
Разработка логическим методов верификации офисным процедур на базе аксиоматического метода верификации программ с использованием Хоаровсним и модифицированным правил вывода.
-
Разработка инструментальным средств поддержки языка спецификации и процессов верификации офисным'процедур для разработанным методов.
Научная новизна работы заключается в разработке* - логического языка спецификации офисным процедурі
методов проектирования информационно—логической полепи окисний процедури С принен»ниеп СЙЗЕ-текнопогми)
логиуесник методов вірисйкации офисных процедур.
Практическая ценность работы состоит в разработке инструментальным средств поддержки процессе» спецификации и верификации офисным процедур при автоматизированном проектировании.
Реализация работы. Разработанные инструментальные средства и методы автоматизированного проектирования офисным процедур внедрены при автоматизированном проектировании передвижного комплекса для подготовки к обогавеник алмазосодержащим глинистым песков месторождения "Горнов" Мириенского ГОКа акционерной компании "Апнааы РОССИИ-САХА", а также к учебном процессе при нурсовоп и диппоннон проектировании систем управления в МГҐУ и Северо-Каакаасноп горно-металлургическом институте.
Применение умазанным результатов поаволипо повысить уровень автоматизированного проектирования офисным процедур, получать модели офисным процедур, которые можно проверять на семантическую корректность. В результате внедрения повышается качество проектов офисным систем аа Счет автоматизации: процесса проектирования и верификации проектов, что дает экономический ОФФвит до 25*.
Апробация работы. Содержание и основные результаты работы доложены и обсуждены на Всемирной конгрессе ITS-92 "Информационные коммуникации, сети, системы и теииологии" <ЄЗ*га ноября 1992 г, Москва), на Всемирной конгрессе ITS-93 "Информационные ионпунииации, сети, системы и геммологии" <25-26 ноября 1993 г., Москва) и на Международной научна—темнической конференции "Развитие и применение отирытым систем" <12-17 сентября І994 г., Казань). ''..'
Публикации. Основные положения диссертации опубликованы в двум самостоятельным работам и в двум работам в соавторстве, причем личный вклад состоит в разработке языка спецификации офисным процедур, методик спецификации и верификации, создании 'инструментальным средств.
Объем и структура диссертации. Диссертационная работа состоит из введения, четырех глав и заключения.
с*>д»?р**»і 1 0 е'границ машинописного текста, & таблиц, 22
рису ик.п, списом питературы из 81 иаин*но»аний,
І \[МЛГ\С Ч»ИНЙ,