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


 

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

64541. Основа национальной политики царизма и ее особенности на рубеже XIX – XX веков 54 KB
  На протяжении всей истории, Россия руководствовалась 6 принципами национальной политики, которые выражаются в: сотрудничестве с национальными элитами и стремление растворить...
64542. Система права. Отрасль права, правовой институт, норма права 27.5 KB
  С давних времен существует деление права на публичное и частное. Публичное право регулирует отношения, в которых хотя бы одной из сторон является государство.
64543. Индивидуальный пошив – удобно, качественно и очень красиво 51 KB
  Индивидуальный пошив одежды на заказ сейчас выбирает все больше и больше людей. И дело не только в индивидуальном стиле и высоком качестве, но и в цене пошива.
64544. Великая французская революция и развитие международных отношений 15.86 KB
  К концу 1780-х гг. выявился кризис внешней политики Франции: неудачи в соперничестве с Англией в колониях, уменьшение влияния в Германии и Польше. В предреволюционный период ведущие страны пытались разрешать спорные вопросы мирным путём...
64545. Появление евреев в России по итогам трёх разделов Польши. Курс самодержавья на разрушение их самоизоляции (1795-1855) 44.5 KB
  По поручению Павла Державин занимался изучением религиозного и общественного быта евреев. Евреи устроили в черте оседлости тайное израильское царство разделённое на кагальные округа с кагальными управлениями облечёнными деспотической властью на основе законов Талмуда.
64546. Великое княжество литовское и русское. Несостоявшийся проект объединения русских земель 18.39 KB
  Постепенно русский язык становится языком административным судебным; законодательные акты правительственные распоряжения составляются порусски; в самом Вильнюсе столице Литвы при дворе великих...
64547. Общение как вид социальных контактов 30.5 KB
  Виды общения по средствам: вербальное общение осуществляется посредством речи и является прерогативой человека. Оно предоставляет человеку широкие коммуникативные возможности и гораздо богаче всех видов и форм невербального общения хотя в жизни не может полностью его заменить...
64548. Сократ: жизнь, учение и метод 34 KB
  Жена Сократа Ксантиппа была известна своим сварливым характером; ее имя стало нарицательным для обозначения дурных сварливых жен. Поведение Сократа на суде отражено в платоновской Апологии Сократа.
64549. Искусственное и смешанное вскармливание детей первого года жизни. Методы проведения контроля и коррекции. Продукты питания 41.5 KB
  Необходимость такого докармливания возникает в случае если потребности ребенка в пищевых ингредиентах и калориях в силу тех или иных причин не могут удовлетворяться полностью только одним женским молоком а время для прикорма еще не наступило.