Faculté informatique et communications IC, Section des systèmes de communication, Institut de systèmes de communication ISC (Laboratoire de modélisation systémique LAMS)

Triune Continuum Paradigm : a paradigm for general system modeling and its applications for UML and RM-ODP

Naumenko, Andrey ; Wegmann, Alain (Dir.)

Thèse sciences Ecole polytechnique fédérale de Lausanne EPFL : 2002 ; no 2581.

Ajouter à la liste personnelle
    Summary
    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 the scope of general system modeling, in particular for object-oriented frameworks. This structure is rigorous and at the same time flexible. It allows the definition of formal ontologies for various specific object-oriented frameworks, for example for "Unified Modeling Language" (UML) or for "Reference Model of Open Distributed Processing" (RM-ODP is an ISO/ITU standard). Thus different existing frameworks, like UML or RM-ODP, can benefit from the logical rigor, internal consistency, interpretation coherency, formal presentation and solid theoretical foundations of the defined paradigm. Adoption of this paradigm allows the resolution of crucial problems existing in these different object-oriented frameworks. The paradigm is formally presented and realized in a computer-interpretable form on the example of ontology describing the RM-ODP conceptual framework. Thus the paradigm realizes an important result that was never achieved previously: a single consistent formalization of the RM-ODP standard conceptual framework. This formalization presents a concrete example of formal ontology for general system modeling. The paradigm is also applied on UML. This application allowed the presentation of theoretical foundations that are necessary for the understanding and definition of the UML metamodel. This thesis is useful to readers who are interested in the fundamentals of system analysis. It can be particularly interesting to the UML semantics specialists, to the RM-ODP experts, and to ontological engineers.
    Résumé
    Cette thèse présente l'organisation structurelle, les fondements théoriques et les principes de base pour les applications du Paradigme de Triune Continuum, un paradigme original applicable à la modélisation orientée objet. Le paradigme définit une structure de meta-modélisation applicable à la modélisation générale des systèmes et en particulier aux systèmes orientés objet. Cette structure est rigoureuse et, en même temps, flexible. Elle permet la définition d'ontologies formelles applicable dans des contextes spécifiques comme "Unified Modeling Language" (UML) ou "Reference Model of Open Distributed Processing" (RM-ODP est un standard ISO/ITU). Ainsi les différents systèmes existants, comme par exemple UML ou RM-ODP, peuvent bénéficier de la rigueur logique, de la cohérence interne, de la cohérence des interprétations, de la présentation formelle et des fondements théoriques solides du paradigme. L'adoption de ce paradigme permet de résoudre des problèmes cruciaux existant dans ces différents systèmes orientés objet. Le paradigme est présenté formellement et illustré par un exemple d'une ontologie qui décrit formellement les concepts présents dans RM-ODP. Cette ontologie est dans une forme interprétable par des ordinateurs. Ainsi le paradigme réalise un résultat important, qui n'a jamais été atteint auparavant : une formalisation unique et cohérente de RM-ODP. Cette formalisation présente un exemple concret de ontologie formelle pour la modélisation générale des systèmes. Le paradigme est aussi appliqué à UML. Il permet de trouver les bases théoriques nécessaire pour comprendre et définir le meta-modèle de UML. Cette thèse est utile pour les lecteurs qui sont intéressée par les fondements de la modélisation de systèmes. Elle peut être particulièrement intéressante pour les spécialistes de la sémantique de UML, pour les experts de RM-ODP et pour les ingénieurs spécialistes en ontologies.