Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Fabian Buettner Connect in order to contact the contributor
Submitted on : Friday, July 6, 2012 - 11:28:04 AM
Last modification on : Wednesday, April 27, 2022 - 4:11:03 AM
Long-term archiving on: : Sunday, October 7, 2012 - 2:25:29 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads