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

Help

Home

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

Show: Today's Messages :: Show Polls :: Message Navigator

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

Fri, 08 June 2007 21: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

Report message to a moderator

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

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Fri Apr 19 05:30:17 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter