Partial Evaluation of OCL Expressions

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 01 Sep 2017Publisher:IEEEJournal:2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)

Authors: Bastian Ulke; Friedrich Steimann; Ralf Lämmel;

doi: 10.1109/models.2017.31

Partial Evaluation of OCL Expressions

- Summary
- Metrics

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.

Related Organizations

University of Hagen
Germany
Rolf C. Hagen Group
Canada
Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
University of Koblenz and Landau
Germany

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	6
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average