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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1145/2095654.2095663 | Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation |
Keywords | DocType | Citations |
parallel evaluation,appropriate selection,parallel object constraint language,development time,case study,communicating sequential processes language,sequential programming construct,model-based development,ocl expression,runtime model validation,parallel evaluation feature,model size,system modeling,model checking,model based development,choreography,object constraint language,model validation,software engineering | Conference | 3 |
PageRank | References | Authors |
0.43 | 5 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
tamas vajk | 1 | 66 | 7.77 |
Zoltán Dávid | 2 | 3 | 1.10 |
Márk Asztalos | 3 | 108 | 10.94 |
Gergely Mezei | 4 | 143 | 24.62 |
Tihamér Levendovszky | 5 | 185 | 14.96 |