Treffer: СТРУКТУРНЕ ПОДАННЯ UML-МЕТАМОДЕЛІ У ФОРМА&#1058...

The paper considers the problem of formal representation of UML (Unified Modeling Language) models in an open format suitable for verification, transformation, and integration into software development engineering processes. The conceptual basis of the study is the UML metamodel, which includes two interrelated views: structural (defines objects and model relationships) and behavioral (describes activities, states, and sequences). This metamodel serves as the basis for incremental control of software architecture consistency. In this work, special attention is paid to the structural view of the UML metamodel, which is the basis for representing the system architecture in the form of interrelated object types. For this view, a formalized representation of key UML meta-entities, such as classes, attributes, associations, packages, components, and objects, is implemented in JSON (JavaScript Object Notation) format. The chosen view is based on the application of the JSON Schema standard, which allows for a clear description of valid structures, data types, named properties, and validation rules. As a result, a complete set of types and relationships has been constructed, which defines the allowed configuration of the UML model as a structured set of objects with clearly defined relationships between them. To support the syntactic and semantic integrity of this model, a system of formalized invariants has been formulated, which fixes critical constraints, in particular, requirements for identifiers, correct nesting of elements, strict typing of attributes, and the absence of cyclic dependencies in composite and inherited structures. This lays the foundation for a unified representation of structural models and further automated verification of their correctness. Some of the rules are implemented by the JSON schema itself, while more complex ones are implemented through external verification mechanisms. The proposed approach ensures a clear correspondence between abstract UML objects and their representation in an open format, which, in the long term, opens up the possibility of unified integration with other modeling tools, CI/CD, and code generation tools. The research focuses on formalism, transparency, and consistency with the UML specification, which are necessary to support incremental consistency control while ensuring compatibility between the components of the metamodel. [ABSTRACT FROM AUTHOR]