reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Gyewon Lee (JIRA)" <j...@apache.org>
Subject [jira] [Commented] (REEF-1745) Formal analysis on REEF protocols
Date Wed, 29 Mar 2017 09:28:41 GMT

    [ https://issues.apache.org/jira/browse/REEF-1745?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15946805#comment-15946805
] 

Gyewon Lee commented on REEF-1745:
----------------------------------

To students who are interested in this issue for GSoC 2017,

We decided to expand issue and make a new umbrella issue containing this for GSoC. If you
are a student who is writing a GSoC proposal on this issue, I strongly recommend to write
a proposal on the new umbrella issue instead of this.

You can find the new issue here: https://issues.apache.org/jira/browse/REEF-1759

If you already wrote a proposal on this issue, then please re-write your proposal according
to the new expanded issue until the deadline. Each student is allowed to write up to 5 proposals,
so there would be no problems.

> Formal analysis on REEF protocols
> ---------------------------------
>
>                 Key: REEF-1745
>                 URL: https://issues.apache.org/jira/browse/REEF-1745
>             Project: REEF
>          Issue Type: Improvement
>            Reporter: Gyewon Lee
>              Labels: gsoc2017
>
> In REEF, there are some protocols which are used for communication between different
components(ex. Driver <-> Evaluator, C# <-> Java), but we don't have any formal
specifications on them. This topic has been discussed in reef developer mailing list.
> Writing formal specifications on these protocols will help us find bugs and verify the
correctness of the protocols. TLA+(http://lamport.azurewebsites.net/tla/tla.html) and Alloy(http://alloy.mit.edu/alloy/)
are suggested as possible tools.



--
This message was sent by Atlassian JIRA
(v6.3.15#6346)

Mime
View raw message