View in EDS PDF Full Text

СТРУКТУРНЕ ПОДАННЯ UML-МЕТАМОДЕЛІ У ФОРМАТ...

Saved in:
Bibliographic Details
Title: СТРУКТУРНЕ ПОДАННЯ UML-МЕТАМОДЕЛІ У ФОРМАТ...
Alternate Title: STRUCTURAL VIEW OF THE UML METAMODEL IN JSON FORMAT.
Authors: Комлева, Н. О.1 komleva@op.edu.ua, Нікітченко, М. І.1 maksym.nikitchenko@gmail.com
Source: Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì. 2025, Vol. 15 Issue 2, p205-217. 13p.
Subjects: Modeling languages (Computer science), Object-oriented methods (Computer science), Data integrity, Metadata, Computer software development, Conceptual models
Abstract: 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]
Copyright of Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì is the property of Odessa Polytechnic University and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 187259866
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: СТРУКТУРНЕ ПОДАННЯ UML-МЕТАМОДЕЛІ У ФОРМА&#1058...
– Name: TitleAlt
  Label: Alternate Title
  Group: TiAlt
  Data: STRUCTURAL VIEW OF THE UML METAMODEL IN JSON FORMAT.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Комлева%2C+Н%2E+О%2E%22">Комлева, Н. О.</searchLink><relatesTo>1</relatesTo><i> komleva@op.edu.ua</i><br /><searchLink fieldCode="AR" term="%22Нікітченко%2C+М%2E+І%2E%22">Нікітченко, М. І.</searchLink><relatesTo>1</relatesTo><i> maksym.nikitchenko@gmail.com</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Informatics+%26+Mathematical+Methods+in+Simulation+%2F+Informatika+ta+Matematičnì+Metodi+v+Modelûvannì%22">Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì</searchLink>. 2025, Vol. 15 Issue 2, p205-217. 13p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Modeling+languages+%28Computer+science%29%22">Modeling languages (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Object-oriented+methods+%28Computer+science%29%22">Object-oriented methods (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Data+integrity%22">Data integrity</searchLink><br /><searchLink fieldCode="DE" term="%22Metadata%22">Metadata</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+development%22">Computer software development</searchLink><br /><searchLink fieldCode="DE" term="%22Conceptual+models%22">Conceptual models</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: 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]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì is the property of Odessa Polytechnic University and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=187259866
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.15276/imms.v15.no2.205
    Languages:
      – Code: ukr
        Text: Ukrainian
    PhysicalDescription:
      Pagination:
        PageCount: 13
        StartPage: 205
    Subjects:
      – SubjectFull: Modeling languages (Computer science)
        Type: general
      – SubjectFull: Object-oriented methods (Computer science)
        Type: general
      – SubjectFull: Data integrity
        Type: general
      – SubjectFull: Metadata
        Type: general
      – SubjectFull: Computer software development
        Type: general
      – SubjectFull: Conceptual models
        Type: general
    Titles:
      – TitleFull: СТРУКТУРНЕ ПОДАННЯ UML-МЕТАМОДЕЛІ У ФОРМА&#1058...
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Комлева, Н. О.
      – PersonEntity:
          Name:
            NameFull: Нікітченко, М. І.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 04
              Text: 2025
              Type: published
              Y: 2025
          Identifiers:
            – Type: issn-print
              Value: 22235744
          Numbering:
            – Type: volume
              Value: 15
            – Type: issue
              Value: 2
          Titles:
            – TitleFull: Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì
              Type: main
ResultId 1