Publication

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

Publications associées (34)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Composition for component-based modeling

Joseph Sifakis

We propose a framework for component-based modeling using an abstract layered model for components. A component is the superposition of two models: a behavior model and an interaction model. Interaction models describe architectural constraints induced by ...

2005

Practical Foundations of Business and System Specifications

Alain Wegmann, Pavel Balabko

In this work we consider the behavioral aspects of system modeling. In order to specify the behavior of a system, many different notations can be used. Quite often, different terms in these notations are related to the same element in a system implementati ...

Kluwer Academic Publishers2003

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

Operational ASM Semantics behind Graphical SEAM Notation

Alain Wegmann, Irina Rychkova, Pavel Balabko

The context of this paper is Enterprise Architecture (EA). EA is a multi-disciplinary approach that allows dierent specialists to design new business and IT systems and focuses on the integration of these systems. Our group develops a specic EA method that ...

2003

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

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

2002

Triune Continuum Paradigm

Andrey Naumenko

EPFL2002

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

Conceptual Modeling of Complex Systems Using an RM-ODP Based Ontology

Alain Wegmann, Andrey Naumenko

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

2001

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

A Formal Foundation of the RM-ODP Conceptual Framework

Alain Wegmann, Andrey Naumenko

2001