Andrey Naumenko

Learn More
The development of business and information systems requires a significant amount of modeling. The current modeling languages and tools have difficulties supporting the modeling of systems spanning through multiple organizational levels. The use of inadequate modeling abstractions is one of the important causes for these difficulties. This paper proposes an(More)
This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is to clarify the RM-ODP modeling framework to make it more accessible to modelers such as system architects, designers and implementers, while opening the way for the formal verification of(More)
We explain two approaches to the design of system modeling frameworks and perform their comparative analysis. The analysis familiarizes the reader with strengths and weaknesses of the approaches, and thus helps to grasp the preferences for their practical applications. The first of the approaches is illustrated with the example of Model Driven Architecture(More)
This paper focuses on Tarski's declarative semantics and their usefulness in the design of a modeling language. We introduce the principles behind Tarski's approach to semantics and explain what advantages this offers in the context of modeling languages. Using sentential logic we demonstrate the necessity and sufficiency of Tarski's semantics for(More)
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a satisfactory formalization of its proposed conceptual framework. We report on the definition and implementation of a concrete resolution for this challenge: a single consistent(More)