Skip to Main content Skip to Navigation
Theses

Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information

Abstract : Semi-formal and formal notations being complementary, their joint use could define an interesting framework in order to take advantage of their good points by reducing their drawbacks. On the one hand, semi-formal notations which are imprecise are good communication vectors with affordable training cost ; on the other hand, formal languages bring precision and their reasoning abilities which miss to semi-formal notations. In this work, we propose a translation approach from semi-formal object models to formal specifications in Z and Object-Z so as to offer a powerful integration of these two kinds of specifications. We want to make our proposals the most useful possible by showing three established advantages : a methodological guidance to express constraints annotating an object model ; an help to check the models and their constraints and informal reasoning about the semantics of simple models. We also have developed a tool, RoZ that supports our approach by making semi-formal and formal notations live together. Finally, we study another integration approach, the consistency checking by meta-modelling for which we propose consistency rules between the object model and Z. This work enables us to compare this approach with our translation strategy to understand their advantages and drawbacks.
Document type :
Theses
Complete list of metadata

Cited literature [139 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00006742
Contributor : Thèses Imag <>
Submitted on : Tuesday, August 24, 2004 - 4:29:49 PM
Last modification on : Friday, November 6, 2020 - 4:10:03 AM
Long-term archiving on: : Friday, April 2, 2010 - 8:20:42 PM

Identifiers

  • HAL Id : tel-00006742, version 1

Collections

UJF | IMAG | CNRS | UGA

Citation

Sophie Dupuy. Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2000. Français. ⟨tel-00006742⟩

Share

Metrics

Record views

424

Files downloads

365