Runtime model validation with parallel object constraint language

Authors:
Tamás Vajk;Zoltán Dávid;Márk Asztalos;Gergely Mezei;Tihamér Levendovszky
Affiliations:
Budapest University of Technology and Economics, Magyar Tudósok körútja, Budapest, Hungary;Budapest University of Technology and Economics, Magyar Tudósok körútja, Budapest, Hungary;Budapest University of Technology and Economics, Magyar Tudósok körútja, Budapest, Hungary;Budapest University of Technology and Economics, Magyar Tudósok körútja, Budapest, Hungary;Vanderbilt University, Suite, Nashville, TN
Venue:
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Year:
2011

Citing 10
Cited 0

Communicating sequential processes

Communicating sequential processes
Blending Object-Z and Timed CSP: an introduction to TCOZ

Proceedings of the 20th international conference on Software engineering
OpenMP: An Industry-Standard API for Shared-Memory Programming

IEEE Computational Science & Engineering
The Object Constraint Language: Getting Your Models Ready for MDA

The Object Constraint Language: Getting Your Models Ready for MDA
An Introduction to GCC

An Introduction to GCC
MapReduce: simplified data processing on large clusters

Communications of the ACM - 50th anniversary issue: 1958 - 2008
PAT: Towards Flexible Verification under Fairness

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Using Google App Engine

Using Google App Engine
Incremental Type Checking in OCL Compilers

ECBS-EERC '09 Proceedings of the 2009 First IEEE Eastern European Conference on the Engineering of Computer Based Systems
Incremental evaluation of OCL constraints

CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering

Quantified Score

Hi-index	0.00

Visualization

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.