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 ...

Get Advances in Computers now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.