inproceedings_firus.bib
@inproceedings{becker2004c,
abstract = {Abstract: The evaluation of software architectures is crucial to ensure that the design of software systems meets the requirements. We present a generic methodical framework that enables the evaluation of component-based software architectures. It allows to determine system characteristics on the basis of the characteristics of its constituent components. Basic prerequisites are discussed and an overview of different architectural views is given, which can be utilised for the evaluation process. On this basis, we outline the general process of evaluating software architectures and provide a taxonomy of existing evaluation methods. To illustrate the evaluation of software architectures in practice, we present some of the methods in detail.},
author = {Becker, Steffen and Firus, Viktoria and Giesecke, Simon and Hasselbring, Wilhelm and Overhage, Sven and Reussner, Ralf H.},
booktitle = {Architekturen, Komponenten, Anwendungen - Proceedings zur 1. Verbundtagung Architekturen, Komponenten, Anwendungen (AKA 2004), Universit{\"a}t Augsburg},
editor = {Turowski, Klaus},
isbn = {3-88579-386-5},
pages = {163--180},
series = {GI-Edition Lecture Notes in Informatics},
title = {{T}owards a {G}eneric {F}ramework for {E}valuating {C}omponent-{B}ased {S}oftware {A}rchitectures},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/becker2004c.pdf},
volume = {57},
year = {2004}
}
@inproceedings{becker2003d,
abstract = {We discuss the specification of signatures, protocols (behaviour) and quality of service within software component specification frameworks. In particular we focus on (a) contractually used components, (b) the specification of components with variable contracts and interfaces, and (c) of quality of service. Interface descriptions including these aspects allow powerful static interoperability checks. Unfortunately, the specification of constant component interfaces hinders the specification of quality attributes and impedes automated component adaptation. This is because, especially quality attributes heavily depend on the components context. To enable the specification of quality attributes, we demonstrate the inclusion of parameterised contracts within a component specification framework. These parameterised contracts compute adapted, context-dependent component interfaces (including protocols and quality attributes). This allows to take context dependencies into account while allowing powerful static interoperability checks.},
author = {Becker, Steffen and Reussner, Ralf H. and Firus, Viktoria},
booktitle = {Proceedings of the First International Workshop on Component Engineering Methodology},
editor = {Turowski, Klaus and Overhage, Sven},
title = {{S}pecifying {C}ontractual {U}se, {P}rotocols and {Q}uality {A}ttributes for {S}oftware {C}omponents},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/becker2003d.pdf},
year = {2003}
}
@inproceedings{firus2004a,
author = {Firus, Viktoria and Becker, Steffen},
booktitle = {Proceedings of Formal Foundation of Embedded Software and Component-Based Software Architectures (FESCA)},
pages = {118--121},
series = {Electronic Notes in Theoretical Computer Science},
title = {{T}owards {P}erformance {E}valuation of {C}omponent {B}ased {S}oftware {A}rchitectures},
url = {http://www.infosys.com/IT-services/architecture-services/white-papers/performance-review-COTS.pdf},
volume = {108},
year = {2004}
}
@inproceedings{firus2005b,
abstract = {The performance of a software component heavily depends on the environment of the component. As a software component only justifies its investment when deployed in several environments, one can not specify the performance of a component as a constant (e.g., as a single value or distribution of values in its interface). Hence, classical component contracts allowing to state the component�s performance as a post-condition, if the environment realises a specific performance stated in the precondition, do not help. This fixed pair of preand postcondition do not model that a component can have very different performance figures depending on its context. Instead of that, parametric contracts are needed for specifying the environmental dependency of the component�s provided performance. In this paper we discuss the specification of dependencies of external calls for the performance metric response time. We present an approach using parametric contracts to compute the statistical distribution of response time as a discrete distribution in dependency of the distribution of response times of environmental services. We use the Quality of Service Modeling Language (QML) as a syntax for specifying distributions.},
author = {Firus, Viktoria and Becker, Steffen and Happe, Jens},
booktitle = {Formal {F}oundations of {E}mbedded {S}oftware and {C}omponent-based {S}oftware {A}rchitectures ({FESCA})},
pages = {73--90},
series = {Electronic Notes in Theoretical Computer Science},
title = {{P}arametric {P}erformance {C}ontracts for {QML}-specified {S}oftware {C}omponents},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/firus2005b.pdf},
volume = {141},
year = {2005}
}
@inproceedings{firus2005a,
abstract = {Die Architektur eines Software-Systems beeinflusst ma{\ss}geblich seine Qualit \"{a}tseigenschaften wie Performanz oder Zuverl\"{a}ssigkeit. Daher sind Architektur\"{a}nderungen oft die einzige M\"{o}glichkeit, M\"{a}ngel bei diesen Qualit\"{a}tseigenschaften zu beheben. Je spa�ter diese A� nderungen an der Architektur wa�hrend des Software-Entwicklungsprozesses vorgenommen werden, desto teurer und riskanter sind sie. Aus diesem Grund ist eine fr\"{u}hzeitige Analyse verschiedener Architektur-Entwurfsalternativen bez \"{u}glich ihrer Auswirkungen auf Qualit\"{a}tseigenschaften vorteilhaft. Dieser Artikel beschreibt die Evaluation dreier verschiedener Performanz-Vorhersageverfahren f\"{u}r Software-Architekturen hinsichtlich ihrer Eignung, korrekte Empfehlungen f\"{u}r fr\"{u}hzeitige Entwurfsentscheidungen zu geben. Zus\"{a}tzlich sollen diese Vorhersageverfahren pr\"{u}fen, ob extern vorgegebene Performanz-Anforderungen realisierbar sind. Die Performanz-Vorhersageverfahren � SPE�, � Capacity Planning� und � umlPSI� wurden empirisch durch 31 Teilnehmer untersucht, die eine Menge vorgegebener Alternativen beim Entwurf der Architektur eines Webservers zu bewerten hatten. Die Ergebnisse zeigen, dass Entwurfsalternativen mit allen Verfahren richtig bewertet wurden, sofern deutliche Auswirkungen auf die Performanz vorhanden waren. Ohne den Einsatz der Performanz-Vorhersageverfahren wurden h\"{a}ufiger weniger performante Entwurfsalternativen vorgeschlagen. Dar\"{u}ber hinaus konnte das Verfahren Capacity Planning die absoluten Werte bei den meisten Entwurfsalternativen relativ genau vorhersagen.},
author = {Firus, Viktoria and Koziolek, Heiko and Becker, Steffen and Reussner, Ralf H. and Hasselbring, Wilhelm},
booktitle = {Software Engineering 2005 Proceedings - Fachtagung des GI-Fachbereichs Softwaretechnik},
editor = {Liggesmeyer, Peter and Pohl, Klaus and Goedicke, Michael},
isbn = {3-88579-393-8},
pages = {55--66},
series = {GI-Edition Lecture Notes in Informatics},
title = {{E}mpirische {B}ewertung von {P}erformanz-{V}orhersageverfahren f{\"u}r {S}oftware-{A}rchitekturen},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/firus2005a.pdf},
volume = {64},
year = {2005}
}
@inproceedings{happe2005c,
abstract = {The Quality of Service attributes of a software component heavily depend on its environment. For example, if a component uses a highly unreliable service, its own reliability is likely to decrease as well. This relation can be described with parametric contracts, which model the dependence between provided and required services of a component. Until now, parametric contracts can only model single-threaded systems. We plan to extend parametric contracts with Stochastic Petri nets to model multi-threaded systems. This enables the detection of resource conflicts and the consideration of the influence of concurrency on Quality of Service attributes, like performance.},
author = {Happe, Jens and Firus, Viktoria},
booktitle = {Proceedings of the Tenth Workshop on Component Oriented Programming (WCOP2005)},
title = {{U}sing {S}tochastic {P}etri {N}ets to {P}redict {Q}uality of {S}ervice {A}ttributes of {C}omponent-{B}ased {S}oftware {A}rchitectures},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/happe2005c.pdf},
year = {2005}
}
@inproceedings{koziolek2006e,
abstract = {Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectures is to predict the performance during early development stages by combining performance specifications of prefabricated components. Many existing methods in the area of component-based performance prediction neglect several influence factors on the performance of a component. In this paper, we present a method to calculate the performance of component services while including influences of external services and different usages. We use stochatic regular expressions with non-Markovian loop iterations to model the abstract control flow of a software component and probability mass functions to specify the time consumption of internal and external services in a fine grain way. An experimental evaluation is reported comparing results of the approach with measurements on a component-based webserver. The evaluation yields that using measured data as inputs, our approach can predict the mean response time of a service with less than 2 percent deviation from measurements taken when executing the service in our scenarios.},
author = {Koziolek, Heiko and Firus, Viktoria},
booktitle = {Proc. of the 5th Int. Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA'06)},
editor = {Kuester-Filipe, Juliana and Poernomo, Iman H. and Reussner, Ralf H.},
month = {March},
pages = {69-87},
publisher = {Elsevier Science Inc.},
series = {ENTCS},
title = {{Parametric Performance Contracts}: {Non-Markovian Loop Modelling and an Experimental Evaluation}},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/koziolek2006e.pdf},
volume = {176(2)},
year = {2006}
}
@inproceedings{koziolek2005b,
abstract = {Predicting the performance of software architectures during early design stages is an active field of research in software engineering. It is expected that accurate predictions minimize the risk of performance problems in software systems by a great extent. This would improve quality and save development time and costs of subsequent code fixings. Although a lot of different methods have been proposed, none of them have gained widespread application in practice. In this paper we describe the evaluation and comparison of three approaches for early performance predictions (Software Performance Engineering (SPE), Capacity Planning (CP) and umlPSI). We conducted an experiment with 31 computer science students. Our results show that SPE and CP are suited for supporting performance design decisions in our scenario. CP is also able to validate performance goals as stated in requirement documents under certain conditions. We found that SPE and CP are matured, yet lack the proper tool support that would ease their application in practice.},
author = {Koziolek, Heiko and Firus, Viktoria},
booktitle = {Proceeding of the first International Conference on the Quality of Software Architectures (QoSA'05)},
editor = {Reussner, Ralf H. and Mayer, Johannes and Stafford, Judith A. and Overhage, Sven and Becker, Steffen and Schroeder, Patrick J.},
isbn = {3-540-29033-8},
pages = {188--202},
publisher = {Springer-Verlag Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
title = {{E}mpirical {E}valuation of {M}odel-based {P}erformance {P}redictions {M}ethods in {S}oftware {D}evelopment},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/koziolek2005b.pdf},
volume = {3712},
year = {2005}
}
@inproceedings{reussner2004f,
abstract = {We discuss compositionality in terms of (a) component interoperability and contractual use of components, (b) component adaptation and (c) prediction of properties of composite components. In particular, we present parametric component contracts as a framework treating the above mentioned facets of compositionality in a unified way. Parametric contracts compute component interfaces in dependency of context properties, such as available external services or the profile how the component will be used by its clients. Under well-specified conditions, parametric contracts yield interfaces offering interoperability to the component context (as they are component-specifically generated). Therefore, parametric contracts can be considered as adaptation mechanism, adapting a components provides- or requires-interface depending on connected components. If non-functional properties are specified in a component provides interface, parametric contracts compute these nonfunctional properties in dependency of the environment.},
author = {Reussner, Ralf H. and Becker, Steffen and Firus, Viktoria},
booktitle = {Tagungsband der Net.ObjectDays 2004},
month = {September},
pages = {155--169},
title = {{C}omponent {C}omposition with {P}arametric {C}ontracts},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/reussner2004f.pdf},
year = {2004}
}
@inproceedings{reussner2004a,
abstract = {The performance of a software component heavily depends on the environment of the component. As a software component only justifies its investment when deployed in several environments, one can not specify the performance of a component as a constant (e.g., as a single value or distribution of values in its interface). Hence, classical component contracts allowing to state the component�s performance as a post-condition, if the environment realises a specific performance stated in the precondition, do not help. This fixed pair of pre- and postcondition do not model that a component can have very different performance figures depending on its context. Instead of that, parametric contracts are needed for specifying the environmental dependency of the component�s provided performance. In this paper we discuss the specification of such dependencies for the performance metric response time. We model the statistical distribution of response time in dependency of the distribution of response times of environmental services.},
author = {Reussner, Ralf H. and Firus, Viktoria and Becker, Steffen},
booktitle = {Proceedings of the 9th International Workshop on Component-Oriented Programming (WCOP 04)},
editor = {Weck, Wolfgang and Bosch, Jan and Szyperski, Clemens},
title = {{P}arametric {P}erformance {C}ontracts for {S}oftware {C}omponents and their {C}ompositionality},
url = {http://sdqweb.ipd.uka.de/publications/pdfs/reussner2004a.pdf},
year = {2004}
}