Prise en compte des propriétés objets de réciprocité en B - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2005

Prise en compte des propriétés objets de réciprocité en B

Ninh Thuan Truong
  • Fonction : Auteur
  • PersonId : 830522
Jeanine Souquières

Résumé

Les approches de transformation d'UML vers B permettent, lors du développement de spécifications, de bénéficier des avantages de l'approche orientée objet et d'une méthode formelle. Dans une approche objet, une machine abstraite B est vue comme une classe. Il est à noter que les clauses d'assemblage entre machines abstraites proposées par la méthode B sont des relations unidirectionnelles, alors que les relations entre classes dans les approches objets sont soit unidirectionnelles, soit bidirectionnelles. Nous proposons d'exprimer des relations bidirectionnelles entre machines abstraites B avec un outil support pour la génération des nouvelles obligations de preuve associées.
Fichier non déposé

Dates et versions

hal-00009105 , version 1 (03-10-2005)

Identifiants

  • HAL Id : hal-00009105 , version 1

Citer

Ninh Thuan Truong, Jeanine Souquières. Prise en compte des propriétés objets de réciprocité en B. 2005. ⟨hal-00009105⟩
66 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More