An Algebraic Architecture Model to Select PUSH/PULL Data Transfer

The supplementary material for ASE 2022 Submission #21.

Detailed Proofs

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

Graph-based Refactoring Tool

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.
java -jar GraphBasedRefactor.jar

Open a model file. (File -> 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 -> Generate Plain Java Prototype, or Generate -> Generate JAX-RS Prototype)

Model Files

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

Generated Prototypes

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

Performance Evaluations

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

Completed Implementations

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.

java -jar JumpingGame.jar

java -jar PosSystem.jar