An Algebraic Architecture Model to Select PUSH/PULL Data Transfer

<p>The supplementary material for ASE 2022 Submission #21.</p> <p>&nbsp;</p> <p><strong>Detailed Proofs</strong></p> <p>The detailed proofs of Theorems 1, 2, 3 and other lemmas are contained in the following .PDF file.</p> <table> <tbody> <tr> <td>File Name&nbsp;</td> <td>Description</td> </tr> <tr> <td>ASE2022_proofs.pdf</td> <td>The detailed proofs of the correstness</td> </tr> </tbody> </table> <p>&nbsp;</p> <p><strong>Graph-based Refactoring Tool</strong></p> <p>The following .jar file is the current implementation of the graph-based tool for push/pull refactoring.&nbsp;</p> <table> <tbody> <tr> <td>File Name&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;</td> <td>Description &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;</td> </tr> <tr> <td>GraphBasedRefactor.jar</td> <td>graph-based refactoring tool</td> </tr> </tbody> </table> <p>It can work with Java 13 or later. The tool can be used in the following steps:</p> <ol> </ol> <ol> <li>Launch the tool from the command prompt.<br> <code>java -jar GraphBasedRefactor.jar</code></li> <li>Open a model file. (File -&gt; Open)</li> <li>Select one data transfer method for each edge. (A pop-up menu is displayed by double clicking each edge.)</li> <li>Generate a plain Java prototype or JAX-RS prototype. (Generate -&gt; Generate Plain Java Prototype, or Generate -&gt; Generate JAX-RS Prototype)</li> </ol> <p>&nbsp;</p> <p><strong>Model Files</strong></p> <p>As case studies, we designed the architectures of the WOS (Weather Observation System), POS (Point Of Sales) system, twitter-like web service and jumping game. Their model files are compressed in the following .zip file.</p> <table> <tbody> <tr> <td>File Name&nbsp; &nbsp; &nbsp;</td> <td>Description &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;</td> </tr> <tr> <td>models.zip</td> <td>Compressed model files</td> </tr> </tbody> </table> <p>&nbsp;</p> <p><strong>Generated Prototypes</strong></p> <p>We generated the prototypes from the above model files. The source files are compressed in the following .zip files.</p> <table> <tbody> <tr> <td>File Name&nbsp; &nbsp; &nbsp;&nbsp;</td> <td>Description</td> </tr> <tr> <td>prototypes.zip</td> <td>Compressed prototypes</td> </tr> </tbody> </table> <p>&nbsp;</p> <p><strong>Performance Evaluations</strong></p> <p>We measured the computation time of each API call on the JAX-RS prototypes of WOS, JAX-RS prototypes of twitter-like web service, and Java prototypes and the completed implementations of POS. The results are summarized in the following Excel file.</p> <table> <tbody> <tr> <td>File Name&nbsp; &nbsp; &nbsp; &nbsp;</td> <td>Description &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;</td> </tr> <tr> <td>evaluations.xlsx</td> <td>Performance evaluations of API calls</td> </tr> </tbody> </table> <p>&nbsp;</p> <p><strong>Completed Implementations</strong></p> <p>We had completed the implementaions of the jumping game and POS system in Java. The source files and the executable .jar files are compressed in the following .zip files.</p> <table> <tbody> <tr> <td>File Name&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;</td> <td>Description &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;</td> </tr> <tr> <td>JumpingGame.zip</td> <td>A completed push-first implementation and the executable .jar file of the jumping game in Java</td> </tr> <tr> <td>PosSystem.zip</td> <td>A completed push-first implementation and the executable .jar file of the POS system in Java</td> </tr> </tbody> </table> <p>The .jar files can work with Java 13 or later. They can be launched by typing the following commands on the&nbsp;command prompt.</p> <p><code>java -jar JumpingGame.jar</code></p> <p><code>java -jar PosSystem.jar</code></p>