Academic
Publications
Simulating Concurrent Behaviors with Worst-Case Cost Bounds

Simulating Concurrent Behaviors with Worst-Case Cost Bounds,10.1007/978-3-642-21437-0_27,Elvira Albert,Samir Genaim,Miguel Gómez-Zamalloa,Einar Broch

Simulating Concurrent Behaviors with Worst-Case Cost Bounds   (Citations: 1)
BibTex | RIS | RefWorks Download
Modern software systems are increasingly being developed for deployment on a range of architectures. For this purpose, it is interesting to capture aspects of low-level deployment concerns in high-level modeling languages. In this paper, an executable object-oriented modeling language is extended with resource-restricted deployment components. To analyze model behavior a formal methodology is proposed to assess resource consumption, which balances the scalability of the method and the reliability of the obtained results. The approach applies to a general notion of resource, including traditional cost measures (e.g., time, memory) as well as concurrency-related measures (e.g., requests to a server, spawned tasks). The main idea of our approach is to combine reliable (but expensive) worst-case cost analysis of statically predictable parts of the model with fast (but inherently incomplete) simulations of the concurrent aspects in order to avoid the state-space explosion. The approach is illustrated by the analysis of memory consumption.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...Clients call the order method of their Session instance, which calls the getInfo and confirmOrder methods of a Database object shared between the different sessions.Session objects return to the agent’s pool after an order is completed. (The full model is available in [5].)...
    • ...The remaining cases are fairly straightforward, looking up values for declared variables in σ .F or brevity, we omit the reduction system for the functional level of ABS (for details, see [5]) and simply denote by [[ e]] ε the evaluation of a guard or expression e in the context of a substitution σ and a state configuration cn (the state configuration is needed to evaluate future variables)...
    • ...detailed description of this data type can be found in [5].)...
    • ...3 (UBs for all functions in the book shop model can be found in [5])...

    Elvira Albertet al. Simulating Concurrent Behaviors with Worst-Case Cost Bounds

Sort by: