OCL Syntax Checker

Question

Ich habe nach einem vorhandenen Open-Source-Syntax-Checker für die Object Constraint Language (OCL) gesucht. Ich beabsichtige, den Syntax-Checker mit zusätzlicher Funktionalität zu erweitern, die im OCL-Standard nicht vorhanden ist, um besser auf meine Verwendung mit Entity-Relationship-Diagrammen anwendbar zu sein. Die meisten Projekte, die ich gefunden habe, basieren jedoch auf der Eclipse Meta-Object Facility (MOF), während ich nur die Fähigkeit suche, die Grammatik eines OCL-Ausdrucks zu verifizieren (völlig unabhängig von irgendwelchen zugehörigen Klassendiagrammen usw.). Ich habe angefangen, die Quelle des Dresden OCL Toolkits (dresden-ocl.sourceforge.net) zu untersuchen, obwohl das neueste Toolkit auch für den Einsatz mit dem Eclipse MOF gedacht ist. Leider sind alle Downloads bei der Firma blockiert, für die ich arbeite, und es dauert 1-2 Tage, um die Erlaubnis für einen Download zu bekommen, also möchte ich wissen, ob irgendjemand mir in die richtige Richtung zeigen könnte, um zu finden, was ich bin Auf der Suche nach.

Vielen Dank im Voraus.

Mit freundlichen Grüßen,

Shona

Answer 1

Ich habe mit Dresden OCL für eine recht lange Zeit, und ich denke, es ist ein wirklich guter Ausgangspunkt für das, was man (natürlich will, ist es nicht perfekt , als ich das letzte Mal überprüft habe, hatte es immer noch Probleme mit der Erkennung einiger Mengenoperatoren oder Navigationsausdrücke aus Assoziationsklassen.

Sie können auch einen Blick auf die Eclipse-OCL-Stecker/in http://www.eclipse.org/modeling/mdt/downloads/?project=ocl Teil des Modellentwicklungstools die Initiative ergreifen

Zeiger auf andere Werkzeuge OCL unterstützt (nicht unbedingt Open Source) hier: http://modeling-languages.com/content/list-ocl-tools

Answer 2

Sie könnten auch interessiert sein, einen Blick auf andere Werkzeuge zu werfen, die OCL-Syntaxprüfung unterstützen, wie Octopus, erstellt von Jos Warmer und Anneke Kleppe, die Autoren der OCL-Spezifikationen sind.