Eclipse Community Forums: M2M (model-to-model transformation) » [ATL] New ATL use case: Verifying UML profiled models

Home » Archived » M2M (model-to-model transformation) » [ATL] New ATL use case: Verifying UML profiled models

[ATL] New ATL use case: Verifying UML profiled models [message #45390]

Fri, 08 June 2007 17:39

Eclipse User

Originally posted by: freddy.allilaire.univ-nantes.fr

Dear all,

A new ATL use case is available: Verifying UML profiled models

This use case shows how to use and integrate a model transformation
service in a UML Modeler to verify a UML profiled model. The used UML
Modeler is Papyrus (CEA LIST).

The use case is available at:
http://www.eclipse.org/m2m/atl/usecases/Verifying_UML_profil ed_models/

Regards,
Freddy.

--
Freddy Allilaire - ATLAS Group (INRIA & LINA)
http://www.sciences.univ-nantes.fr/lina/atl/contrib/allilair e

Previous Topic:	[ATL] verification
Next Topic:	[ATL] Cross references

Goto Forum:

-=] Back to Top [=-

Current Time: Sat Jul 26 19:36:50 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter