Systematic Identification of Preconditions from Set-Based Integrity Constraints - Archive ouverte HAL Access content directly
Conference Papers Year : 2006

Systematic Identification of Preconditions from Set-Based Integrity Constraints

Abstract

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.
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-01125172 , version 1

Cite

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⟩
9 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More