You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@reef.apache.org by "Gyewon Lee (JIRA)" <ji...@apache.org> on 2017/02/24 03:11:44 UTC

[jira] [Created] (REEF-1745) Formal analysis on REEF protocols

Gyewon Lee created REEF-1745:
--------------------------------

             Summary: 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


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)