Veröffentlichung

Titel:

Partial Evaluation of OCL Expressions

AutorInnen:

Bastian Ulke
Friedrich Steimann
Ralf Lämmel

Kategorie:

Konferenzbandbeiträge

erschienen in:

MoDELS 2017: 63-73

Abstract:

In the academic literature, many uses of the Object Constraint Language (OCL) have been proposed. By contrast, the utilization of OCL in contemporary modelling tools lags behind, suggesting that leverage of OCL remains limited in practice. We consider this undeserved, and present a scheme for partially evaluating OCL expressions that allows one to capitalize on given OCL specifications for a wide array of purposes using a single implementation: a partial evaluator of OCL.

Download:

electronic edition via DOI (open access)