Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the łeUML\ge2001, October 1st, 2001 in Toronto, Canada. P-07, 57-68 (2001).

GI, Gesellschaft für Informatik, Bonn
2001


Editors

Andy Evans (ed.), Robert B. France (ed.), Ana M. D. Moreira (ed.), Bernhard Rumpe (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Using OCL beyond specifications

Dan Chiorean

Abstract


Despite of its important potential and role in defining a more rigorous modeling language and in designing and implementing safer applications, until today OCL was not used at its true value. Using the results obtained in implementing OCL support in ROCASE3, and taking into account the conclusions obtained testing the tools mentioned at the paper tries to analyze this state of facts. The requirements needed in order to obtain a strong OCL support are presented. The ROCASE OCL support beyond semantical analysis is presented by means of a real example. Finally the conclusions acquired in our activity are offered.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-335-0


Last changed 04.10.2013 17:52:55