Eclipse Community Forums: M2M (model-to-model transformation)

Home » Archived » M2M (model-to-model transformation) » UML activity diagrams and NuSMV(UML activity diagrams and NuSMV)

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

UML activity diagrams and NuSMV [message #522642]

Tue, 23 March 2010 13:34

Yves LaCerte

Messages: 3
Registered: March 2010

Junior Member

Do you know of anyone working a transformation from UML 2 activity diagrams to the NuSMV model checker?

If not, any recommendations on how to get started.

Best regards,

Report message to a moderator

Previous Topic:	[ATL] Calling Java from ATL possible?
Next Topic:	urgent

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Tue Sep 24 17:16:04 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter