An Algebraic Architecture Model to Select PUSH/PULL Data Transfer

The supplementary material for ASE 2022 Submission #21. <strong>Detailed Proofs</strong> The detailed proofs of Theorems 1, 2, 3 and other lemmas are contained in the following .PDF file. File Name Description ASE2022_proofs.pdf The detailed proofs of the correstness <strong>Graph-based Refactoring Tool</strong> The following .jar file is the current implementation of the graph-based tool for push/pull refactoring. File Name Description GraphBasedRefactor.jar graph-based refactoring tool It can work with Java 13 or later. The tool can be used in the following steps: Launch the tool from the command prompt.<br> <code>java -jar GraphBasedRefactor.jar</code> Open a model file. (File -&gt; Open) Select one data transfer method for each edge. (A pop-up menu is displayed by double clicking each edge.) Generate a plain Java prototype or JAX-RS prototype. (Generate -&gt; Generate Plain Java Prototype, or Generate -&gt; Generate JAX-RS Prototype) <strong>Model Files</strong> 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. File Name Description models.zip Compressed model files <strong>Generated Prototypes</strong> We generated the prototypes from the above model files. The source files are compressed in the following .zip files. File Name Description prototypes.zip Compressed prototypes <strong>Performance Evaluations</strong> 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. File Name Description evaluations.xlsx Performance evaluations of API calls <strong>Completed Implementations</strong> 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. File Name Description JumpingGame.zip A completed push-first implementation and the executable .jar file of the jumping game in Java PosSystem.zip A completed push-first implementation and the executable .jar file of the POS system in Java The .jar files can work with Java 13 or later. They can be launched by typing the following commands on the command prompt. <code>java -jar JumpingGame.jar</code> <code>java -jar PosSystem.jar</code>