Framework Instantiation

In this chapter, we show how developers can instantiate an instance of the framework for the synthesis of a specific program. Towards this end, we present the procedure by which the instantiation takes place. After the translation of the input file to a set of Java files, we need to copy the generated Java files to the same folder where the core of the framework exists. At this step, first we have to compile the java files corresponding to each process. For example, in the case of Byzantine agreement we do the following.

  > javac  i.java 

		 > javac  j.java 

		 > javac  k.java 

Afterwards, we compile Tool.java file that is the main file for the instantiation of the framework.

  > javac  Tool.java 

The compilation of Tool.java file results in the compilation of the core of the framework. Afterwards, we are ready to instantiate the framework for the synthesis of the fault-tolerant version of the fault-intolerant program specified in the input text file. We run the following command.

  > java  Tool 

After running the above command, developers will be prompted by the command line of the framework. In the next section, we describe the way that developers can supervise the synthesis of the fault-tolerant program.