Integrating Aspects of Software Deployment in High-Level Executable Models

Software today is often developed for deployment on different architectures. In order to model and analyze the consequences of such deployment choices at an early stage in software development, it seems desirable to capture aspects of low-level deployment concerns in high-level models. In this paper, we propose an integration of a generic cost model for resource consumption with deployment components in timed ABS, an abstract behavioral specification language for executable object-oriented models. Deployment components reflect resource-restricted deployment scenarios, and are parametric in their allocated resources. The cost model may be adapted to specific resources such as concurrent processing capacities or memory. The approach is demonstrated on an example of a web shop with a cost model for concurrent processing resources. We use our simulation tool to analyze system response time for given usage scenarios, depending on the amount of resources allocated to the deployment components.