Формальна основа для програмної моделі для трансформаційного моделювання

• Дата: 2018
• Автор: Chebanyuk, O.V.
• Формат: Стаття
• Мова: English
• Опубліковано: Інститут програмних систем НАН України 2018
• Теми: Software Model; Software Model Transformation; Graph Transformation; Model-Driven Development; First-order logic; Second-order logic; UML; UDC 004.415.2.045 (076.5); модель программного обеспечения; трансформация моделей программного обеспечения; графовая трансформация; разработка; управляемая моделями; логика первого порядка; логика второго порядка; УДК 004.415.2.045 (076.5); модель програмного забезпечення; трансформація моделей програмного забезпечення; графова трансформація; розробка; що керується моделями; логіка першого порядку; логіка другого порядку; UML
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/274
• Назва журналу: Problems in programming

Software model transformation operations are central operations in Model-Driven approaches. In order to represent software models, graphical modeling notations, for example UML, are used. Quality of software model, obtained after transformation, influences on further operations with this model. Thus...