Користувачі автоматизованої системи

Користувачами інформаційної системи обліку юридичних договорів є співробітники юридичних компаній, юристи, бухгалтери, підприємці малого бізнесу.

III ВИБІР ТА ОБҐРУНТУВАННЯ МЕТОДУ РОЗВ’ЯЗАННЯ ЗАВДАННЯ

III.1 Вибір парадигми програмування

Засоби реалізації механізму тверджень, що виконуються, часто називають парадигмами програмування, проте багато з цих парадигм не мають відношення до програмування в його узвичаєному змісті. До основних парадигм відносять: процедурне програмування; програмування, орієнтоване на дані; програмування, орієнтоване на правила; об'єктно-орієнтоване програмування.

Парадигма процедурного програмування найширше поширена серед існуючих мов програмування. Тут явно виділяють два види різноманітних сутностей:

1) процедури, що виконують активну роль, тобто являються тим, що задає поведінку (функціонування) програми;

2) дані, що виконують пасивну роль, тобто являють тим, що опрацьовується засобом, продиктованим процедурами.

Спроможність складати процедури з команд (операторів) і викликати їх є ключем даної парадигми. Особливістю цієї парадигми є "побічні ефекти", що виникають у тих випадках, коли різноманітні процедури, що використовують загальні дані, змінюють їх незалежно.

При використанні програмування, орієнтованого на дані, активну роль відіграють дані, а не процедури. Тут із структурами активних даних зв'язують деякі дії (процедури), що активізуються тоді, коли здійснюється доступ до цим даним. Програмування, орієнтоване на дані, дозволяє організувати поведінку мало залежних процесів, що важко реалізувати в процедурній парадигмі. Мала залежність процесів означає, що вони можуть розглядатися і програмуватися окремо. Проте при використанні парадигми, керованої даними, ці незалежно запрограмовані процеси можуть взаємодіяти між собою без їхньої зміни (тобто без перепрограмування).

У парадигмі, орієнтованої на правила, поведінка визначається множиною правил виду: умова -> дія. Умова задає образ даних, при виникненні якого дія правила може бути виконана. Правила в даній парадигмі грають таку ж роль, як і програми в процедурній парадигмі. Проте якщо в процедурній парадигмі поведінка задається детермінованою послідовністю операторів, що не залежить для широкого класу оброблюваних даних від значень цих даних, то в парадигмі, орієнтованої на правила, поведінка (послідовність дій) задається не заздалегідь продиктованою послідовністю правил, а формується на основі значень тих даних, що у поточний момент опрацьовуються програмою (системою). Формування поведінки здійснюється по такій схемі. Умови правил зіставляються з поточними даними, і ті правила, умови яких задовольняються значеннями поточних даних, стають претендентами на виконання. Потім по визначеному критерії здійснюються вибір одного правила серед претендентів і його виконання (тобто виконання дії, зазначеної у правій частині правила). Підкреслимо, що правила - претенденти можуть виконуватися одночасно при наявності декількох процесів.

Отже, підхід, орієнтований на правила, зручний для опису поведінки, гнучко різноманітно і реагуючої на велике різноманіття станів даних.

Парадигма об'єктного програмування на відміну від процедурної парадигми не розділяє програму на процедури і дані. Тут програма організується навколо сутностей, названих об'єктами, що включають локальні процедури (методи) і локальні дані (змінні). Поведінка (функціонування) у цій парадигмі організується шляхом пересилки повідомлень між об'єктами. Об'єкт, отримавши повідомлення, здійснює його локальну інтерпретацію, базуючись на локальних процедурах і даних. Такий підхід дозволяє описувати складні системи найбільш природним чином.

Моделі представлення знань зазвичай поділяють на логічні (формальні) і евристичні (формалізовані). В основі логічних моделей представлення знань лежить поняття формальної системи (теорії). Прикладами формальних теорій можуть служити числення предикатів і будь-якої конкретної системи продукцій. У логічних моделях, як правило, використовується числення предикатів першого порядку, доповнене рядом евристичних стратегій. Ці методи є системами дедуктивного типу, тобто в них використовується модель одержання виведення із заданої системи посилок за допомогою фіксованої системи правил виведення. Подальшим розвитком предикатних систем є системи індуктивного типу, у котрі правила виведення породжуються системою на основі опрацювання кінцевого числа навчальних прикладів.

У логічних моделях представлення знань відношення, що існують між окремими одиницями знань, виражаються тільки за допомогою тих небагатих засобів, що даються синтаксичними правилами використовуваної формальної системи.

На відміну від формальних моделей евристичні моделі мають різноманітний набір засобів, що передають специфічні особливості тієї або іншої проблемної області. Саме тому евристичні моделі перевершують логічні як по можливості адекватно представити проблемне середовище, так і по ефективності використовуваних правил виведення. До евристичних моделей, використовуваним в експертних системах, можна віднести мережні, фреймові, продукційні й об'єктно-орієнтовані моделі.

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

III.2 Вибір засобів реалізації

Microsoft SQL Server входить до складу родини Microsoft BackOffice, що поєднує п'ять серверних застосувань, розроблених для спільного функціонування як інтегрована система. Вона дозволяє користувачам підвищити продуктивність процесу прийняття рішень засобами систем, що базуються на архітектурі клієнт-сервер. Крім того, Microsoft SQL Server завершує лінію засобів розробки, що включають Microsoft Access, Visual FoxPro®, Visual Basic і Visual C++™.

Microsoft SQL Server спеціально розроблений для задоволення вимог, що встановлюються системами розподіленої обробки даних (таких як тиражування даних, підтримка великих баз даних (БД) на відносно недорогих апаратних платформах, що зберігає простоту керування і використання). Сервер має засоби віддаленого адміністрування і керування операціями, організовані на базі об’єктно-орієнтованого розподіленого середовища керування. Нові можливості, такі як OLE Automation і засоби програмування адміністративних задач мовою Visual Basic for Applications, забезпечують інтеграцію із застосуваннями, що працюють на ПК. Як і раніше Microsoft приділяє дуже велику увагу відповідності своїх продуктів існуючим промисловим стандартам, що відбилося в розширеній підтримці ANSI SQL і ODBC.

Технологія баз даних компанії Microsoft походить від Sybase. Перша версія MS SQL Server була майже ідентична Sybase SQL Server, але потім дві системи розвивалися по-різному. Зокрема, це стосується механізму реплікації.

При проектуванні готового до використання застосування розробникові доводиться робити складну роботу по створенню окремих його компонентів, таких як екранні форми, звіти та запити. Для автоматизації цього процесу в склад пакету Access було включено ряд спеціалізованих програм, що можуть вирішувати подібні задачі, що без сумніву свідчить про одну з його переваг. Один з напрямків цих програм називається Design (Конструктор), а другий - Wizard (Майстер, чарівник). Конструктор надає для роботи користувача ряд інструментальних засобів, за допомогою яких можна швидко і просто скласти потрібну конструкцію: форму, запис, звіт.

Продукт Microsoft Access виконано в традиціях фірми, тому інтерфейс є дуже подібним до багатьох офісних програм.

По мірі того як компанії стандартизують роботу з комп’ютерами і програмне забезпечення, що застосовується, все частіше виникає проблема пов’язана із взаємодією процесів. Наприклад для створення листів та документів використовується Word, для обміну повідомленнями по електронній пошті використовується пакет програм Exchange, для ведення фінансових розрахунків – Excel, а для управління даними про клієнтів та контракти – пакет програм Pursuit. Автоматизація, що раніше називалась автоматизацією OLE, є засобом надання об’єктів застосування (разом з їх методами та властивостями) іншим застосуванням, які можуть створювати нові копії об’єктів та керувати ними. За допомогою засобів автоматизації в програмі можна створювати об’єкти, що відносяться до інших додатків. Маніпуляції з об’єктами інших застосувань (настройка властивостей, виклик методів) за допомогою автоматизації не відрізняється від безпосереднього програмування у відповідних додатках. Засоби автоматизації дозволяють створювати серйозні інтегровані пакети програм. Додатки, що підтримують автоматизацію надають інформацію про власні об’єкти в об’єктних бібліотеках, в яких зберігається вся інформація про класи, методи класів та властивості класів. Мовою програмування для роботи із засобами автоматизації в пакеті Microsoft Office є Visual Basic for Applications (VBA).

III.3 Висновки

У розділі обрано програмні засоби реалізації та парадигму програмування.