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