Ontology-Based Transformation and Verification of UML/OCL Constraints

In Software Engineering (SE), the graphical models specify the system's architecture, connection, and characteristics. New SE methods such as MDA utilize graphical models as a nucleus of all development activities. This paper presents the transformation and verification of class diagram and Object Constraint Language (OCL) and transformation algorithm from Class model to ontology in the continuity of our research on UML and ontology integration. The class diagram is transformed into ontology, and constraints specified through OCL are transformed into SPARQL.

Cultural identity as a resource for social development

The purpose of the article is to conceptualize the phenomenon of cultural identity as a resource for social development. The methodology is based on the dialectical interrelationship of the following methods: hermeneutic method – for reveal the essence of the phenomena «cultural code» and «cultural identity»; systematic-structural approach – for comprehending cultural identity as a complex system in its structural correlation; historical-comparative – to determine the transformation algorithm of the phenomenon. The scientific novelty consists in the analysis of cultural identity (individual and group) in the chronotope through the prism of the cultural code and the identification of an invariant basis that ensures the integrity of its structure during external and internal changes. Conclusions. The essence and structure of the cultural code as a moderator of cultural identity are revealed. The interpretation of cultural identity as a resource of social development from the perspective of the I–Another concept was carried out. The semantic transformations of cultural identity in the context of the entry of one culture into the axiosphere of the Another were analyzed. Key words: cultural code, cultural identity, acculturation, a transformation of cultural identity.