Lightweight String Reasoning for OCL - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Lightweight String Reasoning for OCL


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.
Fichier principal
Vignette du fichier
Buettner2012ECMFA.pdf (273.08 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00715043 , version 1 (06-07-2012)


  • HAL Id : hal-00715043 , version 1


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. ⟨hal-00715043⟩
369 View
394 Download


Gmail Facebook X LinkedIn More