д Зазначити, что в самій спеціфікації 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 ...