• Aucun résultat trouvé

Vers la construction de spécifications multi-vues UML et B

N/A
N/A
Protected

Academic year: 2021

Partager "Vers la construction de spécifications multi-vues UML et B"

Copied!
2
0
0

Texte intégral

(1)

HAL Id: inria-00099500

https://hal.inria.fr/inria-00099500

Submitted on 26 Sep 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Vers la construction de spécifications multi-vues UML et B

Dieu Donné Okalas Ossami, Jeanine Souquières, Jean-Pierre Jacquot

To cite this version:

Dieu Donné Okalas Ossami, Jeanine Souquières, Jean-Pierre Jacquot. Vers la construction de spé-

cifications multi-vues UML et B. Manifestation des Jeunes Chercheurs du domaine des STIC 2003

-MAJECSTIC’03, 2003, Marseille, France. �inria-00099500�

(2)

Laboratoire lorrain de Recherche en Informatiqueet ses Applications Equipe DEDALE (Développement de spécifications)

Assistance à la construction de spécifications multi-vues UML et B

...

...

+ Op() attr: type

Class1 Class4

Class5 Class3

Class2

transformation règles de

Vue UML

Vue B flexibilité

bijectivité

cohérence par construction conformance aux métamodèles

décrit par "UNE"

partiellement écrite avec partiellement écrite avec

"Opérations de construction"

etc...

composition suppression modification

travaille sur travaille sur

"Opérations de construction"

modification suppression composition etc...

spécifieur Outil

MACHINE Class1

...

VARIABLES attr INVARIANT

attr : type INITIALISATION attr := 0 OPERATIONS

Op = PRE ... THEN ...END

END

Modèle Système

Spécification

UML B

représente

assistance au développement

adjonction

adjonction

1. Objectifs

– utiliser UML et B de façon complémentaire: faire usage du meilleur des deux formalismes,

– proposer un cadre de transformation et un environnement de développement interactif de spécifications par com- binaison de plusieurs formalismes (ici UML et B),

– faciliter la diffusion de B,

– documenter dynamiquement les projets B,

– apporter une reponse aux problèmes (incohérence, traçabilité, etc.) liés à l’évolution individuelle des différents documents de spécification d’un même système,

– concevoir un outil d’aide au développement de spécifications multi-vues UML et B.

2. Propriétés

– bijectivité des transformations: gestion du va et vient entre les différentes représentations,

– flexibilité: paramétrage des transformations (admettre aussi bien des transformations par défaut que celles sou- haitées par l’utilisateur),

– cohérence par construction: propagation des effets des modifications,

– conformance au métamodèle: contrôle systématique de la syntaxe et de la sémantique des constructions, – assistance au développement.

Okalas Ossami D., Jeanine Souquières et Jean-Pierre Jacquot

LORIA - UMR 7503, Campus scientifique, BP 239, 54506 Vandœuvre-lès-Nancy Cedex - France

{souquier, okalas, jacquot}@loria.fr

Références

Documents relatifs

Pour comparer statistiquement les performances entre les deux séries de classifications radiologiques (avec et sans WMs) et entre le classificateur et la première lecture

Saussure, Ferdinand de. La grammaire du gotique. Deux cours inédits.. 2 Le livre de Rousseau contient, en réalité, l’édition critique de deux cours basés sur des

La description d’un CLM, à l’aide de VIEW-IDL3 définit principalement les éléments suivants: le module de la classe composant logiciel multi-vues, son composant base, ses

L’analyse du réseau global des relations entre tous les stagiaires PE2 de l’IUFM montre que les groupes de référence sont des lieux d’échange et de relations parfois

- n’avoir inclus que des patients en première ligne de traitement (pas d’antécédent de chirurgie, chimiothérapie ou radiothérapie) traités à visée curative. Tous les

1) Il est possible de conceptualiser la notion de simulation collaborative 4D/nD de la construction et quelques exemples de travaux scientifiques existent à ce propos. 2)

L’inva- riant (pdb; orig) ⊆ sit ∧ (pdb; dest) ⊆ aut affirme qu’une porte ne sera débloquée que pour une personne située dans le bâtiment origine de cette porte et que la

DURÉE DE LA PÉRIODE DE REPRODUCTION CHEZ LES FEMELLES DE LONISCOÏDE POR- CELLIO DILATATUS BRANDT SUIVANT LES CONDITIONS D’ÉLEVAGE : TEMPÉRATURE, PHOTOPÉRIODE ET GROUPEMENT... DURÉE