RoclET – A Tool for Wrestling with OCL Specifications
Jeanneret, Cédric; Eyer, Leander; Marković, Slaviša; Baar, Thomas
2006

Files

Abstract

In this paper, we describe the architecture and the functionality of our own OCL tool called RoclET. Besides standard features of OCL tools such as editing of class and object diagrams and parsing of OCL assertions (invariants, pre-/post-conditions), our tool supports also the evaluation of OCL constraints in a given system snapshot (object diagram), refactoring of UML/OCL models, and impact analysis. RoclET is deployed in form of an Eclipse plugin.

Details

Title RoclET – A Tool for Wrestling with OCL Specifications
Author(s) Jeanneret, Cédric ; Eyer, Leander ; Marković, Slaviša ; Baar, Thomas
Conference Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October, 2006
Date 2006
Laboratories LGL
Record Appears in Scientific production and competences > Archives > I&C - School of Computer and Communication Sciences > LGL - Software Engineering Laboratory
Work produced at EPFL
Published
Posters

Actions

Preview