METHOD FOR BILATERAL SYNCHRONIZATION OF A UML MODEL WITH TWO REPRESENTATIONS BASED ON INCREMENTAL UPDATES
DOI:
https://doi.org/10.35546/kntu2078-4481.2025.3.2.30Keywords:
UML, подання, синхронізація моделей, інкрементальне оновлення, консистентність, граф залежностейAbstract
The article presents a formal method for bilateral synchronization of a UML model with two views stored in separate formats: the structural view is implemented as JavaScript object notation, and the behavioral view is implemented in the XMI cross-platform exchange format using a specialized profile. The main goal of the research is to ensure the consistency of both views in the process of model evolution based on invariant validation and incremental updating. The paper describes the mathematical formalization of sets of structural and behavioral elements, as well as the correspondence between them, which is implemented using traceable links. A mechanism for tracking changes in the behavioral part of the model has been developed with the construction of a dependency graph, which allows determining a subset of elements that require re-checking of invariants. The proposed model verification method is based on consistency invariants and provides formal guarantees of semantic correspondence. As part of the study, an experimental evaluation of the proposed method was carried out on a set of test UML models that simulate typical business processes in the field of e-commerce, in particular order processing, shopping cart management, user authorization, and transaction execution. The models included various types of behavioral diagrams, including state diagrams for describing order lifecycles, activity diagrams for modeling the logic of sequential execution of actions, and sequence diagrams for representing interaction scenarios between system objects. By using models with realistic interaction scenarios, the method’s ability to detect and localize consistency violations resulting from partial changes in both structural and behavioral view was tested. The results showed a significant reduction in the number of checks compared to full validation. The proposed approach is compatible with existing UML modeling tools and can be integrated into CI/CD and evolutionary architecture analysis processes.
References
A systematic identification of consistency rules for UML diagrams / D. Torre et al. Journal of Systems and Software. 2018. Vol. 144. P. 121–142. URL: https://doi.org/10.1016/j.jss.2018.06.029
Cicchetti A., Ciccozzi F., Pierantonio A. Multi-view approaches for software and system modelling: a systematic literature review. Software and Systems Modeling. 2019. Vol. 18, no. 6. P. 3207–3233. URL: https://doi.org/10.1007/s10270-018-00713-w
Stevens P. Bidirectional model transformations in QVT: semantic issues and open questions. Software & Systems Modeling. 2008. Vol. 9, no. 1. P. 7–20. URL: https://doi.org/10.1007/s10270-008-0109-9
Formal analysis of model transformations based on triple graph grammars / F. HERMANN et al. Mathematical Structures in Computer Science. 2014. Vol. 24, no. 4. URL: https://doi.org/10.1017/s0960129512000370
Buchmann T., Westfechtel B. Using triple graph grammars to realise incremental round‐trip engineering. IET Software. 2016. Vol. 10, no. 6. P. 173–181. URL: https://doi.org/10.1049/iet-sen.2015.0125
Mens T., Van Der Straeten R. Incremental Resolution of Model Inconsistencies. Recent Trends in Algebraic Development Techniques. Berlin, Heidelberg, 2007. P. 111–126. URL: https://doi.org/10.1007/978-3-540-71998-4_7
Oriol X., Teniente E. Incremental Checking of OCL Constraints with Aggregates Through SQL. Conceptual Modeling. Cham, 2015. P. 199–213. URL: https://doi.org/10.1007/978-3-319-25264-3_15
Knapp A., Mossakowski T. Multi-view Consistency in UML: A Survey. Graph Transformation, Specifications, and Nets. Cham, 2018. P. 37–60. URL: https://doi.org/10.1007/978-3-319-75396-6_3 (date of access: 11.08.2025).
Komleva N. O., Nikitchenko M. I. Method for Incremental Control of Consistency Between Structural and Behavioral Views of Software Architecture. ААІТ. 2025. Vol. 8, no. 2. P. 162–177. URL: https://doi.org/10.15276/aait.08.2025.11
Комлева Н. О., Нікітченко М. І. Структурне подання UML-метамоделі у форматі JSON. Інформатика та математичні методи в моделюванні. 2025. Том 15, № 2. С. 205–217. URL: https://doi.org/10.15276/imms.v15.no2.205
Комлева Н. О., Нікітченко М. І. Поведінкове подання у форматі XMI в межах UML-метамоделі з двома поданнями. Вісник Хмельницького національного університету. Технічні науки. 2025. Том 5 (Подано до друку).
Нікітченко М. І. Аналіз форматів збереження UML-моделей у сучасних CASE-засобах. Технології та суспільство: взаємодія, вплив, трансформація : матеріали IV Міжнар. наук. конф. (Чернігів, 20 червня 2025 р.). Чернігів, 2025. URL: https://doi.org/10.62731/mcnd-20.06.2025
