Formal foundations for software model to model transformation operation

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2018
• Heft: 2-3
• Сторінки: 124-131
• ISSN: 1727-4907
• Автори та афіліації: O.V. Chebanyuk — National Aviation University — ORCID: 0000-0002-9873-6010
• 1. Verfasser: Chebanyuk, O.V.
• Format: Artikel
• Sprache: Englisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2018
• Schlagworte: Software Model; Software Model Transformation; Graph Transformation; Model-Driven Development; First-order logic; Second-order logic; UML; UDC 004.415.2.045 (076.5)
• Online Zugang: 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...