Cover Image

Formal foundations for software model to model transformation operation

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...

Full description

Saved in:

Bibliographic Details
Date:	2018
Main Author:	Chebanyuk, O.V.
Format:	Article
Language:	English
Published:	PROBLEMS IN PROGRAMMING 2018
Subjects:	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 Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/274
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

An approach to behavioral software models refinement using design patterns
by: Chebanyuk, O.B.
Published: (2025)

Domain engineering approach of software requirements analysis
by: Chebanyuk, O.V., et al.
Published: (2020)

Agile requirement analysis approach using artificial intelligent technologies
by: Chebanyuk, O.V.
Published: (2024)

Metrics selection for the software properties
by: Dyshlevyi, O.P.
Published: (2026)

Monitoring design flaws in object-oriented software
by: Nechay, A.S.
Published: (2026)

Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
by: Chebanyuk, E.V., et al.
Published: (2015)

An approach of intelligent searching of information in texts
by: Chebanuyk, O.V.
Published: (2023)

On the peculiarities of using sparse matrices in problems of mathematical modeling
by: Khimich, O.M., et al.
Published: (2023)

FUZZY SECOND ORDER SLIDING MODE CONTROL OF A UNIFIED POWER FLOW CONTROLLER
by: Hinda, Abdellatif, et al.
Published: (2019)

The system of models of domain "Software Metatechnology"
by: Morentsov, Y.I.
Published: (2018)

Features of Software Solutions in the Field of Verification and Validation of Numerical Models
by: Гейко, О. О., et al.
Published: (2025)

Hybrid autotuning model with statistic modelling
by: Doroshenko, А.Yu., et al.
Published: (2018)

Modelling of metasomatosis in radiogenic rocks as a factor of transformation of their properties
by: Baranov, V.A., et al.
Published: (2020)

Toward software artifacts ecosystem
by: Sydorov, N.A.
Published: (2021)

Description model of programming style ecosystem
by: Sydorov, N.A., et al.
Published: (2020)

Toward software engineering ecosystems definition
by: Sydorov, M.O.
Published: (2023)

The software tool of constructive-synthesizing modeling
by: Shynkarenko, V.I., et al.
Published: (2024)

Ecosystem research in software engineering
by: Sydorov, N.A.
Published: (2025)

Parallel software auto-tuning using statistical modeling and machine learning
by: Doroshenko, А.Yu., et al.
Published: (2018)

Formal foundations for software model to model transformation operation
by: O. V. Chebanyuk
Published: (2018)

Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)

Reproducing of the humidity curve of power transformers oil using adaptive neuro-fuzzy systems
by: Vasilevskij, V.V., et al.
Published: (2021)

On the semigroup of injective transformations with restricted range that equal gap and defect
by: Singha, Boorapa
Published: (2025)

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)

Impact of fractional filter in PI control loop applied to induction motor speed drive
by: Hassainia, S., et al.
Published: (2022)

Tete-a-tete project: software engineering tools supporting understanding
by: Hrytsay, V.P., et al.
Published: (2015)

On inverse subsemigroups of the semigroup of orientation-preserving or orientation-reversing transformations
by: Catarino, Paula, et al.
Published: (2015)

Quasi-idempotents in finite semigroup of full order-preserving transformations
by: Imam, A. T., et al.
Published: (2023)

Towards ecosystem research in the software engineering
by: Sydorov, M.O.
Published: (2024)

A software technology providing tuning procedures of a quantitative model of human hemodynamics
by: Grygoryan, R.D., et al.
Published: (2021)

AI landscape of software engineering
by: Nesterenko, O.V., et al.
Published: (2026)

Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)

A methodology and architecture of the platform for modeling interdependencies in critical infrastructures when cascading effects occur
by: Сенченко, В. Р., et al.
Published: (2025)

Software engineering and big data software
by: Sydorov, N.O., et al.
Published: (2023)

Models of concurrent program running in resource constrained environment
by: Rahozin, D.V.
Published: (2020)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
by: Parasyuk, I.N., et al.
Published: (2015)

Software technology for conducting simulation experiments with mathematical models of physiological systems
by: Aksnova, T.V.
Published: (2018)

Method of dynamic parameters for mathematical modelling of switching processes of valves closing of semiconductor converters
by: Vasyliv, K. M.
Published: (2022)

50 years of software engineering
by: Sydorov, N.A.
Published: (2019)