Alloy2OCL

Brought to you by: agaris

1 Review

Downloads: 0 This Week

Last Update: 2015-06-26

Get an email when there's a new version of Alloy2OCL

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

$300 Free Credits to Build on Google Cloud Icon

$300 Free Credits to Build on Google Cloud

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.

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

$300 Free Credits to Build on Google Cloud

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.

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/
UML Sculptor
UML class diagrams editor
FiniteSatUSE
FiniteSatUSE is a tool that provides correctness methods for UML class diagrams. It uses the USE System syntax for specification of the class diagrams.
NClass
NClass is a free tool to easily create UML class diagrams with full C# and Java language support.
uml2svg
uml2svg is a tool for converting UML diagrams into SVG. The diagrams have to conform with the UML Diagram Interchange 1.0 Specification, which at this time means they have be exported by Poseidon for UML.