Paessler: Easy to Use With Enterprise Power. Free Trial
A low-code dashboard makes monitoring intuitive for any admin, while scripting and custom sensors give experts full control.
You shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
Get Free Download
Ship Agents Faster
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using the ticket system.
The USE documentation can be found on the project homepage linked below.
Downloads for the most popular plugins can be found here:
http://sourceforge.net/projects/useocl/files/Plugins/
ParTeG (PARtition TEst Generator) handles UML state machines, UML class diagrams and their OCL expressions. The OCL expressions are evaluated to find input parameter partitions. The boundaries of these partitions are used to generate test cases.
Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL.
WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl
New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/
A Model to Model transformation engine that executes transformations in a live- and bi-directional manor.
Support for multiple languages, a 'QVT Core' (incl. OCL) compatible language, a java-like declarative syntax, etc.