Stochastic models for quality of service of component connectors

Leiden Repository

Stochastic models for quality of service of component connectors

Title: Stochastic models for quality of service of component connectors
Author: Moon, Young-Joo
Publisher: Faculty of Science, Leiden University
Issue Date: 2011-10-25
Keywords: Case study
Compositional semantics
Coordination language
Quality of Service
Tool implementation
Abstract: The intensifying need for scalable software has motivated modular development and using systems distributed over networks to implement large-scale applications. In Service-oriented Computing, distributed services are composed to provide large-scale services with a specific functionality. In this way, reusability of existing services can be increased. However, due to the heterogeneity of distributed software systems, software composition is not easy and requires additional mechanisms to impose some form of a coordination on a distributed software system. Besides functional correctness, a composed service must satisfy various quantitative requirements for its clients, which are generically called its quality of service (QoS). Particularly, it is tricky to obtain the overall QoS of a composed service even if the QoS information of its constituent distributed services is given. In this thesis, we propose Stochastic Reo to specify software composition with QoS aspects and its compositional semantic models. They are also used as intermediate models to generate their corresponding stochastic models for practical analysis. Based on this, we have implemented the tool Reo2MC. Using Reo2MC, we have modeled and analyzed an industrial software, the ASK system. Its analysis results provided the best cost-effective resource utilization and some suggestions to improve the performance of the system.
Description: Promotor: F. Arbab, Co-promotor: A. Silva, E.P. de Vink
With summary in Dutch
Faculty: Faculteit der Wiskunde en Natuurwetenschappen
Citation: Moon, Y.-J., 2011, Doctoral thesis, Leiden University
Series/Report no.: IPA dissertation Series;2011-17
ISBN: 9789064645068
Handle: http://hdl.handle.net/1887/17975
 

Files in this item

Description Size View
application/pdf full text 8.388Mb View/Open
application/pdf cover 197.7Kb View/Open
application/pdf Title page_Contents 1.042Mb View/Open
application/pdf Chapter 1 Introduction 193.6Kb View/Open
application/pdf Chapter 2 430.6Kb View/Open
application/pdf Chapter 3 421.5Kb View/Open
application/pdf Chapter 4 559.5Kb View/Open
application/pdf Chapter 5 1.034Mb View/Open
application/pdf Chapter 6 5.557Mb View/Open
application/pdf Chapter 7 Conclusions and future work 106.6Kb View/Open
application/pdf Bibliography 115.3Kb View/Open
application/pdf Summary 79.73Kb View/Open
application/pdf Summary in Dutch 80.58Kb View/Open
application/pdf propositions 50.22Kb View/Open

This item appears in the following Collection(s)