![]() it presents a Java-based partial evaluator for OCL invariants.In this context, our artifact delivers the following contributions: 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. By contrast, the utilization of OCL in contemporary modelling tools lags behind, suggesting that leverage of OCL remains limited in practice. Bastian Ulke, Friedrich Steimann and Ralf LämmelĪbstract (taken from the paper) - In the academic literature, many uses of the Object Constraint Language (OCL) have been proposed.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |