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 "Современные технологии программирования на основе визуальных методов представления информации и экспертных систем".


 

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

10107. Понятие информации 16.58 KB
  Понятие информации. Информация сведения об объектах и явлениях окружающей среды их параметрах свойствах и состоянии которые воспринимают информационные системы. Одно и то же информационное сообщение статья в газете объявление письмо телеграмма справка расска...
10108. Количество информации (содержательный и алфавитный подходы) 17.25 KB
  Количество информации содержательный и алфавитный подходы. Первый подход называется содержательным. В нем информация рассматривается с субъективной точки зрения т.е. с точки зрения конкретного человека. В этом случае количество информации в сообщении не равно нулю е...
10109. THE GESTURE INTERFACE FOR CONTROL OF ANGIOGRAPHIC SYSTEMS 711.5 KB
  The paper is devoted to the design and development of gesture interface for use in surgery applications. The approaches to the gesture recognition for real use in angiographic systems are considered. The model of the angiographic systems, control techniques, gesture language for control, as well as their realizations are described. Possibilities of further development are discussed.
10110. Позиционные системы счисления 11.77 KB
  Систе́ма счисле́ния символический метод записи чисел представление чисел с помощью письменных знаков. Система счисления: дает представления множества чисел целых или вещественных. дает каждому числу уникальное представление или по крайней мере стандартное пред...
10111. Переход из одной системы счисления в другую 51.52 KB
  Переход из одной системы счисления в другую. Запись чисел в разных системах счисления двоичная используются цифры 0 1 восьмеричная используются цифры 0 1 7 шестнадцатеричная для первых целых чисел от нуля до девяти используются цифры 0 1 9 а для следующих ...
10112. Виды информации, обрабатываемые компьютером (числовая, символьная, графическая, звуковая) 16.27 KB
  Виды информации обрабатываемые компьютером числовая символьная графическая звуковая. Как мы хорошо знаем вычислительная техника первоначально возникла как средство автоматизации вычислений о чем совершенно недвусмысленно говорит название ЭВМ. Следующим видом о...
10113. Типы информации (дискретная, непрерывная) 52.5 KB
  Типы информации дискретная непрерывная. Чтобы сообщение было передано от источника к получателю необходима некоторая материальная субстанция носитель информации. Сообщение передаваемое с помощью носителя назовем сигналом. В общем случае сигнал это изменяющийс...
10114. Принципы фон Неймана 91.76 KB
  Принципы фон Неймана Основы учения об архитектуре вычислительных машин заложил выдающийся американский математик Джон фон Нейман. Он подключился к созданию первой в мире ламповой ЭВМ ENIAC в 1944 г. когда ее конструкция была уже выбрана. В процессе работы во время многоч
10115. Устройства ввода-вывода 43.07 KB
  Устройства ввода-вывода Компьютер обменивается информацией с внешним миром с помощью периферийных устройств. Только благодаря периферийным устройствам человек может взаимодействовать с компьютером а также со всеми подключенными к нему устройствами. Любое подключен