Building Conceptual Models by Knowledge Management Methodology

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00100185
Contributor : Laurent Romary <>
Submitted on : Wednesday, May 8, 2013 - 2:49:59 PM
Last modification on : Monday, April 8, 2019 - 10:24:04 AM
Long-term archiving on : Friday, August 9, 2013 - 2:20:09 AM

Files

IEEE_Aachen.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00100185, version 1

Collections

Citation

Nicolas Blanc, Thomas Montroig, Joseph Roumier, Laurent Romary, Jacek Szymanski, et al.. Building Conceptual Models by Knowledge Management Methodology. IEEE Mechatronics and Robotics - MechRob'2004, IEEE Antennas and Propagation Society, 2004, Aachen, Germany. pp.1140-1145. ⟨inria-00100185⟩

Share

Metrics

Record views

282

Files downloads

213