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

https://hal.inria.fr/hal-00715043
Contributor : Fabian Buettner <>
Submitted on : Friday, July 6, 2012 - 11:28:04 AM
Last modification on : Thursday, March 5, 2020 - 5:47:44 PM
Long-term archiving on: : Sunday, October 7, 2012 - 2:25:29 AM

File

Buettner2012ECMFA.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00715043⟩

Share

Metrics

Record views

744

Files downloads

737