Constraints in C# using the OCL 2.0

D. Arnold, T. McClean, J.-P. Corriveau, and V. Radonjic (Canada)


Assertions, C#, Compiler, Contracts, OCL


The Object Management Group's Object Constraint Lan guage (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 con cepts; including properties, delegates and events. Integrating the OCL and C# together consists of devising not only a syn tactical integration but also a semantic one.

Important Links:

Go Back