Deployment components with parametric concurrency

Rudolf Schlatte

Institutt for informatikk
Universitetet i Oslo

Thursday, 10 March 2011, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101

Slides from the talk [pdf]

Abstract: This talk presents some results towards performance analysis of object-oriented component or system models in deployment scenarios where the amount of processing resources available to a component may vary over time. To specify, analyze, and predict system behavior without a fixed architecture, models of software need to naturally capture and range over relevant deployment scenarios. For this reason, it is interesting to lift aspects of low-level concerns to the abstraction level of the modeling language.

We introduce an abstract model of dynamic deployment components for concurrent objects, extending the ABS modeling language. The deployment components are parametric in the amount of processing resources they provide, and resources can be reallocated between deployment components. The formal semantics of deployment components is given in rewriting logic along with the rest of ABS, and can be executed on the Maude platform.

(Joint work with Einar Broch Johnsen, Olaf Owe, S. Lizeth Tapia Tarifa.)

This talk is given the frame of the EU FP7 HATS project.

Tarmo Uustalu
Last update 11.3.2011