| Experiences with the UML/OCL-Approach in Practice and Strategies to Overcome Deciencies (2007) | |||||||||||||||
Abstract | |||||||||||||||
| Abstract. This paper is concerned with the practical usability of the Object Constraint Language (OCL). Pitfalls for untrained software developers are uncovered, and strategies for avoiding them are discussed. These strategies are not restricted to OCL-specic problems but give insights into how to handle formal specication, modeling, implementation, and verication issues within a single framework. The implementation of the identied strategies and their integration into a widely used commercial CASE tool is currently under way within the KeY project. | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||