inria-00100185, version 1
Building Conceptual Models by Knowledge Management Methodology
Nicolas Blanc d, 1Thomas Montroig d, 1Joseph Roumier a, 2Laurent Romary
b, 2Jacek Szymanski c, 3Denis Reboul d, 1
IEEE Mechatronics and Robotics - MechRob'2004 3 (2004) 1140-1145
Résumé : The article proposes to use an alternative approach to design and validation processes of loosely integrated distributed co-operating systems. The example of such a process constitutes the technological background of ITEA project PROTEUS. One of the major technical challenges of PROTEUS project consists in the development of a platform which would facilitate the integration, without major functional modifications, of existent software tools which originally are not designed to work in co-operation. The tools cannot be modified profoundly solely in view of their integration, only a supplementary layer of data interpretation can be introduced. The fact that the tools mustn't be modified in order to follow the integration requirements creates the need of a top level description. Commonly used UML[1] representation of overall tool service is not sufficient to provide distributed view on the co-operation scenarios. Most naturally the UML description is the best adapted when one attempts to obtain a semi automatic code generation. Yet, the UML description is not sufficient for formal verifications such as functional consistency proofs. In order to conciliate the divergent criteria it is proposed to use a higher level description language. This article intends to show the potential of knowledge management methodology used to build conceptual models of domains as a means for integration of UML representations of distributed systems.
- a – INPL
- b – INRIA
- c – ALSTOM
- d – CEGELEC
- 1 : CEGELEC (CEGELEC)
- CEGELEC
- 2 : LANGUE ET DIALOGUE (INRIA Lorraine - LORIA)
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
- 3 : ALSTOM (ALSTOM)
- ALSTOM
- Domaine : Informatique/Autre
- Mots-clés : maintenance – knowledge engineering – ontology – conceptual models || maintenance – ingénierie des connaissances – ontologie – modèles conceptuels
- Référence interne : A04-R-514 || montroig04a
- Commentaire : Colloque avec actes et comité de lecture. internationale.
- inria-00100185, version 1
- http://hal.inria.fr/inria-00100185
- oai:hal.inria.fr:inria-00100185
- Contributeur : Laurent Romary
- Soumis le : Mercredi 8 Mai 2013, 14:49:59
- Dernière modification le : Vendredi 10 Mai 2013, 14:09:50