Моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі

Аналізуються технології обміну інформацією в інтегрований міжвідомчій інформаційній системі шляхом моделювання ін форма- ційних процесів по операціях, фазах та етапах їхньої реалізації та обгрунтовуються основні проектні рішення щодо архітектури таких систем. The technologies of information interc...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2006
Hauptverfasser:	Алексеєв, В.А., Ільїн, С.А., Терещенко, В.С.
Format:	Artikel
Sprache:	Ukrainian
Veröffentlicht:	Інститут програмних систем НАН України 2006
Schlagworte:	Інформаційні системи
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/1601
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі / В.А. Алексеєв, С.А. Ільїн, В.С. Терещенко // Проблеми програмування. — 2006. — N 2-3. — С. 548-559. — Бібліогр.: 1 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	nasplib_isofts_kiev_ua-123456789-1601
record_format	dspace
spelling	Алексеєв, В.А. Ільїн, С.А. Терещенко, В.С. 2008-08-28T10:31:10Z 2008-08-28T10:31:10Z 2006 Моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі / В.А. Алексеєв, С.А. Ільїн, В.С. Терещенко // Проблеми програмування. — 2006. — N 2-3. — С. 548-559. — Бібліогр.: 1 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1601 681.3 Аналізуються технології обміну інформацією в інтегрований міжвідомчій інформаційній системі шляхом моделювання ін форма- ційних процесів по операціях, фазах та етапах їхньої реалізації та обгрунтовуються основні проектні рішення щодо архітектури таких систем. The technologies of information interchange in the integrated interdepartmental information system are analyzed by simulation of information processes on operations, to phases and stages of their implementation and the main design solutions on architecture of such systems are proved. uk Інститут програмних систем НАН України Інформаційні системи Моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі Modeling process of information interchange in the integrated interdepartmental information system Article published earlier
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
title	Моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі
spellingShingle	Моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі Алексеєв, В.А. Ільїн, С.А. Терещенко, В.С. Інформаційні системи
title_short	Моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі
title_full	Моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі
title_fullStr	Моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі
title_full_unstemmed	Моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі
title_sort	моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі
author	Алексеєв, В.А. Ільїн, С.А. Терещенко, В.С.
author_facet	Алексеєв, В.А. Ільїн, С.А. Терещенко, В.С.
topic	Інформаційні системи
topic_facet	Інформаційні системи
publishDate	2006
language	Ukrainian
publisher	Інститут програмних систем НАН України
format	Article
title_alt	Modeling process of information interchange in the integrated interdepartmental information system
description	Аналізуються технології обміну інформацією в інтегрований міжвідомчій інформаційній системі шляхом моделювання ін форма- ційних процесів по операціях, фазах та етапах їхньої реалізації та обгрунтовуються основні проектні рішення щодо архітектури таких систем. The technologies of information interchange in the integrated interdepartmental information system are analyzed by simulation of information processes on operations, to phases and stages of their implementation and the main design solutions on architecture of such systems are proved.
issn	1727-4907
url	https://nasplib.isofts.kiev.ua/handle/123456789/1601
citation_txt	Моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі / В.А. Алексеєв, С.А. Ільїн, В.С. Терещенко // Проблеми програмування. — 2006. — N 2-3. — С. 548-559. — Бібліогр.: 1 назв. — укр.
work_keys_str_mv	AT alekseêvva modelûvannâprocesívobmínuínformacíêûvíntegrovaníimížvídomčíiínformacíiníisistemí AT ílʹínsa modelûvannâprocesívobmínuínformacíêûvíntegrovaníimížvídomčíiínformacíiníisistemí AT tereŝenkovs modelûvannâprocesívobmínuínformacíêûvíntegrovaníimížvídomčíiínformacíiníisistemí AT alekseêvva modelingprocessofinformationinterchangeintheintegratedinterdepartmentalinformationsystem AT ílʹínsa modelingprocessofinformationinterchangeintheintegratedinterdepartmentalinformationsystem AT tereŝenkovs modelingprocessofinformationinterchangeintheintegratedinterdepartmentalinformationsystem
first_indexed	2025-11-25T22:47:32Z
last_indexed	2025-11-25T22:47:32Z
_version_	1850573714010144768
fulltext	Інформаційні системи © Н.Т. Задорожна, 2006 ISSN 1727-4907. Проблеми програмування. 2006 № 2-3. Спеціальний випуск 548 УДК 681.3 МОДЕЛЮВАННЯ ПРОЦЕСІВ ОБМІНУ ІНФОРМАЦІЄЮ В ІНТЕГРОВАНІЙ МІЖВІДОМЧІЙ ІНФОРМАЦІЙНІЙ СИСТЕМІ В.А. Алексеєв, С.А. Ільїн, В.С. Терещенко Інститут програмних систем НАН України 03187, Київ, проспект Академіка Глушкова, 40, тел. / факс: 526 4228, E-mail: alecseev@isofts.kiev.ua Аналізуються технології обміну інформацією в інтегрований міжвідомчій інформаційній системі шляхом моделювання ін форма- ційних процесів по операціях, фазах та етапах їхньої реалізації та обгрунтовуються основні проектні рішення щодо архітектури таких систем. The technologies of information interchange in the integrated interdepartmental information system are analyzed by simulation of information processes on operations, to phases and stages of their implementation and the main design solutions on architecture of such systems are proved. Вступ В останній час велика увага приділяється задачам формального опису архітектури автоматизованих інформаційних систем різного ступеня розгалуженості як етапу їхнього проектування, зокрема, проектування інтегрованих міжвідомчих інформаційних систем. Проектування програмної системи (програмного продукту, програмного забезпечення), як визначено у міжнародному стандарті ISO/IEC 12207:1995-0801 “Information Technology – Software Life Cycle Processes” та гармонізованому з ним Державному стандарті України – ДСТУ 3918-1999 “Процеси життєвого циклу програмного забезпечення” [1], є рядом дій процесу розроблення системи, що входить до складу основних процесів життєвого циклу програмного забезпечення. До таких дій з всього переліку зазначеного процесу можна віднести: • проектування архітектури системи; • проектування архітектури програмного забезпечення; • розроблення детального проекту програмного забезпечення. Зрозуміло, що дії з проектування базуються на діях з аналізу як системних вимог, так і вимог до програмного забезпечення [1, стор.14] відповідних стадій моделі життєвого циклу програмних систем [2]. Перетворення вимог до розробки в послідовність проектних рішень щодо способів реалізації вимог: формування загальної архітектури програмної системи та принципів її прив’язки до конкретного середовища функціонування; визначення детального складу модулів кожної з архітектурних компонент і є проектуванням програмної системи [3, стор.18] по етапах: � архітектурного проектування – визначення головних структурних особливостей системи; � концептуального проектування – уточнення розуміння й узгодження деталей вимог; � детального проектування – визначення подробиць функціонування та зв’язків для всіх компонентів системи; � технічного проектування – відображення вимог середовища функціонування та розробки системи, визначення усіх конструкцій та композицій компонент [3, стор.267]. Одному з етапів проектування – детальному проектуванню інтегрованої міжвідомчої інформаційної системи, тобто, визначенню подробиць функціонування та зв’язків для всіх її компонентів через моделювання процесів обміну інформацією в ній і присвячена дана робота. 1. Архітектура інтегрованої міжвідомчої інформаційної системи Інтегрована міжвідомча інформаційна система (ІМІС) створюється шляхом об’єднання інформаційних ресурсів баз даних (БД), відомчих інформаційних систем (ВІС) через відповідні відомчі підсистеми ІМІС, спеціально створені для забезпечення автоматизованого доступу до ВІС шляхом застосування систем інформаційної взаємодії. Концептуальні схеми таких систем різного ступеня деталізації неодноразово наводились у публікаціях, наприклад [4 - 6]. Один з варіантів концептуальної схеми архітектури ІМІС показано на рис. 1. Така ІМІС складається з наступних основних компонентів: � відомчих підсистеми ІМІС (ІМІС-ВП), що безпосередньо взаємодіють з ВІС, які є абонентами ІМІС, та отримують від них, як від відправників, інформаційні транспортні файли (ТФ) для пересилки у вигляді електронних документів (ЕД) через центральну підсистему ІМІС та відповідні канали зв’язку іншим абонентам – одержувачам; Інформаційні системи 549 � центральної підсистеми ІМІС (ІМІС-ЦП) для керування ІМІС-ВП, отримання від них електронних документів ВІС-відправників, перетворення за необхідністю їхніх форматів (для узгодження форматів відправників та одержувачів), накопичення і маршрутизації інформаційних об’єктів та пересилання їх до ІМІС- ВП ВІС-одержувачів через відповідні канали зв’язку; � інформаційно-телекомунікаційної системи (ІТС) для забезпечення пересилання електронних документів між ІМІС-ЦП та ІМІС-ВП каналами зв’язку. Рис.1. Концептуальна схема архітектури ІМІС Електронний документ (document electronic) – сукупність даних у пам’яті ЕОМ, які призначені для сприйняття людиною за допомогою відповідних програмних і апаратних засобів [7] або документ, інформація в якому зафіксована у вигляді електронних даних, включаючи обов'язкові реквізити документа [8, стаття 5], що забезпечує електронний цифровий підпис. Без електронного підпису електронний документ не є документом, а є лише інформаційним об’єктом. Накладанням електронного підпису завершується створення електронного документа [8, стаття 6]. Електронний підпис є обов'язковим реквізитом електронного документа, який використовується для ідентифікації автора та/або підписувача електронного документа іншими суб'єктами електронного документообігу. Cуб'єкти електронного документообігу – автор, підписувач, адресат та посередник, які набувають передбачених законом або договором прав і обов'язків у процесі електронного документообігу [8, стаття 1]. Таким чином, абоненти ІМІС (відповідні ВІС) є водночас, суб’єктами електронного документообігу, що здійснюється в ІМІС між ІМІС-ВП через ІМІС-ЦП та ІТС. Посередник – фізична або юридична особа, яка в установленому законодавством порядку здійснює приймання, передавання (доставку), зберігання, перевірку цілісності електронних документів для задоволення власних потреб, або надає відповідні послуги за дорученням інших суб'єктів електронного документообігу [8, стаття 1]. Цьому визначенню у повній мірі відповідає ІМІС-ЦП. А всі ВІС є абонентами ІМІС. Абонент, користувач (client, user) – особа чи організація, що має право на отримання послуг, які надаються будь-якою інформаційною системою [9]. Абонент (user abonent) – особа (група осіб, підприємство), яка має право користуватися послугами автоматизованої установи [7]. Це, так би мовити, основні вимоги, які й визначають крупноблочно архітектуру і технології функціонування ІМІС, що витікають з проектних рішень на етапі концептуального проектування. На подальших етапах формулювання та деталізації проектних рішень архітектура, програмне забезпечення та технології інформаційного обміну в системі будуть уточнюватись та деталізуватись. Причому визначальною стороною, яка буде диктувати необхідність такої деталізації, стануть саме технології інформаційного обміну, їхні потреби у програмному та технічному забезпеченні, вимоги до них з боку законодавчих та нормативних актів, досягнень світового досвіду в сучасних інформаційних технологіях. 2. Інформаційні технології в ІМІС Виходячи з концепції побудови ІМІС передбачається використання таких видів інформаційного обміну: � регламентна передача “повідомлень” (технологія 1=T ) – заздалегідь обумовленої інформації у відповідності до узгодженого регламенту – визначених правил створення інформаційного об’єкта: впорядкованої сукупності даних БД, періодичності передачі, терміну, обсягу, формату тощо; � обмін інформацією за схемою “запит-відповідь” (технологія 2=T ) в межах заздалегідь обумовленого інформаційного простору (сукупності даних БД) ВІС-кореспондента; ВІС 1 ВІС 2 ВІС (N) ВІС … ВІС ( j) ВІС … ВІС … ВІС(i) ІМІС-ЦП ІМІС-ВП 1 ІМІС-ВП(N) ІМІС-ВП 2 ІМІС-ВП … ІМІС-ВП(i) ІМІС-ВП … ІМІС-ВП( j) ІМІС-ВП … Інформаційні системи 550 � обмін технологічною інформацією (технологія 3=T ). Технологія регламентної передачі даних за схемою “повідомлення” з ВІС(і) до ВІС(j), де }...,,1{ Ni ∈ , }...,,1{ Nj ∈ , ji ≠ , а N – кількість ВІС і ІМІС-ВП, передбачає застосування таких інформаційних об’єктів: � ТФ-повідомлення (ТФ-П) – набір даних визначеної структури, що формується засобами ВІС(i) для оновлення інформаційних ресурсів у БД ВІС(j) та пересилається до ІМІС-ВП(і); � ЕД-повідомлення (ЕД-П) – це ТФ-П, завірений ЕЦП засобами підсистеми ІМІС-ВП(і) і пересилається каналами зв’язку ІТС до ІМІС-ЦП; � ТФ-квитанція про отримання повідомлення (ТФ-КОП) – це файл визначеної структури, що формується засобами ІМІС-ВП(j); � ЕД-квитанція про отримання повідомлення (ЕД-КОП) – це ТФ-КОП, завірений ЕЦП засобами підсистеми ІМІС-ВП(j), що пересилається до ІМІС-ВП(і); � ТФ-квитанція про результати завантаження повідомлення (ТФ-КЗП) – це файл визначеної структури, що формується засобами ВІС(j) і пересилається до ІМІС-ВП(j); � ЕД-квитанція про результати завантаження повідомлення (ЕД-КЗП) – це ТФ-КЗП, завірений ЕЦП засобами підсистеми ІМІС-ВП(j), що пересилається до ІМІС-ВП(і). Технологія обміну інформацією за схемою “запит-відповідь” між ВІС(i) та ВІС(j), передбачає застосування інших інформаційних об’єктів: � ТФ-запит (ТФ-З) – це ТФ з набором критеріїв пошуку визначеної структури, що формується засобами підсистеми ІМІС-ВП(i) ; � ЕД-запит (ЕД-З) – це ТФ-З, завірений ЕЦП засобами підсистеми ІМІС-ВП(i); � ТФ-відповідь на запит (ТФ-В) – набір даних визначеної структури, що формується засобами ВІС(j). ТФ-В включає також інформацію щодо якості отриманого ЕД-З; � ЕД-відповідь (ЕД-В) на запит – це ТФ-В, завірений ЕЦП засобами підсистеми ІМІС-ВП(j) для передачі засобами ІМІС від ІМІС-ВП(j) до ІМІС-ВП(i) для надання інформації, знайденої у БД ВІС(j) у відповідності до критеріїв пошуку, заданих у ЕД-З; � ТФ-квитанція на відповідь (ТФ-КВ) – набір даних визначеної структури, що формується засобами підсистеми ІМІС-ВП(i) і свідчить про якість отриманого ЕД-В; � ЕД-квитанція на відповідь (ЕД-КВ) – це ТФ-В, завірений ЕЦП засобами підсистеми ІМІС-ВП(i), що пересилається до ІМІС-ВП(j). При обміні технологічною інформацією між ВІС(i) та ВІС(j) необхідно, як правило, застосовувати лише два інформаційних об’єкта: � ТФ-обміну технологічною інформацією (ТФ-Т) – набір даних, що містить масив відомостей інформаційних баз даних, класифікаторів та кодифікаторів, іншої технологічної інформації, необхідної для підтримки функціонування ІМІС; � ЕД-обміну технологічною інформацією (ЕД-Т) – це ТФ-Т, завірений ЕЦП засобами ІМІС-ВП. Для забезпечення безпеки інформації та ідентифікації відправника пересилання її через ІТС повинно бути у вигляді електронних документів незалежно від застосованої технології. А тому транспортні файли перед експортуванням через ІТС треба перетворювати на електронні документи. Для збереження конфіденційності інформації такі електронні документи можуть бути зашифровані. Перелічені операції повинні мати місце як в ІМІС-ВП, так і в ІМІС-ЦП. В останньому випадку це відбувається через те, що формат БД абонента- відправника (значення класифікаторів) та формат БД абонента-одержувача можуть бути не узгоджені, а це вимагає провести операції по перетворенню ТФ одного формату в інший у ІМІС-ЦП під час маршрутизації перед тим знявши ЕЦП з ЕД, а після перетворення знову наклавши ЕЦП на ТФ. Для узгодження та перетворення форматів в ІМІС-ЦП необхідно мати БД відповідності між значеннями класифікаторів БД ВІС(і) та БД ВІС(j). Таким чином, для обробки інформаційних об’єктів і в ІМІС-ВП і в ІМІС-ЦП необхідно передбачити відповідні програмно-апаратні засоби: АРМ для ІМІС-ВП та файловий сервер для ІМІС-ЦП. Для підтримки дієздатності системи у будь-який час і недопущення відмови у видачі інформації, а, тим більш, її втрати, в ній повинна бути передбачена можливість відстрочки передачі електронних документів при тимчасовій недоступності приймаючої сторони. ЕД при цьому можуть тимчасово зберігатися та накопичуватися у спеціально передбачених програмно-апаратних засобах – шлюзових серверах кожної ІМІС- ВП абонента-відправника. Термін зберігання (відстрочки) визначається терміном відновлення доступу до приймаючої сторони. ІТС повинна забезпечувати доставку ЕД-П, ЕД-КОП, ЕД-КЗП, ЕД-З, ЕД-В та ЕД-КВ до шлюзових серверів ІМІС-ВП абонентів-отримувачів. В ІМІС-ВП повинно відбутися перетворення ЕД на ТФ та передача до ВІС. Подальше завантаження ТФ до БД ВІС має виконуватися за допомогою програмних засобів, спеціально розроблених для цього суб’єктами ІМІС. 3. Етапи інформаційного процесу в межах визначених технологій в ІМІС Структура ІМІС, а саме: наявність в ній відомчих підсистем ІМІС-ВП, інтегрованих з відповідними ВІС абонентів ІМІС, та центральної підсистеми ІМІС-ЦП потребує реалізації кожної з вищенаведених технологій Інформаційні системи 551 інформаційного обміну в кілька етапів. Інформаційний процес P у залежності від прийнятого рівня абстракцій можна описувати як множину інформаційних процесів T P у кожній з визначених технологій, за кожним з етапів TE P , ті, у свою чергу, як множину інформаційних процесів за кожною з фаз ТЕФ P і далі до множини операцій ТЕФO P або подій: UUUUU UU UUU Т Е Ф О ТЕФО T T E Т Е Ф TEФTET РPPPP ==== , де символ ( U ) зазначає на агрегацію певної кількості інформаційних процесів у інформаційний процес більш високого рангу. Для подальшого опису інформаційних процесів внесемо формалізовані позначки деяких компонентів ІМІС. З їхнього переліку вилучимо ІТС, бо вона тільки надає свої канали зв’язку не вносячи функціональних навантажень у інформаційний процес. Позначимо ВІС – А; ІМІС-ВП – В; ІМІС-ЦП – С. При 1=T , тобто у випадку, коли при вирішенні задач j-ої ВІС задіяні великі масиви інформації i-ої ВІС, причому ця інформація повинна набути форму, прийнятну для задач j-ої ВІС, інформаційний процес 1=T P відбувається за 3 етапи (Е): � 1=TE P – інформаційний процес на етапі ( 1=E ) регламентної передачі впорядкованого, у відповідності до заздалегідь узгодженого регламенту, набору інформаційних даних у вигляді “файла-повідомлення” (ТФ- П/ЕД-П) з ВІС(і) до ВІС(j), що можна описати ланцюжком послідовно активованих компонентів ІМІС [ ] jjii ABCBA aaaa ; � 2=TE P – інформаційний процес на етапі ( 2=E ) передачі квитанції (ТФ-КОП/ЕД-КОП) про отримання ЕД-П з ІМІС-ВП(j) до ВІС(і), що можна описати ланцюжком [ ] iij ABCB aaa ; � 3=TEP – інформаційний процес на етапі ( 3=E ) передачі квитанції (ТФ-КЗП/ЕД-КЗП) про результати завантаження ТФ-П у БД ВІС(j) з ВІС(j) до ВІС(і), що можна описати ланцюжком [ ] iijj ABCBA aaaa . При 2=T , тобто, у випадку, коли для задач і-ої ВІС необхідно використання окремих фрагментів інформації j-ої ВІС, інформаційний процес 2=TP також відбувається за 3 етапи: � 1=TEP – інформаційний процес на етапі ( 1=E ) передачі впорядкованого у відповідності до узгодженого формату “файла-запиту” (ТФ-З/ЕД-З) з ВІС(і) до ВІС(j), що можна описати ланцюжком [ ] jjii ABCBA aaaa ; � 2=TEP – інформаційний процес на етапі ( 2=E ) передачі впорядкованого у відповідності до заздалегідь узгодженого формату “файла-відповіді” (ТФ-В/ЕД-В) з ВІС(j) до ВІС(і), що можна описати ланцюжком [ ] iijj ABCBA aaaa ; � 3=TEP – інформаційний процес на етапі ( 3=E ) передачі квитанції (ТФ-КВ/ЕД-КВ) з ІМІС-ВП(і) до ВІС(j) за результатами завантаження у БД ВІС(і) інформаційного об’єкта “файл-відповідь”, що можна описати ланцюжком [ ] jji ABCB aaa . При 3=T , тобто при обміні технологічною інформацією для підтримки функціонування ІМІС: � 1=TEP – інформаційний процес на етапі ( 1=E ) передачі технологічної інформації у вигляді “файла- обміну” (ТФ-Т або ЕД-Т) з ВІС(і) до ІМІС-ЦП, що можна описати ланцюжком [ ]CBA ii aa . Аналіз ланцюжків послідовно активованих компонентів показує, що, не дивлячись на різномаїття етапів, всі їх можна звести лише до одного виду процесу передачі інформаційних об’єктів: до [ ] jjii ABCBA aaaa та його скорочених варіантів – [ ] iij ABCB aaa і [ ]CBA ii aa . Зрозуміло, що направленість процесу на його характер не впливає, тому індексація компонентів, що беруть участь у процесі, не є критичною, але їх кількість має важливе значення, тому що операції інформаційного процесу TE P логічніше за все групувати за фазами (Ф), кожна з яких відбувається в межах одного програмно- апаратного засобу активного компонента, і тривалість яких визначається терміном між тактами, що ініціюють інформаційні процеси TEФ P за фазами, де кількість фаз визначатиметься значеннями показників Т та Е. Це логічне розбиття на фази зроблено для фізичного розриву інформаційного потоку за засобами компонентів, щоб була можливість для часового узгодження інтервалів протікання інформаційного процесу. Для досягнення цієї мети краще застосувати шлюзовий сервер, тим більше, що його необхідність у ІМІС-ЦП та кожній ІМІС-ВП вже достатньо обгрунтована. До цього програмно-апаратного засобу ІМІС-ВП можна занести Інформаційні системи 552 інформаційний об’єкт, де він міг би бути в режимі чекання, доки його не імпортує ІМІС-ЦП або ВІС, що зв’язана з цією ІМІС-ВП, тобто компоненти, що функціонально є вищими за рангом. Якщо опис технологій здійснювати у кілька ступіней, що десь нагадують завії спіральної моделі життєвого циклу програмного продукту [2, 3], на кожній з яких опис буде чим далі все більш детальний, то це, так би мовити, послідовне наближення до кінцевого результату приведе не тільки до виявлення деталей ходу інформаційного процесу, а й, що важливіше, до впевненого виявлення повного набору програмних засобів, що необхідно для підтримки саме цього інформаційного процесу. І не тільки в межах окремого етапу, а, навіть, за кожною фазою та операцією. Розглянемо більш детально моделювання процесу такого виду на прикладі регламентної передачі даних у вигляді "повідомлень". 4. Моделювання фаз інформаційного процесу передачі " повідомлень" Регламентна передача даних ( 1=T ) між суб’єктами ІМІС у вигляді "повідомлення" з ВІС(і) до ВІС(j) може бути реалізована у відповідності до операцій інформаційного процесу, згрупованих за фазами у кожному етапі. Інформаційний процес у всіх фазах ініціюється одночасно за попередньо обумовленим проміжком часу (за тактами), але відбувається у будь-якій фазі тільки тоді, коли відбувся інформаційний процес у попередній фазі. Це обов’язкова умова. Саме її опис починатиме перелік операцій за кожною фазою. Це перегукується з трактуванням в [10] про запис Px → , який зазначає той факт, що подія х є першою у описі поведінки інформаційного об’єкта, подальша поведінка якого задається процесом Р. Неформально цей запис можна розуміти, наприклад, як активізацію процесу Р або як перехід об’єкта в інший стан під впливом події х. У відповідності з цим Px → також являє собою процес, що дає можливість визначення процесів. Інформаційний процес U 11 1= = Ф TEФTE PP для 1=T , 1=E складається з 11 фаз, що можна записати як: 111 ... === TEФTEФTE PPP aa , де символ (a ) вказує на каузальний зв’язок між попередньою та наступною фазою, тобто, на те, що наступна фаза інформаційного процесу не може відбутися поки не відбулась попередня або не склалися необхідні умови, не зважаючи на появу тактового сигналу. Опис технологій інформаційного обміну між абонентами ІМІС будемо розглядати як сукупність описів станів інформаційного об’єкта, причому кожний стан, в свою чергу, будемо розглядати як результат операції, що є направленою функцією трьох складових: попереднього стану інформаційного об’єкта, програмних засобів, що реалізують цю функцію, та набору правил за якими провадитиметься така реалізація. Обмін інформацією з тої чи іншої технології можна розглядати як ланцюг подій в інформаційному процесі, які переводять його з одного стану в інший. Інформаційний процес у фазі U ТЕФОTEФ РP = складається з низки каузально зв’язаних подій, яку, в свою чергу, можна розглядати як операцію (акцію) над інформаційним об’єктом (транспортним файлом або електронним документом), що відбувається у тому чи іншому компоненті системи для досягнення поставленої мети. Таким чином, опис операції повинен відповідати на питання – що й де відбувається або повинно відбутися, як свого роду імператив (imperative) – розпорядження до акції. А опис стану інформаційного процесу повинен відповідати на питання – до чого ця подія привела або приведе? Який результат проведеної операції? Що у що перетворено і куди переслано? Виходячи з цього формат опису операцій приймемо наступним. Ідентифікатор операції (наприклад, form – формування, hold – зберігання тощо) та дві групи параметрів в дужках, що зазначають стан інформаційного процесу до операції (п) і після (р): ( ) ( )рррппп ПППППП 321321 ,,,,: →ℑ . Кожна група складається з трьох параметрів: - 1 П – інформаційний об’єкт, над яким відбувається операція (наприклад, i ij F – ТФ-П, що формується на ВІС(і) і пересилається до ВІС(j), значення класифікаторів в якому відповідають БД ВІС(і), i ij D – електронний документ, i ij S – зашифрований електронний документ); - 2 П – активний компонент ІМІС ( jjii ABCBA ,,,, ), де відбувається інформаційний процес даної фази; - 3 П – програмно-апаратний засіб активного компонента (наприклад, WS – робоча станція, vSPA i – підкаталог ВІС ( i A ) вхідного каталогу (v) шлюзового сервера (SP); CwSP – підкаталог ЦП (C) вихідного каталогу (w) шлюзового сервера; FS – файловий сервер; SDB – сервер бази даних). Розглянемо описи інформаційних процесів ТЕФО P за кожною з операцій у межах визначених фаз Ф для 1=E . U 5 1 1 = = = О ТЕФОTEФ РP складається з операцій формування ТФ-П, що відбуваються у ВІС(і) під час 1=Ф : Інформаційні системи 553 - ),,(: 1 SDBADBanchanР iТЕФО ∆== – ініціювання фази інформаційного процесу за наявності змін в БД (∆DB) ВІС(і) під час чергового такту; - ),,(),,(: 2 wWSBAFSDBADBformР ii i ijiТЕФО →∆== – операція формування з інформаційних даних БД засобами ВІС(і) ТФ-П формату ВІС(і), тобто, із значеннями класифікаторів ( iK ) БД ВІС(і) за наявності змін в БД (∆DB) ВІС(і) під час чергового такту; - ),,(),,(: 3 vSPABFWSBAFekspР ii i ijii i ijТЕФО →== – операція експортування ТФ-П до підкаталога ВІС вхідного каталогу ШС ІМІС-ВП(i); - ),,(: 4 vSPABFregtР ii i ijТЕФО == – реєстрація відправлення ТФ-П; - ),,(: 5 vSPABFholdР ii i ijТЕФО == – операція зберігання ТФ-П до чергового такту. На прикладі опису 1=TEФ P видно, що за описом операцій у складі фази нема необхідності наводити першу групу параметрів, які описують стан інформаційного процесу до операції, оскільки цей стан є кінцевим станом попередньої операції. Тому в подальшому за таким записом будемо наводити тільки кінцевий стан процесу після операції. U 3 1 2 = = = О ТЕФОTEФ РP складається з операцій реєстрування ТФ-П у ШС ІМІС-ВП(i) під час 2=Ф : - ),,(: 1 vSPABFregoР ii i ijТЕФО == – ініціювання фази інформаційного процесу за наявності ТФ-П у підкаталозі ВІС(і) вхідного каталогу ШС ІМІС-ВП(i) під час чергового такту – операція реєстрування отримання ТФ-П на вхідному каталозі ШС ІМІС-ВП(i); - ),,(: 2 WSwSPBFmoveР i i ijТЕФО == – операція переміщення ТФ-П до підкаталогу АРМ вихідного каталогу ШС ІМІС-ВП(i); - ),,(: 3 WSwSPBFholdР i i ijТЕФО == – операція зберігання ТФ-П до чергового такту. U 7 1 3 = = = О ТЕФОTEФ РP складається з операцій, що відбуваються у АРМ ІМІС-ВП(i) під час 3=Ф : - ),,(: 1 SPvWSBFgetР i i ijТЕФО == – ініціювання фази інформаційного процесу за наявності ТФ-П у підкаталозі АРМ вихідного каталогу ШС ІМІС-ВП(i) під час чергового такту – операція отримання ТФ-П з підкаталогу АРМ вихідного каталогу ШС ІМІС-ВП(i) до АРМ ІМІС-ВП(i); - ),,(: 2 SPvWSBDensigР i i ijТЕФО == – операція накладення ЕЦП ІМІС-ВП(i) на ТФ-П, тобто формування ЕД-П; - ),,(: 3 SPvWSBSencodР i i ijТЕФО == – операція шифрування ЕД-П; - ),,(: 4 SPwWSBSmoveР i i ijТЕФО == – операція переміщення ЕД-ПШ до підкаталога ШС вихідного каталогу АРМ ІМІС-ВП(i); - ),,(: 5 WSvSPBStransР i i ijТЕФО == – транспортування ЕД-ПШ з АРМ ІМІС-ВП(i) до підкаталога АРМ вхідного каталогу ШС ІМІС-ВП(i); - ),,(: 6 WSvSPBSregtР i i ijТЕФО == – реєстрація відправлення ТФ-П; - ),,(: 7 WSvSPBSholdР i i ijТЕФО == – операція зберігання ЕД-ПШ до чергового такту. U 3 1 4 = = = О ТЕФОTEФ РP складається з операцій реєстрування ЕД-ПШ у ШС ІМІС-ВП(i) при 4=Ф : - ),,(: 1 WSvSPBSregoР i i ijТЕФО == – ініціювання інформаційного процесу цієї фази за наявності ЕД-ПШ у підкаталозі АРМ вхідного каталогу ШС ІМІС-ВП(i) під час чергового такту – операція реєстрування отримання ЕД-ПШ на вхідному каталозі ШС ІМІС-ВП(i); - ),,(: 2 CwSPBSmoveР i i ijТЕФО == – переміщення ЕД-ПШ до підкаталогу ЦП вихідного каталогу ШС ІМІС-ВП(i); - ),,(: 3 CwSPBSholdР i i ijТЕФО == – операція зберігання ЕД-ПШ до чергового такту. U 5 1 5 = = = О ТЕФОTEФ РP складається з операцій реєстрування ЕД-ПШ у ШС ІМІС-ЦП при 5=Ф : - ),,(: 1 vSPACSimpР i i ijТЕФО == – ініціювання інформаційного процесу цієї фази за наявності ЕД-ПШ у підкаталозі ЦП вихідного каталогу ШС ІМІС-ВП(i) під час чергового такту – операція імпортування ЕД-ПШ до підкаталогу ВІС(і) вхідного каталогу ШС ІМІС-ЦП; Інформаційні системи 554 - ),,(: 2 vSPACSregoР i i ijТЕФО == – реєстрування отримання ЕД-ПШ на підкаталозі ВІС(і) вхідного каталогу ШС ІМІС-ЦП; - ),,(: 3 wSPACSmoveР i i ijТЕФО == – переміщення ЕД-ПШ до підкаталога ВІС(і) вихідного каталогу ШС ІМІС-ЦП; - ),,(: 4 wSPACSentimerР i i ijТЕФО == – включення таймера квитанції КОП про отримання ЕД-ПШ; - ),,(: 5 wSPACSholdР i i ijТЕФО == – операція зберігання ЕД-ПШ до чергового такту. U 12 1 6 = = = О ТЕФОTEФ РP складається з операцій, що відбуваються у ФС ІМІС-ЦП під час 6=Ф : - ),,(: 1 vSFACSgetР i i ijТЕФО == – ініціювання інформаційного процесу цієї фази за наявності ЕД-ПШ у підкаталозі ВІС(і) вихідного каталогу ШС ІМІС-ЦП під час чергового такту – операція отримання ЕД-ПШ до підкаталогу ВІС(і) вхідного каталогу ФС ІМІС-ЦП; - ),,(: 2 vSFACSregoР i i ijТЕФО == – реєстрування отримання ЕД-ПШ на вхідному каталозі ФС ІМІС-ЦП; - 9 4 3 :),,( :),,( : = = = ≡ ≠ = ТЕФОi ji ТЕФОi ji ТЕФО PvSFACKK PvSFACKK anformР – аналіз необхідності в забезпеченні відповідності значень класифікаторів (K) БД і-ої та j-ої ВІС. Тільки в разі такої потреби, якщо ji KK ≠ , перехід до операції 4, якщо ж ji KK ≡ , перехід до операції 9; - ),,(: 4 vSFACDdecodР j i ijТЕФО == – розшифровка ЕД-ПШ у ЕД-П; - ),,(: 5 vSFACFdesigР j i ijТЕФО == – зняття ЕЦП ІМІС-ВП(i) з ЕД-П, тобто, формування ТФ-П; - ),,(: 6 vSFACFconvР j j ijТЕФО == – перетворення ТФ-П із значеннями класифікаторів ( iK ) БД ВІС(і) на ТФ-П із значеннями класифікаторів ( jK ) БД ВІС(j) за допомогою БД відповідності між значеннями класифікаторів БД ВІС(i) та ВІС(j); - ),,(: 7 vSFACDensigР j j ijТЕФО == – накладення ЕЦП ІМІС-ЦП на ТФ-П, тобто формування ЕД-П; - ),,(: 8 vSFACSencodР j j ijТЕФО == – шифрування ЕД-П у ЕД-ПШ; - ),,(: 9 wSFACSmoveР j j ijТЕФО == – переміщення ЕД-ПШ до підкаталогу ВІС(j) вихідного каталогу ФС ІМІС-ЦП; - ),,(: 10 vSPACStransР j j ijТЕФО == – передавання ЕД-ПШ до підкаталогу ВІС(j) вхідного каталогу ШС ІМІС-ЦП; - ),,(: 11 vSPACSregtР j j ijТЕФО == – реєстрація відправлення ЕД-ПШ; - ),,(: 12 vSPACSholdР j j ijТЕФО == – зберігання ЕД-ПШ до чергового такту. U 5 1 7 = = = О ТЕФОTEФ РP складається з операцій реєстрування ЕД-ПШ у ШС ІМІС-ЦП при 7=Ф : - ),,(: 5 vSPACSregoР j j ijТЕФО == – ініціювання інформаційного процесу цієї фази за наявності ЕД-ПШ у ШС під час чергового такту – операція реєстрування отримання ЕД-ПШ на підкаталозі ВІС(j) вхідного каталогу ШС ІМІС-ЦП; - ),,(: 2 wSPACSmoveР j j ijТЕФО == – переміщення ЕД-ПШ до підкаталогу ВІС(j) вихідного каталогу ШС ІМІС-ЦП; - ),,(: 3 CvSPBSekspР j j ijТЕФО == – експортування ЕД-ПШ до підкаталогу ЦП вхідного каталогу ШС ІМІС-ВП(j); - ),,(: 4 CvSPBSregtР j j ijТЕФО == – реєстрування відправлення ЕД-ПШ; - ),,(: 5 CvSPBSholdР j j ijТЕФО == – операція зберігання ЕД-ПШ до чергового такту. U 3 1 8 = = = О ТЕФОTEФ РP складається з операцій реєстрування ЕД-ПШ у ШС ІМІС-ВП(j) при 8=Ф : - ),,(: 1 CvSPBSregoР j j ijТЕФО == – ініціювання інформаційного процесу цієї фази за наявності ЕД-ПШ у підкаталозі ЦП вхідного каталогу ШС ІМІС-ВП(j) під час чергового такту – операція реєстрування отримання ЕД-ПШ на вхідному каталозі ШС ІМІС- ВП(j); - ),,(),,(: 2 WSwSPBSCvSPBSmoveР j j ijj j ijТЕФО →== – переміщення ЕД-ПШ до підкаталогу АРМ вихідного каталогу ШС ІМІС-ВП(j); Інформаційні системи 555 - ),,(: 3 WSwSPBSholdР j j ijТЕФО == – зберігання ЕД-ПШ до чергового такту. U 8 1 9 = = = О ТЕФОTEФ РP складається з операцій отримання ЕД-ПШ у ІМІС-ВП(j) при 9=Ф : - ),,(: 1 SPvWSBSgetР j j ijТЕФО == – ініціювання інформаційного процесу цієї фази за наявності ЕД-ПШ у підкаталозі АРМ вихідного каталогу ШС ІМІС-ЦП під час чергового такту – операція отримання ЕД-ПШ на підкаталозі ШС вхідного каталогу АРМ ІМІС-ВП(j); - ),,(: 2 SPvWSBSregoР j j ijТЕФО == – реєстрування отримання ЕД-ПШ на АРМ ІМІС-ВП(j) та одночасно формування ТФ-КОП формату ВІС(j) про отримання ЕД-П на вхідному каталозі ШС ІМІС-ВП(j) (ця і подальші операції над ТФ-КОП розглядаються у складі етапу 2=Е , як це показано на рис.2); - ),,(: 3 SPvWSBDdecodР j j ijТЕФО == – розшифровка ЕД-ПШ у ЕД-П; - ),,(: 4 SPvWSBFdesigР j j ijТЕФО == – зняття ЕЦП ІМІС-ВП(i) або ЕЦП ІМІС-ЦП з ЕД-П, тобто формування ТФ-П; - ),,(: 5 SPwWSBFmoveР j j ijТЕФО == – переміщення ТФ-П до підкаталога ШС вихідного каталогу АРМ ІМІС-ВП(j); - ),,(: 6 WSvSPBFtransР j j ijТЕФО == – передавання ТФ-П з АРМ ІМІС-ВП(j) до підкаталога ВІС вхідного каталогу ШС ІМІС-ВП(j); - ),,(: 7 WSvSPBFregtР j j ijТЕФО == – реєстрування відправлення ТФ-П; - ),,(: 8 WSvSPBFholdР j j ijТЕФО == – зберігання ТФ-П формату ВІС(j) до чергового такту; U 3 1 10 = = = О ТЕФОTEФ РP складається з операцій реєстрування ТФ-П у ШС ІМІС-ВП(j) при 10=Ф : - ),,(: 1 WSvSPBFregoР j j ijТЕФО == – ініціювання інформаційного процесу цієї фази за наявності ТФ-П у підкаталозі АРМ вхідного каталогу ШС ІМІС-ВП(j) під час чергового такту – операція реєстрування отримання ТФ-П на вхідному каталозі ШС ІМІС- ВП(j); - ),,(),,(: 2 wSPABFWSvSPBFmoveР jj j ijj j ijТЕФО →== – переміщення ТФ-П до підкаталогу ВІС вихідного каталогу ШС ІМІС- ВП(j); - ),,(: 3 wSPABFholdР jj j ijТЕФО == – зберігання ТФ-П до чергового такту. U 2 1 11 = = = О ТЕФОTEФ РP складається з операцій отримання ТФ-П у ВІС(j) при 11=Ф : - ),,(: 1 SDBAFimpР j j ijТЕФО == – ініціювання інформаційного процесу цієї фази за наявності ТФ-П у підкаталозі ВІС вихідного каталогу ШС ІМІС-ВП(j) під час чергового такту – операція імпортування ТФ-П формату ВІС(j) до серверу БД ВІС(j); - ),,(: 2 SDBADBloadР jТЕФО ∆== – завантаження ТФ-П до БД ВІС(j) та одночасно формування ТФ- КЗП у форматі ВІС(j) за результатами завантаження ТФ-П (ця і подальші операції над ТФ-КЗП розглядаються у складі етапу 3=E , як це показано на рис. 2). Рис. 2. Розподіл фаз інформаційних процесів 1=TE P , 2=TE P , 3=TE P ( 1=T ) на тактовій вісі часу Ф=1 Ф=2 Ф=3 Ф=4 Ф=5 Ф=6 Ф=7 Ф=8 Ф=9 Ф=10 Ф=11 Етап Е=1 ВІС(і) ВП(і) ВП(і) ВП(і) ЦП ЦП ЦП ВП(j) ВП(j) ВП(j) ВІС(j) Для ТФ-П/ЕД-П ШС АРМ ШС ШС ФС ШС ШС АРМ ШС Етап Е=2 Ф=1 Ф=2 Ф=3 Ф=4 Ф=5 Ф=6 Ф=7 Ф=8 для ТФ-КОП/ЕД-КОП ВП(j) ВП(j) ЦП ЦП ЦП ВП(i) ВП(i) ВП(i) АРМ ШС ШС ФС ШС ШС АРМ ШС Етап Е=3 Ф=1 Ф=2 Ф=3 Ф=4 Ф=5 Ф=6 Ф=7 Ф=8 Ф=9 Ф=10 для ТФ-КЗП/ЕД-КЗП ВІС(j) ВП(j) ВП(j) ВП(j) ЦП ЦП ЦП ВП(i) ВП(i) ВП(i) ШС АРМ ШС ШС ФС ШС ШС АРМ ШС t=1 t=2 t=3 t=4 t=5 t=6 t=7 t=8 t=9 t=10 t=11 t=12 t=13 t=14 t=15 t=16 t=17 t=18 t=19 t=20 тактова вісь часу Інформаційні системи 556 Враховуючи те, що 2=TE P та 3=TE P , тобто інформаційні процеси на етапах 2=E та 3=E , відбуваються на наборі майже тих самих операцій, що й 1=E , то нема необхідності так само ретельно розглядати етапи 2=E та 3=E , хіба що тільки ті операції, які не зустрічались на етапі 1=E . Для 2=E : - ),,(: 3,8,2,1 WSvSPBTKTantimeР iОФЕТ &&& >===== – аналіз показань таймера T&& , якщо він більше контрольного часу TK && приходу квитанції КЗП за результатами завантаження ТФ-П, то генерування відповідного повідомлення адміністратору системи. Для 3=E : - 6,1, 4 3,6,3,1 :),,( :),,( ),,(: == = ==== = = →= ФЕТj C error ТЕФОj C error j j jiОФЕТ PvSFACtrueT PvSFACfalseT vSFACSanmistР && && && – аналіз признаку наявності помилок ІМІС-ЦП в ЕД-П. Якщо признаку помилок нема, то перехід до наступної операції, якщо ж він існує, то відкат до фази 6=Ф етапу 1=E ; - 1,1, 4 3,10,3,1 :),,( :),,( ),,(: == = ==== = = →= ФЕТi iA error ТЕФОi iA error i i jiОФЕТ PWSvSPBtrueT PWSvSPBfalseT WSvSPBSanmistР && && && – аналіз признаку наявності помилок ВІС(і) в ЕД-П. Якщо признаку помилок нема, то перехід до наступної операції, якщо ж він існує, то відкат до фази 1=Ф етапу 1=E ; - ),,(: 4,10,3,1 WSvSPBTKTantimeР iОФЕТ &&&& >===== – аналіз показань таймера T&& , якщо він більше контрольного часу TK && приходу квитанції КЗП за результатами завантаження ТФ-П, то генерування відповідного повідомлення адміністратору системи. Треба зазначити, що інформаційні процеси 1,1,1 === ФЕТ Р , 6,1,1 === ФЕТ Р , 4,2,1 === ФЕТ Р , 1,3,1 === ФЕТ Р , 6,3,1 === ФЕТ Р містять операції (останні в їх переліку), що за логікою та часом відносяться до фази саме цього процесу, хоча реалізуються засобами іншої компоненти, яка стає активною після чергового тактового сигналу, тобто, в наступній фазі. Така форма опису інформаційних процесів, що відбуваються у відповідності до наведених тут технологій обміну інформацією між суб’єктами ІМІС, важка для сприйняття. Вона утруднює виділення подібних або, навіть, ідентичних операцій по різних етапах та їхнього порівняння, що може призвести до появи небажаних помилок. Для усунення цих недоліків пропонуємо більш лаконічну, але й більш жорстку до відображення форму запису інформаційного процесу. 5. Моделювання етапу інформаційного процесу передачі " повідомлень" Поведінку інформаційних об’єктів зручно представляти у вигляді сукупності взаємодіючих інформаційних процесів. Наведемо формальний опис інформаційних процесів та змоделюємо їхню взаємодію стосовно до задач опису архітектури інформаційних систем, використавши для цього, у деякій мірі, математичний апарат, в основу якого покладено нотацію і математичну теорію Хоара [10]. Під інформаційним процесом будемо розуміти модель поведінки інформаційного об’єкта, виражену в термінах попередньо визначених подій, які утворюють деяку скінчену множину, що зветься алфавітом процесу. В алфавіт процесу можуть входити як події, що виникають у певному контексті поведінки об'єкта, так і події, що не реалізуються ні в якому контексті. У кожну мить у моделі може відбутися тільки одна подія. Вияв подій, що не можуть бути реалізовані, можна розглядати як одну із задач дослідження інформаційного процесу. Формальний опис інформаційного процесу в фазі складається з низки описів операцій у форматі ( )ррр ППП 321 ,,:ℑ , що відбуваються упродовж цієї фази. Кожний з цих трьох параметрів від операції до операції або буде змінюватись, або ні. Таким чином вся множина можливих операцій по всіх фазах та всіх етапах може бути представлена тільки вісьмома їх типами. Це легко встановити, якщо замість параметрів стану інформаційного процесу, що не змінюються у результаті операції, проставити риску. Це дозволяє наочно та швидко визначити, який з параметрів і в якому місці терпить зміну, а також, яка з операцій змінює інформаційний об’єкт або місце його знаходження. Такий формат запису дозволяє лаконічно й прозоро описати інформаційний процес за технологією 1=T по фазах. Інформаційний процес 1=TE P по фазах для ( 1=E ): ),,(:),,(:),,(:),,(:),,(: 1 −−−−−−−−== holdregtvSPABekspwWSBFformSDBADBanchanР iii i ijiТЕФ aaaa ; ),,(:),,(:),,(: 2 −−−−−−−−== holdWSwSPmoveregoР ТЕФ aa ; aaaa ),,(:),,(:),,(:),,(: 3 SPwWSmoveSencodDensigSPvWSgetР i ij i ijТЕФ −−−−−−−−== ),,(:),,(:),,(: −−−−−−−− holdregtWSvSPtrans aaa ; ),,(:),,(:),,(: 4 −−−−−−−−== holdCwSPmoveregoР ТЕФ aa ; Інформаційні системи 557 ),,(:),,(:),,(:),,(:),,(: 5 −−−−−−−−−−−−== holdentimerwSPAmoveregovSPACimpР iiТЕФ aaaa ; aaaa ),,(: :),,( :),,( :),,(:),,(: 9 4 6 −− −−≡ −−≠ −−−−−= = = = i ij ТЕФО ji ТЕФО ji iТЕФ Ddecod PKK PKK anformregovSFAgetР aaaaaa ),,(:),,(:),,(:),,(:),,(: wSFAmoveSencodDensigFconvFdesig j j ij j ij j ij i ij −−−−−−−−−− ),,(:),,(:),,(: −−−−−−−− holdregtvSPAtrans j aaa ; ),,(:),,(:),,(:),,(:),,(: 7 −−−−−−−−−−−−== holdregtCvSPBekspwSPAmoveregoР jjТЕФ aaaa ; ),,(:),,(:),,(: 8 −−−−−−−−== holdWSwSPmoveregoР ТЕФ aa ; aaaaa ),,(:),,(:),,(:),,(:),,(: 9 SPwWSmoveFdesigDdecodregoSPvWSgetР j ij j ijТЕФ −−−−−−−−−−−== ),,(:),,(:),,(: −−−−−−−− holdregtWSvSPtrans aaa ; ),,(:),,(:),,(: 10 −−−−−−−−== holdwSPAmoveregoР jТЕФ aa ; ),,(:),,(: 11 −−∆−== DBloadSDBAimpР jТЕФ a . Інформаційний процес 2=TE P по фазах для ( 2=E ): aa&a&a& ),,(:),,(:),,(:),,(: 1 SPwWSmoveSencodDensigSPvWSBFformР j ji j jij j jiТЕФ −−−−−−== ),,(:),,(:),,(: −−−−−−−− holdregtWSvSPtrans aaa ; ),,(:),,(:),,(: 2 −−−−−−−−== holdCwSPmoveregoР ТЕФ aa ; ),,(:),,(:),,(:),,(: 3 −−−−−−−−−== holdwSPAmoveregovSPACimpР jjТЕФ aaa ; a&aaa ),,(: :),,( :),,( :),,(:),,(: 9 4 4 −− −−≡ −−≠ −−−−−= = = = j ji ТЕФО ji ТЕФО ji jТЕФ Ddecod PKK PKK anformregovSFAgetР aa&a&a&a&a ),,(:),,(:),,(:),,(:),,(: wSFAmoveSencodDensigFconvFdesig i i ji i ji i ji j ji −−−−−−−−−− ),,(:),,(:),,(: −−−−−−−− holdregtvSPAtrans i aaa ; ),,(:),,(:),,(:),,(:),,(: 5 −−−−−−−−−−−−== holdCvSPBekspregvwSPAmoveregoР iiТЕФ aaaaa ; ),,(:),,(:),,(: 6 −−−−−−−−== holdWSwSPmoveregoР ТЕФ aa ; aa&a&aa ),,(:),,(:),,(:),,(:),,(: 7 SPwWSmoveFdesigDdecodregoSPvWSgetР i ji i jiТЕФ −−−−−−−−−−−== ),,(:),,(:),,(: −−−−−−−− holdregtWSvSPtrans aaa ; adminТЕФ MTKTantimedetimerregoР &&&aa :)(:),,(:),,(: 8 >−−−−−−== . Інформаційний процес 3=TE P по фазах для ( 3=E ): ),,(:),,(:),,(:),,(: 1 −−−−−−−== holdregtvSPABekspwWSBAFformР jjjj j jiТЕФ aaa&& ; ),,(:),,(:),,(: 2 −−−−−−−−== holdWSwSPmoveregoР ТЕФ aa ; aa&&a&&a ),,(:),,(:),,(:),,(: 3 SPwWSmoveSencodDensigSPvWSgetР j ji j jiТЕФ −−−−−−−−== ),,(:),,(:),,(: −−−−−−−− holdregtWSvSPtrans aaa ; ),,(:),,(:),,(: 4 −−−−−−−−== holdCwSPmoveregoР ТЕФ aa ; ),,(:),,(:),,(:),,(: 5 −−−−−−−−−== holdwSPAmoveregovSPACimpР jjТЕФ aaa ; a && && aa 6,1, 4 6 :),,( :),,( :),,(:),,(: == = = −−= −−= −−−−−= ФЕТ C error ТЕФО C error jТЕФ PtrueT PfalseT anmistregovSFAgetР a&&a&&a&&aa ),,(:),,(:),,(: :),,( :),,( : 10 5 −−−−−− −−≡ −−≠ = = i ji j ji j ji ТЕФО ji ТЕФО ji FconvFdesigDdecod PKK PKK anform aaaa&&a&&a ),,(:),,(:),,(:),,(:),,(: −−−−−−−−−−− regtvSPAtranswSFAmoveSencodDensig ii i ji i ji ),,(: −−−holda ; ),,(:),,(:),,(:),,(:),,(: 7 −−−−−−−−−−−−== holdCvSPBekspregvwSPAmoveregoР iiТЕФ aaaa ; Інформаційні системи 558 ),,(:),,(:),,(: 8 −−−−−−−−== holdWSwSPmoveregoР ТЕФ aa ; aa&&a&&aa ),,(:),,(:),,(:),,(:),,(: 9 SPwWSmoveFdesigDdecodregoSPvWSgetР i ji i jiТЕФ −−−−−−−−−−−== ),,(:),,(:),,(: −−−−−−−− holdregtWSvSPtrans aaa ; adminMTKTantime PtrueT PfalseT anmistdetimerregoР ФЕТ iA error ТЕФО iA error ТЕФ &&&&&&aaa :)(: :),,( :),,( :),,(:),,(: 1,1, 4 10 > −−= −−= −−−−−−= == = = . Аналіз наявності рисок та місць розташування дозволяє зробити деякі висновки щодо характеру або типу операцій у складі інформаційного процесу. Для наочності такого аналізу замінимо риски на “0”, а параметри на “1” та визначимо типи операцій для кожної з можливих восьми комбінацій. ( ) }{}{1,1,1: 1 1 1 anchan=ℑ=ℑ – стартова операція (anchan – аналіз наявності змін інформації БД за певний термін), присутність всіх трьох параметрів свідчить про те, що дана операція є першою в описі поведінки інформаційного об’єкта і саме вона активізує увесь інформаційний процес, як це було показано на початку 4-го розділу ( Px → ). ( )0,1,1:2ℑ – неможлива операція. ( ) { } { }form=ℑ=ℑ 3 1 3 1,0,1: – операція формування, присутність першого та третього параметрів свідчить про те, що така операція змінює як сам об’єкт, так і місце його знаходження в межах одного компонента ( form – формування). ( ) { } { }loadconvanmistanformdecodencoddesigensig ,,,,,,,...,,0,0,1: 4 8 4 1 4 =ℑℑ=ℑ – операції перетво- рення, присутність тільки першого параметру свідчить про те, що така операція вносить зміни в сам інформаційний об’єкт (ensig – накладання ЕЦП на ТФ; desig – знімання ЕЦП з ЕД; encod – шифрування ЕД; decod – розшифрування ЕД; anform – аналіз (операція умовного переходу) необхідності узгодження значень класифікаторів БД різних ВІС; anmist – аналіз признаку наявності помилок; conv – трансформування ТФ для узгодження цих значень; load – завантаження ТФ до БД). ( ) { } { }impeksp,,1,1,0: 5 2 5 1 5 =ℑℑ=ℑ – операція пересилання (eksp – експортування, imp – імпортування) між компонентами системи [7], присутність другого і третього параметрів свідчить про те, що дана операція не змінює сам інформаційний об’єкт, а тільки місце його обробки з одного компонента на інший, а разом і програмно-апаратного засобу. ( )0,1,0:6ℑ – неможлива операція. ( ) { } { }gettransmove ,,,,1,0,0: 7 3 7 2 7 1 7 =ℑℑℑ=ℑ – операція переміщення, присутність тільки третього параметру свідчить про зміну місця знаходження інформаційного об’єкта в межах одного компонента (trans – переміщення-передавання, get – переміщення-отримання), або навіть в межах програмно-апаратного засобу (move – переміщення). ( ) { } { }detimerentimerholdregtrego ,,,,...,,0,0,0: 8 5 8 1 8 =ℑℑ=ℑ – допоміжна операція, відсутність параметрів свідчить, що така операція не змінює жодного з них, тобто, така операція не впливає на сам процес, але забезпечує спостереження за ним (rego – реєстрування отримання, regt – реєстрування відправлення) або узгодження часових факторів (hold – зберігання, entimer – включення таймеру, detimer – виключення таймеру). Комбінації ( )0,1,1:2ℑ та ( )0,1,0:6ℑ свідчать про помилковість запису операції і при створенні відповідних програмних засобів повинні сповіщати про це користувача для ініціювання ретельної перевірки символьного запису інформаційних процесів. Перелічені вісім типів операцій мають місце незалежно від вибраної інформаційної технології, ні навіть від її етапу. Такий синтаксис запису інформаційних процесів дозволяє не тільки дуже ретельно і детально відслідкувати їхню організацію і, тим самим застрахуватись від помилок, не тільки автоматично ініціювати їхні операції у необхідній послідовності за наявності відповідних програмних засобів, але й контролювати хід їхнього протікання. Якщо виникне якесь їх порушення, то система таких засобів автоматично виявить збій та його місце як по фазах інформаційного процесу, так і по компонентах інформаційної системи, аж до підкаталогів. Наприклад, при такому записі можна легко перевірити правильність організації інформаційного процесу під час передачі інформаційного об’єкта з каталогу на каталог. Справа в тому, що обов’язково повинно бути чергування вхідного і вихідного каталогів незалежно від компонентів. Причому, для цього нема необхідності реалізовувати сам процес. Достатньо відповідними засобами перевірити його запис у вище наведеній нотації. Але найважливішим у такому записі інформаційного процесу є те, що це, по суті, програма цього процесу. Зупинка лише за відповідними програмними засобами, що трансформують цей запис у низку машинних команд. За наявності таких засобів з’являється можливість коригування процесу або навіть його повну зміну за рахунок внесення змін у його запис у відповідності до запропонованого в роботі синтаксису. Для цього нема необхідності змінювати програмні засоби. Інформаційні системи 559 Висновки У роботі розглянуті можливі технології обміну інформацією в інтегрованій міжвідомчій інформаційній системі. По кожній з них визначено склад етапів інформаційних процесів, їх поділ на фази, промодельовано протікання інформаційних процесів в умовному часі в межах фаз і, на базі цього, визначені основні види операцій та апаратно-програмні засоби, що реалізують інформаційні процеси. Наведені записи інформаційних операцій за відповідних програмних засобів можуть дозволити автоматизувати управління інформаційним процесами, пристосувавши до цього математичну теорію Хоара, як це зроблено в [10] щодо послідовних та паралельних процесів у задачах опису та моделювання архітектури обчислювальних пристроїв. 1. ДСТУ 3918-1999 (ISO/IEC 12207:1995) Державний стандарт України. Інформаційні технології. Процеси життєвого циклу програмного забезпечення. – К.: Держстандарт України, 2000. 2. Алексєєв В.А., Терещенко В.С. Розвиток спіральної моделі життєвого циклу програмних систем // Проблемы программирования. – 2003. – № 4. – С. 34–42. 3. Бабенко Л.П., Лавріщева К.М. Основи програмної інженерії: Навч. посіб. – К.: Т-во “Знання”, КОО, 2001. – 209 с. 4. Алексеєв В.А., Ільїн С.А., Мягкова Л.А., Терещенко В.С. Організація схем взаємодії в інтегрованій міжвідомчій інформаційній системі // Проблемы программирования. – 2003. – № 3. – С. 71–83. 5. Алексеєв В.А., Терещенко В.С. Архітектура інтегрованої міжвідомчої інформаційної системи як композиція відомчих інформаційних систем / Матеріали 4 Міжнародної науково-практичної конференції з програмування (УкрПРОГ’2004) 1-3 червня 2004 // Проблемы программирования”. – 2004. – № 2-3 (спеціальний випуск). – С. 397 – 6. 408. 7. Алексеєв В.А., Мягкова Л.А., Терещенко В.С. Синтез схеми архітектури міжвідомчої інформаційної системи на основі аналізу функцій її компонентів // Управляющие системы и машины. – 2004. – № 5. – С.11–24. 8. ДСТУ 2227-93 Системи оброблення інформації. Автоматизована установа. Терміни та визначення. Держстандарт України. 1994. 9. Закон України “Про електронні документи та електронний документообіг” № 851-IV вiд 22.05.2003. 10. ДСТУ 3043-95 Системи оброблення інформації. Телеобробка даних і комп'ютерні мережі. Терміни та визначення. Держстандарт України. – 1995. – 36 c. 11. Погосянц Г.М. Последовательные и параллельные процессы в задачах описания и моделирования архитектуры вычислительных устройств // Системы и средства информатики. – М.: Наука, 1989. – С. 182–192.

Моделювання процесів обміну інформацією в інтегрованій міжвідомчій інформаційній системі

Institution

Ähnliche Einträge