search

openETCS / model-evaluation

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling
13 stars 20 forks source link

ERTMSFormalSpecs assessment by Assessor 2 / use of the tool / cooperation of tools #48

Closed stanpinteTheSignallingCompany closed 10 years ago

stanpinteTheSignallingCompany commented 11 years ago

Cooperation of tools (D2.6-02-076)

1 unjustified. The model is stored in XML file format, and there is already an interaction with Eclipse toolchain implemented, by exporting the full ERTMSFormalSpecs model to EMF repository.

Could you please update your quotation for:

MariellePetitDoche commented 11 years ago

Please to provide the mean (with a document or wiki page) to evaluate the interaction with eclipse and howto export EFS model to EMF repository.

In a general way, the assessment is done with the elements provided at a given time. Quotation are put according the elements provided by the author and what assessor can evaluate. If elements are not available, with clear references, it is not possible to upgrade quotation.

stanpinteTheSignallingCompany commented 11 years ago

This comment is not acceptable, as 1 means "weakly rejected", therefore we cannot accept it for Cooperation of tools.

We shall appeal to WP leader if 1 is maintained.

Moreover, the repository https://github.com/openETCS/eclipse-platform-evaluation provides such ERTMSFormalSpecs - Eclipse interaction evaluation (See eclipse source for information).

stanpinteTheSignallingCompany commented 11 years ago

This comment is not acceptable, as 1 means "weakly rejected", therefore we cannot accept it for Cooperation of tools.

We shall appeal to WP leader if 1 is maintained.

Moreover, the repository https://github.com/openETCS/eclipse-platform-evaluation provides such ERTMSFormalSpecs - Eclipse interaction evaluation (See eclipse source for information).

stanpinteTheSignallingCompany commented 10 years ago

Dear Marielle,

Why are you closing this item?

Thanks for your help,

Very kind regards,

Stan

MariellePetitDoche commented 10 years ago

2 decision meeting have been done for the activities of T7.1, this evaluation task is closed for 6 months. T7.1 will be finished in January.