Rechercher

[MGL06] Systematic Identification of Preconditions from Set-Based Integrity Constraints

Conférence Nationale avec comité de lecture : INFORSID'06, Hammamet, Tunisie, January 2006, pp.595-610,

Auteurs: A. Mammar , F. Gervais , R. Laleau

motcle:
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.

BibTeX

@inproceedings {
MGL06,
title="{Systematic Identification of Preconditions from Set-Based Integrity Constraints}",
author=" A. Mammar and F. Gervais and R. Laleau ",
booktitle="{INFORSID'06, Hammamet, Tunisie}",
year=2006,
month="January",
pages="595-610",
}