Beyond Simulation
Sebastian Lehrig, Steffen Becker · 2015
In cloud computing, typical requirements of Software-as-a-Service (SaaS) applications target scalability, elasticity, and efficiency. To analyze such properties, software engineers need efficient specifications that acknowledge for uncertainties within the underlying cloud computing environment. However, existing analysis specifications are based on simulating the system as a whole, which is inefficient and requires full knowledge of the underlying environment.