Alloy2OCL

Brought to you by: agaris

1 Review

Downloads: 0 This Week

Last Update: 2015-06-26

Add to Preferred Sources

Alloy2OCL is a prototype for translating Alloy Specifications to UML Class Diagrams and OCL.
A new version is available for download at the project website:
http://sourceforge.net/projects/alloymda

Project Activity

See All Activity >

Follow Alloy2OCL

Alloy2OCL Web Site

Other Useful Business Software

Ship Agents Faster Icon

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.

Start Free

Rate This Project

Login To Rate This Project

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

1

0

0

0

0

ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:

All

scottsimpson2 Posted 2013-06-08

Thank you for your work.

1 user found this review helpful.

Read more reviews >

Additional Project Details

Registered

2011-07-23

Report inappropriate content

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.

Start Free

Recommended Projects

USE: UML-based Specification Environment
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/
NClass
NClass is a free tool to easily create UML class diagrams with full C# and Java language support.
Grafana Alloy
OpenTelemetry Collector distribution with programmable pipelines
Monopoly for java
This project aims to implement famous Monopoly game in pure java by using object oriented design. It is powered by UML diagrams including collobration and class diagrams. Network support will be added after constructing main frame. <br>Note:</br> Game is
FMC-Visio Stencils
Tool support for creating FMC* diagrams [Block diagrams, Petri nets, Entity-Relationship diagrams (ERD)] in MS-Visio 2000 and newer. Features: stencils, consistency checking, Petri net simulation, exporter e.g. pdf, ... *Fundamental Modeling Concepts A stripped down version of the stencil set is available for TAM (Technical Architecture Modeling of SAP). This set uses UML notation and contains Block, Activity, Sequence, State, Class, and Component diagrams. It doesn't contain Simulation, exporter, or even shape help.