Constraints in C# using the OCL 2.0

The Object Management Group's Object Constraint Language (OCL) is part of the Unified Modeling Language (UML). The OCL is a formal language for the specification of behavioral constraints in software models. When models are transformed into executable code, such constraints are often lost or converted into non-executable comments. This paper examines the integration of the OCL with C# at the code level. The C# language introduces several new concepts; including properties, delegates and events. Integrating the OCL and C# together consists of devising not only a syntactical integration but also a semantic one