Індекс рубрикатора НБУВ: З973-018.123.2я73-1

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: ВА614637 Пошук видання у каталогах НБУВ 

Розглянуто методи та техніку моделюваня систем масового обслуговування на базі мови GPSS World. Наведено інформацію про переваги роботи з системою GPSS World, основні види об'єктів, списки, рядки, блоки, команди GPSS, арифметичні вирази в GPSS World, процедурну мову PLUS.

Рассмотрены методы и техника моделирования систем массового обслуживания на основе языка GPSS World. Приведена информация о преимуществах работы с системой GPSS World, основных видах объектов, списках, строчках, блоках, командах GPSS, арифметических выражениях в GPSS World, процедурном языке PLUS.

Розглянуто концепції та конструкції мови UML - одного з сучасних методів і засобів проектування програмного забезпечення інформаційних систем. Викладено питання її семантики, синтаксису, нотації та призначення. Значну увагу приділено представленням, що використовуються в UML, наведено список стандартних елементів даної мови.

Рассмотрены концепции и конструкции языка UML - одного из современных методов и средств проектирования программного обеспечения информационных систем. Изложены вопросы его семантики, синтаксиса, нотации и назначения. Значительное внимание уделено используемым в UML представлениям, приведен список стандартных элементов данного языка.

Освещены основы объектно-ориентированной концепции и унифицированный язык моделирования UML. Проанализированы особенности моделирования разных аспектов системы, в частности, структуры, динамики, интерактивного взаимодействия, архитектуры, а также технология моделирования, основанная по прецедентах. Приведены примеры трансляции элементов UML - моделей в код на языке программирования JAVA.

Індекс рубрикатора НБУВ: З973-018.123.2UMLя73-1 + З970.41-02я73-1

Рубрики:

Комп'ютери та програмування

Інформаційні системи

Шифр НБУВ: ВА682375 Пошук видання у каталогах НБУВ 

Предложен подход к адаптации технологии MDA для моделирования цифровых систем, в частности управляющих автоматов, и разработана методика применения UML в качестве языка описания системы.

Розглянуто методику проведення кількісної оцінки діаграм, приведено критерії оцінки залежно від типів та кількості зв'язків.

Індекс рубрикатора НБУВ: З973-018.123.2

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

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

Предложено математическое описание семантики процедурного конструкта Stub в языке параллельного моделирования UCM с применением инсерционного подхода, основанного на взаимодействии сред и погруженных в них агентов.

Предложена математическая семантика плоских многопотоковых моделей языка UCM. В качестве формализма использована инсерционная модель, обогащенная взаимодействием параллельных процессов через общую память. Разработана функция погружения параллельных процессов UCM в среду. Семантика предложена для символьной верификации многопотоковых моделей.

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

Рассмотрен новый язык блочного имитационного моделирования, который позволяет включать в общую схему моделирования блоки, полученные путем индуктивного моделирования как в виде функций, так и в виде автоматных преобразователей. Предложенный язык моделирования позволяет объединить в единой модели индуктивный и дедуктивный подходы к созданию имитационных моделей. Двухуровневая архитектура предложенного языка позволяет отделить уровень управления от уровня преобразования данные, чего нельзя получить при использовании агрегатного подхода.

Розглянуто об'єктно-орієнтовану графічну мову моделювання UML, яка використовується на етапі аналізу та проектування інформаційних систем з використанням діаграм і безпосередньо мову програмування. Зокрема, представлено концептуальне проектування мовою UML на основі специфікацій діаграм, рекомендацій та прикладів їх побудови. Розглянуто проблеми, методології та методи генерації вихідних текстів програм з візуальних моделей проекту; технологію моделювання за допомогою CASE-пакета Rational Software Architect IBМ.

Розглянуто існуючі підходи до розробки моделей предметних областей із метою з'ясування причин їх слабкого практичного застосування. Визначено важливі вимоги, яким повинна відповідати мова концептуального моделювання для її більш широкого практичного застосування. Розглянуто концепції мов семантичного моделювання. Використання семантики замість простих структурних конструкцій спрощує доступ і розуміння зацікавлених сторін, які не пов'язані з ІТ. Це допомагає перевірити валідність створених структур даних на відповідність вимогам реального бізнесу. Обговорено концепцію семантично неприводимого моделювання речень, яка може слугувати мостом між семантичним і концептуальним моделюванням. За результатами цих обговорень наведено мову концептуального моделювання AGILA MOD. Ця мова моделювання заснована на ідеї зображення семантично неприводимих речень як графічна модель. Таким чином, AGILA MOD може виступати як загальна платформа, з якої всі учасники проекту можуть домовитися про створення моста між впровадженням ІТ і бізнес-вимогами. Моделі можуть бути створені з семантично неприводимих речень, і їх можна читати назад у семантично неприводимі речення, що робить цю мову легкою для розуміння всіма учасниками проекту. Мова AGILA MOD заснована на відомій мові Entity-Relationship із введенням деяких спрощень. Додано декілька додаткових конструкцій, які також відносяться до добре відомих методів моделювання, що зводить зусилля до вивчення нових елементів майже до нуля. Деривація моделей AGILA MOD у логічну модель виконується за простими правилами деривації, що робить її менш трудомістким і, отже, менш витратним. Ця мова має бути основою для подальших досліджень, спрямованих на нові логічні моделі NoSQL, а також на створення узагальненої структури, яка надасть можливість максимально автоматизувати процедуру деривації. Крім того, можливість використання концепції багатоваріантної персистентності в поєднанні з AGILA MOD і створення зручного API повинні бути розглянуті в майбутніх дослідженнях.

Запропоновано підхід формальної верифікації UML 2,0 через відображення OWL-DL в UML 2,0. Розроблено оригінальний метод до відображення OWL-DL в UML 2,0 через дескриптивну логіку. Забезпечено повноту відображення UML-OWL через стереотипи та мічені значення UML 2,0 на рівні М0, М1 метамоделі МОF. Запропоновано модель інформаційного об'єкта для семантичної електронної бібліотеки, яка побудована з використанням мови UML. Здійснено перевірку запропонованої моделі шляхом відображення моделі UML в OWL з наступною валідацією побудованої онтології за допомогою різонерів.