Электронная библиотека диссертаций и авторефератов России
dslib.net
Библиотека диссертаций
Навигация
Каталог диссертаций России
Англоязычные диссертации
Диссертации бесплатно
Предстоящие защиты
Рецензии на автореферат
Отчисления авторам
Мой кабинет
Заказы: забрать, оплатить
Мой личный счет
Мой профиль
Мой авторский профиль
Подписки на рассылки



расширенный поиск

Логические методы и инструментальные средства верификации офисных процедур Матюнина, Ольга Евгеньевна

Данная диссертационная работа должна поступить в библиотеки в ближайшее время
Уведомить о поступлении

Диссертация, - 480 руб., доставка 1-3 часа, с 10-19 (Московское время), кроме воскресенья

Автореферат - бесплатно, доставка 10 минут, круглосуточно, без выходных и праздников

Матюнина, Ольга Евгеньевна. Логические методы и инструментальные средства верификации офисных процедур : автореферат дис. ... кандидата технических наук : 05.13.12 / Моск. горный ун-т.- Москва, 1995.- 21 с.: ил. РГБ ОД, 9 95-1/504-8

Введение к работе

Йцтуалквость работы. Автоматизация о«ис* ( j f f і с «' automation) — одно из важнейший направлений использования ПЭВМ, даюяее пансипальный эф»»-<т сропи возможный приложений конпьмтеров. Это Н41ПрА)9ПЄНии, 111" сути, продолжило ранее существовавшее пппупирио« направление — АСУ» Основное отличие г кп»ссим«ск»і идеологии АСУ — автоматизация "сверху-вниз", в то врет» как офисные системы — автоматизации "снизу—гаверк" от источников и потребителей информации. Это чело»*но~ нааинные систены распределенного управлении, оЬычио >- р инеюпие "иестмого" центра.

Кпичепое понятие офисный систем — донунент. СиСИ'И.' — сеть иа равного вида ресурсов ОВМ, человен-агент, момнунинации, средства намерения, автоматы и др.>, взаимодействующих для выполнения поставленным >ад.ч. Как задами, там и сама система могут ивненяться (люлиционироаатк) в процессе Функционирования. Реааепые задачи связаны с обработкой, лриепом, передачей, хранением, размножением, соаданиеп документов. В системе суяестиенна роль челоэена и бумажные документы обычно сосуществуют с машмнныпи документами. 0*исно> действие — ато любое действие » офмсє, такое, как редактирование тенета, образование *орм, поиск инфорпации, отправление и прием сообщений, принятие ревений и др.

Офисная процедура состоит иа структурированного набора офисный действий для реаемия специфической задачи, такой, нам управление информацией, обработка данным и др.

Создание офисным систем — бопыаап и комплексна» проблема, которая не может быть решен» окончательно, таи как ото раэвиваюаиеси систены и процесс ик проектирования также подвержен постоянной эволюции.

Современная методология проектирования офисный систем включает разработку спецификации, иопвпиропанчг системы {посредством исполнимым спецификаций) и верификацию системы.

Наименее исследованной является проблема верификации, которой лосвяшена данная работа.

"7-

Верификация — проварка соответствия проекта системным требованиям по *ункцнонирав*нип офисной сметены.

В<ри*икация как один из важным этапов
автоматизированного проектирования офисных систеи
позволяет оценить корректность проекта до его
тактического воплощения (реализации), получив танин
образом существенную экономик ресурсов по сравнению с
оиенкой качества на реализованным проектам. Эта
ОКОМО0ИЯ теи suite, чем сложнее ' истена и дороже ее
материальная База.
5

.Смеете с теп осуществление верификации также предполагает определенные затраты, которые возрастают с ростом перебора варианте*. Поэтому представляют интерес методы верификации, в максимальной степени устраняющие перебор. Бопьаие возможности в этом направлении предоставляет логические методы, разработанные ранее для вадач верификации программ). .

В данной работе решаются следующие задачи і

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

  2. Разработка языка спецификации офисным процедур, допускающего создание унифицированным моделей длг представления офисным процедур и им интеграции, базирующегося на инструментальные средства CASE текно_ гим и приспособленного для процессов верификации офисным процедур.

  3. Разработка методики спецификации и проектирования информационно—логической модели офисным процедур для созданного языка спецификации.

  4. Разработка логическим методов верификации офисным процедур на базе аксиоматического метода верификации программ с использованием Хоаровсним и модифицированным правил вывода.

  5. Разработка инструментальным средств поддержки языка спецификации и процессов верификации офисным'процедур для разработанным методов.

Научная новизна работы заключается в разработке* - логического языка спецификации офисным процедурі

методов проектирования информационно—логической полепи окисний процедури С принен»ниеп СЙЗЕ-текнопогми)

логиуесник методов вірисйкации офисных процедур.

Практическая ценность работы состоит в разработке инструментальным средств поддержки процессе» спецификации и верификации офисным процедур при автоматизированном проектировании.

Реализация работы. Разработанные инструментальные средства и методы автоматизированного проектирования офисным процедур внедрены при автоматизированном проектировании передвижного комплекса для подготовки к обогавеник алмазосодержащим глинистым песков месторождения "Горнов" Мириенского ГОКа акционерной компании "Апнааы РОССИИ-САХА", а также к учебном процессе при нурсовоп и диппоннон проектировании систем управления в МГҐУ и Северо-Каакаасноп горно-металлургическом институте.

Применение умазанным результатов поаволипо повысить уровень автоматизированного проектирования офисным процедур, получать модели офисным процедур, которые можно проверять на семантическую корректность. В результате внедрения повышается качество проектов офисным систем аа Счет автоматизации: процесса проектирования и верификации проектов, что дает экономический ОФФвит до 25*.

Апробация работы. Содержание и основные результаты работы доложены и обсуждены на Всемирной конгрессе ITS-92 "Информационные коммуникации, сети, системы и теииологии" <ЄЗ*га ноября 1992 г, Москва), на Всемирной конгрессе ITS-93 "Информационные ионпунииации, сети, системы и геммологии" <25-26 ноября 1993 г., Москва) и на Международной научна—темнической конференции "Развитие и применение отирытым систем" <12-17 сентября І994 г., Казань). ''..'

Публикации. Основные положения диссертации опубликованы в двум самостоятельным работам и в двум работам в соавторстве, причем личный вклад состоит в разработке языка спецификации офисным процедур, методик спецификации и верификации, создании 'инструментальным средств.

Объем и структура диссертации. Диссертационная работа состоит из введения, четырех глав и заключения.

с*>д»?р**»і 1 0 е'границ машинописного текста, & таблиц, 22

рису ик.п, списом питературы из 81 иаин*но»аний,

І \[МЛГ\С Ч»ИНЙ,

Похожие диссертации на Логические методы и инструментальные средства верификации офисных процедур