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

$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

User Reviews

Be the first to post a review of psm2alloy!

Additional Project Details

Registered

2012-03-15

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

CUML
The C source code generator from UML state charts
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
plantuml.jar
PlantUML plugin for Jekyll: helps you embed UML diagrams
umple
The Umple Model-Oriented Programming Technology