| Hi Hani,
I am glad for your past and continued interest in Papyrus!
Were you aware that there is an industry consortium around Papyrus: the Papyrus Industry Consortium? And that this consortium, also hosts a Research and Academia committee?
As for your project, it is indeed interesting. I have, however, noticed that Sébastien has already responded to you about this, so I will let him take the lead on that front.
Thank you!
Charles Rivet Papyrus for Real Time Lead Papyrus IC Product Management Committee co-chair.
Hello, my name HANI ALDEBS i am graduated student from Damascus university From Syria i have been using eclipse many years and used many plugins that come With eclipse, one of them was Papyrus Modeling environment.My graduate project was verification tool for UML Statechart i used Papyrus to draw The diagram then i export it as XML file with the extension .uml that Papyrus provide My project was to transfer the Statechart to Petri Net (data flow ) Then to Promela Language (Process Meta Language ) that will be the input for model checker Program that called SPIN it is open source program for test models and check for Deadlocks and lack of synchronisation and many others. My dream to add this verification tool as a feature in Papyrus it really helps to make Sure that your model in right way and will behave as you expected. Please reply to my email if found this project helpful and i will provide a demo that Include a full functionality of the project.
_______________________________________________ mdt-papyrus.dev mailing list mdt-papyrus.dev@xxxxxxxxxxxTo change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/mdt-papyrus.dev
|
