Accéder directement au contenu Accéder directement à la navigation
Nouvelle interface
Communication dans un congrès

Prototyping an Inconsistency Checking Tool for Software Process Models

Abstract : Software process modeling has attracted much research effort in Software Engineering. However, there is little work reported for the verification of process models. In fact, the verification is often either performed by hand or it is left to the enacting mechanism to detect inconsistencies during execution. Since process models are becoming more and more powerful and complex, their verification is also becoming increasingly difficult and critical. Our proposition is that in the same way as we need process modeling to facilitate software manufacturing, we need special tools to help verify the consistency of software process models. This paper presents part of our research and our experience in designing and prototyping such a tool for the verification of software process models in the ALF project (Esprit No.1520). The tool helps verify the partial consistency of process models by statically detecting various inconsistencies. This prototype uses techniques developed in different fields such as compilation, constraint solving and logic. To our knowledge, this is the first tool of its kind designed for the static checking for process models.
Liste complète des métadonnées

https://hal.mines-ales.fr/hal-03690721
Contributeur : François Trousset Connectez-vous pour contacter le contributeur
Soumis le : mercredi 8 juin 2022 - 15:14:06
Dernière modification le : jeudi 16 juin 2022 - 03:38:23
Archivage à long terme le : : vendredi 9 septembre 2022 - 19:24:13

Fichier

SEKE92-2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Jin-Kao Hao, Jean-Jacques Chabrier, Francois Trousset. Prototyping an Inconsistency Checking Tool for Software Process Models. Fourth International Conference on Software Engineering and Knowledge Engineering, 1992, Capri, Italy. pp.227-234, ⟨10.1109/SEKE.1992.227924⟩. ⟨hal-03690721⟩

Partager

Métriques

Consultations de la notice

7

Téléchargements de fichiers

4