 |
|
|
|
| HAL : hal-00009105, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
|
|
| Prise en compte des propriétés objets de réciprocité en B |
|
|
| Ninh Thuan Truong 1Jeanine Souquières 1 |
|
|
| (2005) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | DEDALE (LORIA) |
|
|
|
INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL) |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Logiciel mathématique |
| hal-00009105, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00009105 | |
| oai:hal.archives-ouvertes.fr:hal-00009105 | |
| Contributeur : Ninh Thuan Truong | |
| Soumis le : Lundi 3 Octobre 2005, 10:11:20 | |
| Dernière modification le : Lundi 3 Octobre 2005, 10:11:20 | |
