OCL Składnia Checker

Question

Szukałem istniejącego open-source sprawdzania składni dla Object Constraint Language (OCL). Zamierzam rozszerzyć sprawdzanie składni o dodatkowe funkcje niedostępne w standardzie OCL, aby bardziej pasowały do ​​mojego użycia z diagramami relacji encji. Jednak większość projektów, które znalazłem, opiera się na metapoziomie Eclipse Meta Object Object (MOF), podczas gdy ja szukam jedynie możliwości sprawdzenia gramatyki wyrażenia OCL (całkowicie niezależnego od jakichkolwiek powiązanych diagramów klas itp.). Zacząłem szukać źródła Drezdeńskiego OCL Toolkit (dresden-ocl.sourceforge.net), mimo że najnowszy zestaw narzędzi jest również przeznaczony do użycia z Eclipse MOF. Niestety, wszystkie pliki do pobrania są blokowane w firmie, w której pracuję, a uzyskanie pozwolenia na pobranie wymaga 1-2 dni, więc chcę się dowiedzieć, czy ktoś może wskazać mi właściwy kierunek, aby znaleźć to, kim jestem. szukam.

Dziękuję bardzo z góry.

poważaniem,

Shona

Answer 1

Używam Dresden OCL od dłuższego czasu i myślę, że jest to bardzo dobry punkt wyjścia do tego, co chcesz (oczywiście nie jest doskonały , kiedy ostatnio to sprawdzałem, wciąż miałem problemy z rozpoznaniem niektórych operatorów lub wyrażeniem nawigacji z klas asocjacyjnych).

Można również spojrzeć na wtyczce Eclipse OCL/w http://www.eclipse.org/modeling/mdt/downloads/?project=ocl ramach inicjatywy narzędzi modelu rozwoju

wskaźniki do innych narzędzi wspomagających OCL (niekoniecznie open-source) tutaj: http://modeling-languages.com/content/list-ocl-tools

Answer 2

Możesz również zainteresować się innymi narzędziami do sprawdzania składni OCL, takimi jak Octopus, stworzonymi (?) Przez Jos'a Warmera i Anneke Kleppe, którzy są autorami specyfikacji OCL.