Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [mdt-papyrus.dev] mdt-papyrus.dev Digest, Vol 107, Issue 1

Thank you all for supporting me i will introduce my demo in up coming days, i very optimistic about this project.

On Tue, Aug 1, 2017 at 10:00 AM, <mdt-papyrus.dev-request@xxxxxxxxxxx> wrote:
Send mdt-papyrus.dev mailing list submissions to
        mdt-papyrus.dev@xxxxxxxxxxx

To subscribe or unsubscribe via the World Wide Web, visit
        https://dev.eclipse.org/mailman/listinfo/mdt-papyrus.dev
or, via email, send a message with subject or body 'help' to
        mdt-papyrus.dev-request@eclipse.org

You can reach the person managing the list at
        mdt-papyrus.dev-owner@eclipse.org

When replying, please edit your Subject line so it is more specific
than "Re: Contents of mdt-papyrus.dev digest..."


Today's Topics:

   1. Re: Model verification tool project (GERARD Sebastien)
   2. Re: Model verification tool project (charles+zeligsoft.com)
   3. Alf feature rename in Incubation (LE MENEZ Quentin)


----------------------------------------------------------------------

Message: 1
Date: Mon, 31 Jul 2017 19:36:56 +0000
From: GERARD Sebastien <Sebastien.GERARD@xxxxxx>
To: Papyrus Project list <mdt-papyrus.dev@xxxxxxxxxxx>
Subject: Re: [mdt-papyrus.dev] Model verification tool project
Message-ID:
        <4DBF85F062D5C1468F310A428D2B84D1469B1DEC@EXDAG0-A3.intra.cea.fr>
Content-Type: text/plain; charset="iso-8859-1"

Dear Hani,

For sure we will be very interested to see your demo. I am currently in vacation until August the 21th. Would you like to share with us a demo of your Papyrus extension?
I will be back to you then to see how to contribute it to Papyrus early September.

Best,
Sebastien (Papyrus project leader)



Envoy? depuis mon smartphone Samsung Galaxy.


-------- Message d'origine --------
De : hani debs <hanidebs94@xxxxxxxxx>
Date : 31/07/2017 17:26 (GMT+01:00)
? : mdt-papyrus.dev@xxxxxxxxxxx
Objet : [mdt-papyrus.dev] Model verification tool project

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://dev.eclipse.org/mailman/private/mdt-papyrus.dev/attachments/20170731/b361c245/attachment.html>

------------------------------

Message: 2
Date: Mon, 31 Jul 2017 17:03:53 -0400
From: "charles+zeligsoft.com" <charles@xxxxxxxxxxxxx>
To: Papyrus Project list <mdt-papyrus.dev@xxxxxxxxxxx>, papyrus-ic
        discussions <papyrus-ic@xxxxxxxxxxx>,   Papyrus IC
        <papyrus-sig@xxxxxxxxxxxx>
Subject: Re: [mdt-papyrus.dev] Model verification tool project
Message-ID: <623E8F43-8871-47A9-9333-38B7E67431D6@xxxxxxxxxxxxx>
Content-Type: text/plain; charset="utf-8"

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 <https://wiki.polarsys.org/Papyrus_IC>? And that this consortium, also hosts a Research and Academia committee?

If you are interested, you can find more information on the Papyrus-IC Research and Academia wiki <https://wiki.polarsys.org/Papyrus_IC#Research.2FAcademia_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.

> On 2017-07-31, at 11:25 , hani debs <hanidebs94@xxxxxxxxx <mailto:hanidebs94@xxxxxxxxx>> wrote:
>
> 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@xxxxxxxxxxx <mailto:mdt-papyrus.dev@eclipse.org>
> To change your delivery options, retrieve your password, or unsubscribe from this list, visit
> https://dev.eclipse.org/mailman/listinfo/mdt-papyrus.dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://dev.eclipse.org/mailman/private/mdt-papyrus.dev/attachments/20170731/5d72c972/attachment.html>

------------------------------

Message: 3
Date: Tue, 1 Aug 2017 15:17:38 +0000
From: LE MENEZ Quentin <Quentin.LEMENEZ@xxxxxx>
To: Papyrus Project list <mdt-papyrus.dev@xxxxxxxxxxx>
Subject: [mdt-papyrus.dev] Alf feature rename in Incubation
Message-ID:
        <3BDFD9ED7A99E948B9E083675EFAB10B02B5978B@EXDAG0-B1.intra.cea.fr>
Content-Type: text/plain; charset="us-ascii"

Hello,

Just to let you know, if anyone is using Alf from the Incubation repository that I changed the name of the feature from "org.eclipse.papyrus.uml.alf.feature" to "org.eclipse.papyrus.uml.alf.integration.feature" as we already provide "org.eclipse.papyrus.uml.alf.feature" in Papyrus.
The installation can still be done through the usual tools, i.e. the discovery tool or the Hudson update site.

Thanks,
Quentin

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://dev.eclipse.org/mailman/private/mdt-papyrus.dev/attachments/20170801/9c97c238/attachment.html>

------------------------------

_______________________________________________
mdt-papyrus.dev mailing list
mdt-papyrus.dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/mdt-papyrus.dev

End of mdt-papyrus.dev Digest, Vol 107, Issue 1
***********************************************


Back to the top