20477

Візуальні мови проектування специфікацій

Доклад

Информатика, кибернетика и программирование

Складність сучасних обчислювальних систем а також висока вартість створення якісного та надійного програмного забезпечення ЕОМ стимулюють розвиток теоретично обгрунтованих методів та засобів розробки програмних систем. Особливо актуальним є застосування таких методів та засобів при об'єктноорієнтованому підході до створення програмних систем. Формалізовані візуальні мови набули широкого використання при проектуванні та розробці складних програмних систем. Об'єктноорієнтовані методи розробки програмного забезпечення широко застосовують...

Украинкский

2013-07-25

36 KB

0 чел.

Візуальні мови проектування специфікацій.

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

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

Візуальне програмування та візуалізація програмного забезпечення призначені для поліпшення процесу програмування, особливо для програмістів-непрофесіоналів. Формалізовані візуальні мови набули широкого використання при проектуванні та розробці складних програмних систем. Вони є складовою частиною CASE технології.

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

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

ООП = об'єкти + класи + наслідування.

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

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

В нинішній час методи та засоби візуального проектування об'єктно-орієнтованих програмних систем, розподілених у мережах ЕОМ, детально не розроблені. Необхідність розв'язання цієї проблеми обгрунтована виникненням розподілених програмних систем у різних галузях народного господарства України.

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

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

Зв'язок роботи з науковими програмами, планами, темами. Дисертаційне дослідження виконано в межах

– міжнародного проекту INCO-COPERNICUS 96-0114 "A Distributed System for the Development of National Network of Ukraine" по розділу 6. "Information Technology" програми "RTD in the Field of Cooperation with Third Countries and International Organizations – INCO" Європейського Союзу, проекту INTAS-93-1702 "Efficient Symbolic Computing" Європейського Союзу;

– науково-дослідницьких робіт Державного комітету з питань науки та технологій України 2/980-97 "Розробка та впровадження розподіленої експертної системи для керування глобальними комп'ютерними мережами", 06.09.01/207-93 "Создание визуальной системы управления информационно-компъютерными сетями", науково дослідницьких робіт Національної академії наук України (продовження робіт у Державному комітеті з питань науки та технологій України) 06.02.03/068-92 "Разработка технологических инструментальных средств разработки программного обеспечения с использованием методов искусственного интеллекта и объектно ориентированного программирования", 06.02.03/066-92 "Современные технологии программирования на основе визуальных методов представления информации и экспертных систем".


 

А также другие работы, которые могут Вас заинтересовать

18185. ІНДИВІДУАЛЬНІ ОСОБЛИВОСТІ ОБДАРОВАНИХ 183 KB
  Матеріал до теми 2 ІНДИВІДУАЛЬНІ ОСОБЛИВОСТІ ОБДАРОВАНИХ Типологія обдарованості. Творча особистість і її життєвий шлях У дослідженнях проведених у лабораторії психології здібностей Інституту психології РАНЕЙ А.Н. Вороніним на дорослих випробуваних ...
18186. ГЕНЕЗИС ОДАРЕННОСТИ 38 KB
  Материал к теме 3 ГЕНЕЗИС ОДАРЕННОСТИ Существует три подхода в отношении генезиса одаренности: 1 генетический отводящий основную роль в детерминации психических свойств наследственности; 2 средовой представители которого считают решающим фактором развити
18187. ВИДЫ ОДАРЕННОСТИ 122 KB
  ВИДЫ ОДАРЕННОСТИ Понятия о видах одаренности. Теория множественности видов интеллекта Ховарда Гарднера. Общая интеллектуальная и академическая одаренность. Художественная одаренность. Творческая одаренность. Лидерская одаренность. Практическая одаренно...
18188. Диагностика одаренности. Наиболее популярные тесты диагностики творческой одаренности 524 KB
  Материалы к теме Диагностика одаренности. Наиболее популярные тесты диагностики творческой одаренности. К числу наиболее популярных тестов направленных на выявление творческой одаренности можно отнести следующие: тесты креативности для детей разработанн
18189. ДІАГНОСТИКА ОБДАРОВАНОСТІ 167.5 KB
  PAGE MERGEFORMAT 21 Тема 5. ДІАГНОСТИКА ОБДАРОВАНОСТІ Мета: Опанування матеріалів лекції студентами слухачами має сформувати у них знання основних підходів до визначення етапів принципів методів та факторів достовірності психодіагностики обдар
18190. ПОНЯТТЯ ПРО ОБДАРОВАНІСТЬ 156.5 KB
  Тема 1. ПОНЯТТЯ ПРО ОБДАРОВАНІСТЬ Мета: Опанування матеріалів лекції студентами слухачами має сформувати у них загальні уявлення про обдарованість та обдаровану дитину знання основних теоретичних та практичних підходів до виз
18191. ГЕНЕЗИС ОБДАРОВАНОСТІ 105.5 KB
  Тема 2. ГЕНЕЗИС ОБДАРОВАНОСТІ Мета: Опанування матеріалів лекції студентами слухачами має сформувати у них знання основних підходів до визначення ґенезу обдарованості диференціації та зв’язку явищ обдарованості та талану інтелекту та креативності впливу чи
18192. ВИДИ ОБДАРОВАНОСТІ 147.5 KB
  Тема 3. ВИДИ ОБДАРОВАНОСТІ Мета: Опанування матеріалів лекції студентами слухачами має сформувати у них знання основних критеріїв систематизації видів обдарованості підходів до визначення окремих видів обдарованості та їх головні характеристики. Тема 3. ВИДИ
18193. ІНДИВІДУАЛЬНО-ПСИХОЛОГІЧНІ ОСОБЛИВОСТІ ОБДАРОВАНИХ ДІТЕЙ 164 KB
  Тема 4. ІНДИВІДУАЛЬНОПСИХОЛОГІЧНІ ОСОБЛИВОСТІ ОБДАРОВАНИХ ДІТЕЙ Мета: Опанування матеріалів лекції студентами слухачами має сформувати у них знання класифікації типів особистості обдарованих дітей особливості обдарованих д...