Location of Repository

Experiences with the UML/OCL-Approach in Practice and Strategies to Overcome Deficiencies

By Thomas Baar

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-specific problems but give insights into how to handle formal specification, modeling, implementation, and verification issues within a single framework. The implementation of the identified strategies and their integration into a widely used commercial CASE tool is currently under way within the KeY project

Year: 2000
OAI identifier: oai:CiteSeerX.psu:10.1.1.32.541
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://i12www.ira.uka.de/~baar... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.