Теми рефератів
> Реферати > Курсові роботи > Звіти з практики > Курсові проекти > Питання та відповіді > Ессе > Доклади > Учбові матеріали > Контрольні роботи > Методички > Лекції > Твори > Підручники > Статті Контакти
Реферати, твори, дипломи, практика » Новые рефераты » Уніфікована мова моделювання (UML)

Реферат Уніфікована мова моделювання (UML)





д Зазначити, что в самій спеціфікації UML існує багатая огріхів и протіріч: так, у работе [27] (Genova G., Llorens J., Quintana V. Digging into Use Case) розглядаються отношения включенням ї Розширення для варіантів Використання, в [29] (Gogolla M., Henderson-Sellera B. Analysis of UML Stereotypes within the UML Metamodel) аналізуються Стандартні стереотипи метамоделі UML. У работе [30] (Naumenko A., Wegmann A. A Metamodel for the Unified Modeling) Пропонується використовуват RMODP ((Reference Model Open Distributed Processing) [31] (RM-ODP Open Distributed Processing - Reference) для решение проблем мови. Відзначу, что відповідно до спеціфікації UML модель RM-ODP Виступає структурою, что безпосередно в пліває на архітектуру метамоделі мови (Розділ "Preface: Relationships to Other Models"). Крім того RM-ODP вікорістовується в MOF (Meta-Object Facility) для Керування типами. В [30] (Naumenko A., Wegmann A. A Metamodel for the Unified Modeling) ідентіфікуються три проблеми метамоделі UML и Пропонується їхнє решение на базі RM-ODP:

- структурний хаос семантики мови - "висока техніка, лаконічність и складність для розуміння новачка "; решение: Використання структурованих RM-ODP и Теорії тіпів Б. Расела;

- відсутність декларатівної семантики, суперечлівість семантики мови при опісі відносін между моделями, побудованімі з використаних мови, и безпосередно суб'єктів моделювання; решение: реалізація базової Концепції моделювання (Basic Modeling Concept);

- недостатнє теоретичне обгрунтування вікорістовуваної метамоделі мови UML; решение: пропонована в статьи Концепція моделювання на Основі RM-ODP, Теорії тіпів Б. Расела до інтерпретації формальних Вирахування уважається Повністю обгрунтованою.

У багатьох роботах, присвячений формалізації МОДЕЛІ ї метамоделі мови UML, розглядається не як така мова, а Деяка его підмова, формальна ї суворо структурованій. Так, в [32]/(Paige R., Ostroff J. Metamodelling and Conformance Checking with PVS) розглядаються BON (Business Object Notation, об'єктно-орієнтована мова моделювання, по суті співпадаюча з підмовою діаграм класів UML [33] (Walden K., Nerson J.-M. Seamless Object-Oriented Software Development) i PVS (Prototype Verification System, мова спеціфікацій, розроблено для автоматичного аналізу метамоделей мов моделювання [34] (Owre S., Shankar N., Rushby J., Stringer-Calvert D. The PVS Language Reverence Version 2). p> Результатом цієї роботи є повна формальна Специфікація метамоделі об'єктно-орієнтованого мови моделювання У ФОРМІ, прідатної для автоматичного аналізу. Однак BON у порівнянні з UML больше формалізованій и "Підігнаній" під умови розв'язування Завдання. p> Аналогічній підхід Використання в [35] (Overgaard G. Formal Specification of OO Modeling), де як платформа для формалізації Обраний формалізм Boom, что Складається з метамоделі ї мови формальних спеціфікацій Odal - простого суворо тіпізованої мови, семантика Якого задана в термінах так званого ПЂ-Вирахування. В [36] (Clark T., Evans A., Kent S. The Metamodelling Language Calculus: Foundation Semantics for UML) на Основі [37] (Cardeli L, Abadi M. A theory of Objects) розглядається формалізація мови MML (Metamodelling Language), что є підмножіною UML; ця формалізація запропонована авторами як база для Всього UML 2.0.

Нарешті, у работе [38] (Lellahi K. Conceptual Data Modeling: An Algebraic Viewpoint) демонструється застосовність алгебраїчного підходу для формального Опису ER-Діаграм (Entity-Relationship diagrams), что є аналогами діаграм класів UML.

Статті в комп'ютерних журналах.

Зупини докладніше на огляді лютневого, 2005 р. номери журналу Computer (IEEE Computer Society, V. 38, No 2, February 2005).

Темою лютневого номера журналу є "Керована моделями розробка програмного забезпечення " (" Model-Driven Software Development "). Представлено повноцінну тематичність добірку статей Із запитаних редактором, Дугласом Шмідтом (Douglas C. Schmidt, Vanderbilt University). [10]

об'ємна Вступна замітка редактора назівається "Керована моделями інженерія " (" Model-Driven Engineering "). У статьи дається Доповідна аналіз залежності ручної праці розроблювача програмного забезпечення від уровня абстракції мови програмірванія. Обговорюються факторі Виникнення програмного забезпечення з комп'ютерною підтрімкою (Computer-Aided Software Engineering, CASE), его ПЕРЕВАГА ї Недоліки. Піднімається питання складності популярних платформ проміжного програмного забезпечення J2EE,. NET и CORBA. Сітуацію НЕ рятує даже Використання опісів розгортання мовою XML. Багатообіцяючім підходом, спрямованостей на решение ціх проблем, є розробка технологий інженерії, керованої моделями, (Model-Driven Engineering, MDE). [10.1]

Перша основна стаття тематічної добіркі назівається "Розробка Додатків з Використання керованих моделями СЕРЕДОВИЩА розробки " (" Developing Applications ...


Назад | сторінка 7 з 11 | Наступна сторінка





Схожі реферати:

  • Реферат на тему: Розробка програмного забезпечення для інтерактивного диктанту з російської ...
  • Реферат на тему: Розробка інформаційної моделі автосервісу з використанням мови моделювання ...
  • Реферат на тему: Використання ситуацій при навчанні діалогічної мови на уроках англійської м ...
  • Реферат на тему: Розробка програмного забезпечення для навчальної і тестуючої системи &Лекси ...
  • Реферат на тему: Розробка програмного забезпечення системи синтезу парадигм слів англійської ...