Runtime model validation with parallel object constraint language

Abstract

In software engineering, model-based development is gaining ground as reliability must be provided while the development time needs to be decreased. As systems modeled become larger, validation methods need to perform better to offer reasonable response times to model checking queries. Our work extends OCL with parallel evaluation features in a way that multi-threaded and sequential programming constructs are interchangeable. To provide a validated parallelization, the sequential and parallel evaluation of OCL expressions has been formalized and analyzed for equivalence with the Communicating Sequential Processes language. The achieved performance gain with parallelization heavily depends on the model size and the appropriate selection of parallelized code parts, measurement results have been concluded in a case study.