Skip to Main content Skip to Navigation
Master Thesis

Validation d’interprètes OCL

Abstract : The study of the conformity with the standard Ocl of tools Neptune and Topcased allowed to raise two main problems in the standard OCL: on one hand the processingof the values "null", OCL has to work in binary logic (Boolean algebra) as at present or does he have to evolve towards the ternary logic as the language SQL even quaternary or more with the vague logic? On the other hand the problem of the indéterminism of OCL through the requests using relations of order which are not specified as in the asSequence command order (). This study allowed to test tools Neptune and Topcased through campaigns of test by being inspired by the research of M.Gogolla [ GKB08a] and to correct Neptune. Some problems seemed concerning Topcased, in particular on the syntax of "iterate" and the typage of the values. The tests were realized thanks to the tool of test Salome TMF who was processed for that purpose.
Document type :
Master Thesis
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Cnam - Service Commun de la Documentation - Bibliothèque Centrale <>
Submitted on : Monday, November 10, 2014 - 11:13:24 AM
Last modification on : Saturday, February 8, 2020 - 11:54:02 AM
Long-term archiving on: : Wednesday, February 11, 2015 - 3:27:40 PM


  • HAL Id : dumas-01081621, version 1



Myriam Ballarin. Validation d’interprètes OCL. Système d'exploitation [cs.OS]. 2012. ⟨dumas-01081621⟩



Record views


Files downloads