January 2019
Intermediate to advanced
498 pages
15h 45m
English
Atif A. Jilani; Muhammad Z. Iqbal; Muhammad U. Khan; Muhammad Usman Quest Laboratory, FAST-National University of Computer & Emerging Sciences, Islamabad, Pakistan
Object Constraint Language (OCL) is a standard language defined by Object Management Group for specifying constraints on models. Since its introduction as part of Unified Modeling Language, OCL has received significant attention by researchers with works in the literature ranging from temporal extensions of OCL to automated test generation by solving OCL constraints. In this chapter, we provide a survey of the various works discussed in literature related to OCL with the aim ...
Read now
Unlock full access