A priori Verification of Product Models in Mechanical Design

  • Florence Sellini
  • Pierre-Alain Yvars


The research work presented in this article covers the constitution and reutilization of technical memory (i.e. company know-how and skill). The aim of the work in progress is to verify knowledge models in design aid systems. The declarative product Model is explained in the first section. In the second one, we present the knowledge required for verification and, finally, the contents and consistency of the approach proposed for the verification of the Models.


Mechanical Design Application Model Product Model Professional Knowledge Product Class 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    M. Ayel & M.-C. RoussetLa cohérence dans les bases de connaissances pages. Paris, Cépadues Eds. (1990).Google Scholar
  2. [2]
    S. Boyera, S. Tourtier et O. Coray — Simuler le comportement macroscopique d’un modèle conceptuel, JAVA, Sème Journées Validation des Systèmes à Base de Connaissances (1994).Google Scholar
  3. [3]
    Consortium DEKLAREConceptualisation of Design Analysis Methodology,,DEKLARE — Esprit Project 6522 (1993).Google Scholar
  4. [4]
    Consortium DEKLAREDEKLARE Small Book — ESPRIT Project 6522,Final Project Report, CEE (1995).Google Scholar
  5. [5]
    C. Djeraba — Composite objects and dependency relationships in engineering, Application of Artificial Intelligence in Engineering VI, Vol. 1: design, methods and technique, p. 6782 (1993).Google Scholar
  6. [6]
    J. Guyot, J.-P. Vaudet et S. Petitjean — Vers une caractérisation des outils de validation des systèmes à base de connaissances: application à deux outils, 11th International Conference in Experts Systems and their Applications, Avignon, France (1991).Google Scholar
  7. [7]
    C. Haouche-Gingins & J. Charlet — Une méthode pour tester les systèmes à base de connaissances par rapport à leur modèle conceptuel. Revue d’Intelligence Artificielle, Vol.: 11–n°4 (, p. 463–487 (1997).Google Scholar
  8. [8]
    T. Hoppe — Hypotheses Generation for Knowledge Validation, 9th European Conference on Artificial Intelligence–ECAI, Stockolm–Sweden, p. 354–356 (1990).Google Scholar
  9. [9]
    ILOG - Solver C++ v. 4.0 — Reference Manual. (1997).Google Scholar
  10. [10]
    ILOG - IlogRules, Reference Manual,,Ilog SA, Paris (1998).Google Scholar
  11. [11]
    P. Lefevre — La validation vue comme une tâche de résolution de problème à part entière: contribution au projet AIDE, PhD Thesis in Contrôle des systèmes, UTC, Compiègne (1997).Google Scholar
  12. [12]
    P.-A. Muller — Modélisation Objet avec UML. Eyrolles ed, 421 pages. PARIS (1997).Google Scholar
  13. [13]
    A. Saucier — Un modèle multi-vues du produit pour le développement et l’utilisation de systèmes d’aide à la conception en ingénierie mécanique, PhD Thesis in Mécanique, ENS de Cachan (1997).Google Scholar
  14. [14]
    F. Sellini — Contribution à la représentation et à la vérification de Modèles de connaissances produit en ingénierie d’ensembles mécaniques., PhD Thesis in génie industriel informatique, Ecole Centrale de Paris (1999).Google Scholar
  15. [15]
    F. Sellini & P.-A. Yvars — Modèles objet représentation déclarative du produit en conception mécanique. Revue L’Objet — Hermès, Vol.: 4 (2) (1998).Google Scholar
  16. [16]
    F. van Harmelen & A. ten Teije–Validation and Verification of conceptual models of diagnosis, EuroVaV’97–4th European Symposium on the Validation and Verification of Knowledge Based Systems, Leuven, Belgium, p. 117–128 (1997).Google Scholar
  17. [17]
    P.-A. Yvars & F. Sellini — KOMOD: A constraint based design support system for mechanical engineering, CIRP’99 — International CIRP Design Seminar, Enschede — Netherlands (1999).Google Scholar

Copyright information

© Springer Science+Business Media New York 1999

Authors and Affiliations

  • Florence Sellini
    • 1
  • Pierre-Alain Yvars
    • 2
  1. 1.Knowledge EngineringPSA Peugeot CitroënFrance
  2. 2.GRIIEM Research TeamISMCM-CESTIFrance

Personalised recommendations