psm2alloy

Transformation from UML Protocol State Machines to Alloy.

Brought to you by: agaris

Add a Review

Downloads: 0 This Week

Last Update: 2016-02-16

Download

Add to Preferred Sources

Formalization in ATL for the transformation
of a UML Protocol State Machine to Alloy.

Features

Formalization in ATL for the transformation of a UML Protocol State Machine (PSM) to Alloy.

Project Activity

See All Activity >

Follow psm2alloy

psm2alloy Web Site

Other Useful Business Software

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Start Free

Rate This Project

User Reviews

Be the first to post a review of psm2alloy!

Additional Project Details

Registered

2012-03-15

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

crystal-facet-uml
Create consistent Uml diagrams
DMF: Distributed Multiplatform Framework
Development framework including code generator and UML ex/import
Modelio - Modeling environment (UML)
Modeling tool supporting UML, BPMN and other standards
TRAK UML Profile
Implementation of TRAK enterprise architecture framework as UML profil
plantuml.jar
PlantUML plugin for Jekyll: helps you embed UML diagrams