Person

Andrey Naumenko

This person is no longer with EPFL

Related publications (17)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm

Alain Wegmann, Andrey Naumenko

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 ...

2007

Two Approaches in System Modeling and Their Illustrations with MDA and RM-ODP

Alain Wegmann, Andrey Naumenko

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 ...

2003

Triune Continuum Paradigm and Problems of UML Semantics

Alain Wegmann, Andrey Naumenko

We present the results of our research that is positioned in the domain of system modeling. In particular, we present an object-oriented paradigm that provides a logically rigorous and complete theoretical base for various existing object-oriented framewor ...

2003

The Role of Tarski’s Declarative Semantics in the Design of Modeling Languages

Alain Wegmann, Andrey Naumenko

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. ...

2003

Triune Continuum Paradigm

Andrey Naumenko

This thesis presents the structural organization, theoretical foundations and basic application principles of Triune Continuum Paradigm, an original paradigm applicable to object-oriented modeling. The paradigm defines a metamodeling structure efficient in ...

EPFL2002

Triune Continuum Paradigm: a paradigm for General System Modeling and its applications for UML and RM-ODP

Andrey Naumenko

2002

A Metamodel for the Unified Modeling Language

Alain Wegmann, Andrey Naumenko

Nowadays models, rather than code, become the key artifacts of software development. Consequently, this raises the level of requirements for modeling languages on which modeling practitioners should rely in their work. A minor inconsistency of a modeling l ...

2002

A metamodel for the Unified Modeling Language: critical analysis and solution

Alain Wegmann, Andrey Naumenko

2002

Formal Foundations of General System Modeling

Alain Wegmann, Andrey Naumenko

We present an approach to the definition of an object-oriented modeling paradigm done in the scope of general system modeling. The paradigm includes a formally defined metamodel and its supporting philosophical and natural science foundations. The metamode ...

2002

Proposal for a formal foundation of RM-ODP concepts

Alain Wegmann, Andrey Naumenko

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 ...

2001