Chapter Three
Advances in Applications of Object Constraint Language for Software Engineering
Atif A. Jilani; Muhammad Z. Iqbal; Muhammad U. Khan; Muhammad Usman Quest Laboratory, FAST-National University of Computer & Emerging Sciences, Islamabad, Pakistan
Abstract
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 ...
