Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування

У роботі представлено підхід до уточнення поведінкових моделей програмного забезпечення (ПЗ), які представляються діаграмами кооперацій. Уточнення поведінкових моделей ПЗ може бути як і окремою операцією Model-Driven Architecture (MDA) та Model-Driven Development (MDD) [1], так і складовою у вирішен...

Повний опис

Збережено в:
Бібліографічні деталі
Видавець:Інститут програмних систем НАН України
Дата:2014
Автор: Чебанюк, О.В.
Формат: Стаття
Мова:Ukrainian
Опубліковано: Інститут програмних систем НАН України 2014
Назва видання:Проблеми програмування
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/113222
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Цитувати:Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування / О.В. Чебанюк // Проблеми програмування. — 2014. — № 2-3. — С. 112-120. — Бібліогр.: 25 назв. — укр.

Репозиторії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-113222
record_format dspace
spelling irk-123456789-1132222017-02-05T03:03:28Z Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування Чебанюк, О.В. Методи та засоби програмної інженерії У роботі представлено підхід до уточнення поведінкових моделей програмного забезпечення (ПЗ), які представляються діаграмами кооперацій. Уточнення поведінкових моделей ПЗ може бути як і окремою операцією Model-Driven Architecture (MDA) та Model-Driven Development (MDD) [1], так і складовою у вирішенні завдань трансформації та верифікації моделей ПЗ [2]. Запропонований підхід базується на співставленні формалізованого опису процесів застосування з шаблонами, що представляють поведінкові складові паттернів проектування, та подальшого уточнення діаграм кооперацій відповідно до цих шаблонів. Поведінкові складові паттернів проектування містять формалізоване представлення функціональних вимог до застосування, які відповідають визначенному паттерну проектування. Сформовано поведінкові шаблони паттернів проектування «Міст» та «Стан», використовуючи які, спроектовано уточнені діаграми кооперацій. Систематизовано результати досліджень проблемного домену «Проектування розкрійних схем рулонних матеріалів деталей взуття та шкіргалантереї». Представлено специфікацію вимог до бібліотеки класів, що вирішує такі завдання цього проблемного домену, як побудова еквідістанти (образу деталі), укладок, розкладок, секцій та розкрійних схем. Продемонстровано приклад уточнення поведінкової моделі ПЗ для виконання завдання побудови щільних укладок розкрійних схем деталей взуття та шкіргалантереї із використанням формалізованого аналітичного представлення уточнених діаграм кооперацій. An approach to behavioral software models refinement is proposed in this paper. Behavioral software models are represented as UML collaboration diagrams. The operation of behavioral software models refinement can be both executed as a separate operation of Model-Driven Architecture (MDA) and Model-Driven Development (MDD) approaches and as a constituent of other technics which require software models transformation or verification [2]. The proposed approach is based on matching of applications’ formalized process description with behavioral constituents of design patterns. Behavioral constituents of design patterns contain formalized representation of application functional requirements that are corresponded with some design pattern. The behavioral design patterns constituents for patterns “Bridge” and “State” are formed. Using this constituents refinement collaboration diagrams are designed. The results of problem domain explorations “Designing of cutting schemas for shoe and leather good details” are systematized. The requirements specification to class library that solves such tasks of the problem domain as designing of convex hull (detail representation), layings, layouts, sections, and cutting schemas is presented. The example of behavioral software models elicitation for solving task of designing laying for shoe and leather good with using formalized analytical representation is represented. 2014 Article Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування / О.В. Чебанюк // Проблеми програмування. — 2014. — № 2-3. — С. 112-120. — Бібліогр.: 25 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/113222 004.415.2.045 (076.5) uk Проблеми програмування Інститут програмних систем НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Ukrainian
topic Методи та засоби програмної інженерії
Методи та засоби програмної інженерії
spellingShingle Методи та засоби програмної інженерії
Методи та засоби програмної інженерії
Чебанюк, О.В.
Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
Проблеми програмування
description У роботі представлено підхід до уточнення поведінкових моделей програмного забезпечення (ПЗ), які представляються діаграмами кооперацій. Уточнення поведінкових моделей ПЗ може бути як і окремою операцією Model-Driven Architecture (MDA) та Model-Driven Development (MDD) [1], так і складовою у вирішенні завдань трансформації та верифікації моделей ПЗ [2]. Запропонований підхід базується на співставленні формалізованого опису процесів застосування з шаблонами, що представляють поведінкові складові паттернів проектування, та подальшого уточнення діаграм кооперацій відповідно до цих шаблонів. Поведінкові складові паттернів проектування містять формалізоване представлення функціональних вимог до застосування, які відповідають визначенному паттерну проектування. Сформовано поведінкові шаблони паттернів проектування «Міст» та «Стан», використовуючи які, спроектовано уточнені діаграми кооперацій. Систематизовано результати досліджень проблемного домену «Проектування розкрійних схем рулонних матеріалів деталей взуття та шкіргалантереї». Представлено специфікацію вимог до бібліотеки класів, що вирішує такі завдання цього проблемного домену, як побудова еквідістанти (образу деталі), укладок, розкладок, секцій та розкрійних схем. Продемонстровано приклад уточнення поведінкової моделі ПЗ для виконання завдання побудови щільних укладок розкрійних схем деталей взуття та шкіргалантереї із використанням формалізованого аналітичного представлення уточнених діаграм кооперацій.
format Article
author Чебанюк, О.В.
author_facet Чебанюк, О.В.
author_sort Чебанюк, О.В.
title Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
title_short Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
title_full Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
title_fullStr Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
title_full_unstemmed Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
title_sort підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
publisher Інститут програмних систем НАН України
publishDate 2014
topic_facet Методи та засоби програмної інженерії
url http://dspace.nbuv.gov.ua/handle/123456789/113222
citation_txt Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування / О.В. Чебанюк // Проблеми програмування. — 2014. — № 2-3. — С. 112-120. — Бібліогр.: 25 назв. — укр.
series Проблеми програмування
work_keys_str_mv AT čebanûkov pídhíddoutočnennâpovedínkovihmodelejprogramnogozabezpečennâzvikoristannâmpatternívproektuvannâ
first_indexed 2024-03-30T09:26:04Z
last_indexed 2024-03-30T09:26:04Z
_version_ 1796149968411557888