Publication

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

Publications associées (79)

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

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

Analyzing Robustness of UML State Machines

UML State Machines constitute an integral part of software behavior specification within the Unified Modeling Language (UML). The development of realistic software applications often results in complex and distributed models. Hence, potential errors can be ...

2006

Correctly Defined Concrete Syntax for Visual Modeling Languages

The syntax of modeling languages is usually defined in two steps. The abstract syntax identifies modeling concepts whereas the concrete syntax clarifies how these modeling concepts are rendered by visual and/or textual elements. While the abstract syntax i ...

2006

RoclET– Refactoring OCL Expressions by Transformations

Slavisa Markovic, Cédric Jeanneret, Leander Eyer

The role of UML models in software development has changed considerably over the last years. While UML was used in its early days mostly as a notation for sketching ideas, developers more and more recognize now the value of a UML model as a formal document ...

2006

An RM-ODP Based Ontology and a CAD Tool for Modeling Hierarchical Systems in Enterprise Architecture

Alain Wegmann, Lam Son Lê

Enterprise Architecture (EA) requires modeling enterprises across multiple levels (from markets down to IT systems) i.e. modeling hierarchical systems. Our goal is to build a Computer Aided Design (CAD) tool for EA. To be able to build this CAD tool, we ne ...

2005

Definition of an Object-Oriented Modeling Language for Enterprise Architecture

Alain Wegmann, Lam Son Lê

In enterprise architecture, the goal is to integrate business resources and IT resources in order to improve an enterprises competitiveness. In an enterprise architecture project, the development team usually constructs a model that represents the enterpri ...

2005

The KeY Tool

KeY is a tool that provides facilities for formal specification and verification of programs within a commercial platform for UML based software development. Using the KeY tool, formal methods and object-oriented development techniques are applied in an in ...

Springer2005

Refactoring OCL Annotated UML Class Diagrams

Slavisa Markovic

Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current class diagram refactoring techniques concentrate on the diagrammatic part but n ...

2005

Composition of UML Described Refactoring Rules

Slavisa Markovic

Refactorings represent a powerful approach for improving the quality of software systems. A refactoring can be seen as a special kind of behavior preserving model transformation. The Object Constraint Language (OCL) together with the metamodel of Unified M ...

2004

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