UML & Incohérences

 UML & Inconsistencies

Objectifs

Le projet a pour but
  • d'identifier les types d'incohérences des modèles UML et
    exprimer les règles de cohérence ;
  • d'évaluer le risque de leur presence dans les modèles UML en terme
    • de vraisemblance, et
    • de gravité (difficulté à détecter) ;
  • de fournir des moyens de détection de l'ensemble de ces incohérences
    qu'elles concernent des aspects statiques ou dynamiques ;
  • de proposer des guides de modélisation
    • pour prévenir la présence des incohérences ou
    • pour faciliter leur détection.
 Objectives

The project aims at
  • Identifying the inconsistencies in UML models and
    expressing consistency rules;
  • Assessing the risk of their presence in UML models in terms of
    • likelihood, and
    • seriousness (difficulty to detect them)
  • Providing detection means of all these inconsistencies
    including structural and behavioural inconsistencies;
  • Proposing modelling guidelines
    • to prevent the presence of these inconsistencies
    • to make their detection easier.

Travaux
  • Juin 2005 : "Règles de cohérence UML 2.0", version 1.1 (194 pages). 650 règles de cohérence intra et inter-diagrammes.
    Aout 2005 : Erratum :
  • Juillet 2005 : estimation des risques d'incohérence par retour d'expérience issu d'analyse d'un modèle avionique.
  • Octobre 2005 : estimation des risques d'incohérence par
    interview d'experts.
  • Décembre 2005 : détection des incohérences structrelles.
  • Juin 2006 : détection des incohérences comportementales.
  • Septembre 2006 : application de l'outil de détection des incohérences comportementales à une application avionique.

En cours :
  • Estimation des risques d'incohérence par analyse (prévu pour juin 2007)

Etapes suivantes :
  • Développement de guides de modélisation permettant de prévenir ou de faciliter la détection des incohérences (recherche de financements)
  • Industrialisation du prototype de détection (recherche de financements)
 Activities
  • June 2005: "UML 2.0 consistency rules", version 1.1 (194 pages). 650 consistency rules in / between diagrams - The French version only available today -
    August 2005: Erratum
  • July 2005: assessment of the risks of incoconsistency by experience feedback from the analysis of an avionic model.
  • October 2005: assessment of the risks of incoconsistency by
    interviews of experts.
  • Décembre 2005: détection des incohérences structrelles
  • Juin 2006: détection behavioral inconsistencies.
  • Septembre 2006: application detection tool to behavioral inconconstencies of an avionic application.

In progress:
  • Estimation of the risks of inconsistencies by analysis (june 2007)

Next stages:
  • Development of modeling guidelines to prevent and to make the detection easier inconconstencies (founding are welcomed).
  • Industrialisation of the inconsistency detection prototype (founding are welcomed).
 



Equipe / Team


Roberto LOPEZ TORO

Hugues MALGOUYRES

Gilles MOTET

Jean-Pierre SEUMA VIDAL


 

Publications (to access to additional pieces of information)

MOTET G. (Invited Paper) [Conference]
"Consistency checking: A way to detect faults in systems from metamodel rules", Center of Excellence of Keio, Tokyo, Japan, Keio university publisher (November 2006)
Deals with the relationships between consistency and metamodeling.

MALGOUYRES H., MOTET G. [Conference]
"A UML Consistency Verification Approach Based on Metamodeling Formalization", Symposium on Applied Computing, Dijon, France, ACM publishers (April 2006)
Deals with the detection of structural consistencies and its relationships with the metamodel.

LOPEZ TORO R., SEUMA VIDAL J.-P., MALGOUYRES H., MOTET G. [Conference]
"UML Inconsistencies Assessment", 3rd European Congress Embedded Real-Time Software (ERTS06), Toulouse, France (January 2006)
Deals with the assessment of the consistency rules based on interviews of experts.

LOPEZ TORO R., SEUMA VIDAL J.-P., MOTET L.-M., MALGOUYRES H., LE SAUX T., MOTET G. [Conference]
"Estimation of UML Inconsistencies in Avionics Domain", Workshop on Consistency in Model Driven Engineering, in European Conference on Model Driven Architecture, Nuremberg, Germany (November 2005)
Deals with the assessment of the consistency rules based on experience feedbacks.

MOTET G. [Conference]
"Vérification de cohérence des modèles UML 2.0", 1ère journée thématique "Modélisation de Systèmes avec UML - SysML et B-Système", Association Française d'Ingénierie Système, Toulouse, France (June 2005)

SEUMA VIDAL J.-P., MALGOUYRES H., MOTET G. [Conference]
"Identification de règles de cohérence d'UML 2.0", Journée SEE "Systèmes Informatiques de Confiance" sur le thème "Vérification de la cohérence de modèles UML", Paris, France (March 2005)

SEUMA VIDAL J.-P., MALGOUYRES H., MOTET G. [Conference]
"UML 2.0 Consistency Rules Identification", International Conference on Software Engineering Research and Practice (SERP'05), Las Vegas, USA, CSREA Press (June 2005)
Deals with the identification of the consistency rules.

 

Gilles Motet
DGEI / INSA
135 Avenue de Rangueil
31077 Toulouse cedex 4
France
Contact au LESIA


Gilles.Motet@insa-toulouse.fr
        +33/0 5 61 55 98 18