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.

Additional Metadata
Keywords Assertions, C#, Compiler, Contracts, OCL
Conference IASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005
Citation
Arnold, D. (Dave), McClean, T. (Toby), Corriveau, J, & Radonjic, V. (Vojislav). (2005). Constraints in C# using the OCL 2.0. Presented at the IASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005.