Naomi - OCL Validation Framework download

The Naomi project develops an OCL 1.5 interpretation and validation framework. Arbitrary model information is accessed via a model interface. The interface is extended to support OCL constraints on MOF compliant metamodels (e.g. UML metamodels).

Project Activity

See All Activity >

License

Academic Free License (AFL), GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow Naomi - OCL Validation Framework

Naomi - OCL Validation Framework Web Site

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Naomi - OCL Validation Framework!

Additional Project Details

Languages

English, German

Intended Audience

Developers, Information Technology, Science/Research

Programming Language

Java

Related Categories

Java Interpreters, Java Information Analysis Software

Registered

2004-02-29

Similar Business Software

Vitech CORE

Thousands of projects and tens of thousands of systems engineers have relied on CORE since it was first launched in 1993. From the beginning, CORE embraced what today we call model-based systems engineering. Combining the power of a systems metamodel to integrate systems engineering with...

See Software
ActCAD Software

ActCAD is a native dwg/dxf cad software suitable for professional 2D drafting and 3D modeling projects. ActCAD is trusted by over 30000 users in over 103 countries for more than 10 years. The interface, commands, icons, dialogs, shortcuts etc. are very much similar to other popular cad software...

See Software
Boozang

Build. Test. Automate. Empower your whole team to build and maintain automated tests, not just developers. Meet your testing demands fast. Get full test coverage in days, not months. Our natural-language tests are extremely stable to code changes. When tests break our AI will repair it in...

See Software
Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

See Software
Innoslate

SPEC Innovations’ flagship model-based systems engineering solution can help your team reduce time-to-market, cost, and risk on even some of the most complex systems. This cloud or on-premise application uses a modern web browser, with an intuitive graphical user interface. Innoslate’s full...

See Software
Interfacing Enterprise Process Center (EPC)

Interfacing’s Digital Twin Organization software provides transparency and Governance to improve Quality, Efficiency, and ensure Regulatory Compliance. Map, analyze, and automate processes, manage regulatory compliance, assess risks within a single platform! Interfacing’s digital twin...

See Software