Systematic Identification of Preconditions from Set-Based Integrity Constraints - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Systematic Identification of Preconditions from Set-Based Integrity Constraints

Résumé

La préservation des contraintes d’intégrité fait partie des problèmes soulevés lors de la conception d’un système d’information. Dans nos travaux antérieurs, nous avons défini une approche formelle qui génère des spécifications B à partir d’une description UML du système. Concrètement, la spécification B est composée d’un ensemble de variables d’état qui modélisent les données et d’une liste d’opérations qui représentent les transactions. Les contraintes d’intégrité sont alors exprimées comme des propriétés d’invariance. Jusqu’à présent, les opérations générées ne préservaient qu’une classe réduite de contraintes. Dans ce papier, nous décrivons une approche systématique afin d’identifier les préconditions pour une plus grande classe d’invariants B. L’approche proposée se base sur des règles de réécriture et de simplification que nous appliquons sur les invariants B.
Fichier non déposé

Dates et versions

hal-01125172 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125172 , version 1

Citer

Amel Mammar, Frédéric Gervais, Régine Laleau. Systematic Identification of Preconditions from Set-Based Integrity Constraints. INFORSID'06, Hammamet, Tunisie, Jan 2006, X, France. pp.595-610. ⟨hal-01125172⟩
10 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More