Lightweight String Reasoning for OCL

Fabian Buettner 1 Jordi Cabot 1
1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : Models play a key role in assuring software quality in the modeldriven approach. Precise models usually require the definition of OCL expressions to specify model constraints that cannot be expressed graphically. Techniques that check the satisfiability of such models and find corresponding instances of them are important in various activities, such as model-based testing and validation. Several tools to check model satisfiability have been developed but to our knowledge, none of them yet supports the analysis of OCL expressions including operations on Strings in general terms. As, in contrast, many industrial models do contain such operations, there is evidently a gap. There has been much research on formal reasoning on strings in general, but so far the results could not be included into model finding approaches. For model finding, string reasoning only contributes a sub-problem, therefore, a string reasoning approach for model finding should not add up front too much computational complexity to the global model finding problem. We present such a lightweight approach based on constraint satisfaction problems and constraint rewriting. Our approach efficiently solves several common kinds of string constraints and it is integrated into the EMFtoCSP model finder.
Type de document :
Communication dans un congrès
8th European Conference on Modelling Foundations and Applications July 2-5, 2012, Technical University of Denmark Kgs. Lyngby, Denmark, Jul 2012, Lyngby, Denmark. Springer, 2012
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00715043
Contributeur : Fabian Buettner <>
Soumis le : vendredi 6 juillet 2012 - 11:28:04
Dernière modification le : mercredi 11 avril 2018 - 01:51:20
Document(s) archivé(s) le : dimanche 7 octobre 2012 - 02:25:29

Fichier

Buettner2012ECMFA.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00715043, version 1

Citation

Fabian Buettner, Jordi Cabot. Lightweight String Reasoning for OCL. 8th European Conference on Modelling Foundations and Applications July 2-5, 2012, Technical University of Denmark Kgs. Lyngby, Denmark, Jul 2012, Lyngby, Denmark. Springer, 2012. 〈hal-00715043〉

Partager

Métriques

Consultations de la notice

376

Téléchargements de fichiers

273