Reasoning about software architectures with contractually specified components

Reussner, R, Poernomo, I and Schmidt, H 2003, 'Reasoning about software architectures with contractually specified components', Lecture Notes in Computer Science, vol. 2693, pp. 287-325.


Document type: Journal Article
Collection: Journal Articles

Title Reasoning about software architectures with contractually specified components
Author(s) Reussner, R
Poernomo, I
Schmidt, H
Year 2003
Journal name Lecture Notes in Computer Science
Volume number 2693
Start page 287
End page 325
Total pages 39
Publisher Springer-Verlag
Abstract One of the motivations for specifying software architectures explicitly is the better prediction of system quality attributes. In this chapter we present an approach for determining the reliability of component- based software architectures. Our method is based on RADL (Rich Architecture Definition Language), an extension of DARWIN [16]. RADL places special emphasis on component interoperation and, in particular, on accounting for the effects of interoperation on system reliability. To achieve this, our methods use a notion of design-by-contract [19] for components, called parameterized contracts [26]. Our contracts involve finite state machines that allow software architects to define how a component's reliability will react to a deployment environment. We show how a system, built from contractually specified components, can be understood in terms of Markov models, facilitating system reliability analysis. We illustrate our approach with an e-commerce example and report about empirical measurements which confirm our analytical reliability prediction by means of monitoring in our reliability testbed.
Subject Software Engineering
Programming Languages
Computer Software not elsewhere classified
DOI - identifier 10.1007/978-3-540-45064-1_14
Copyright notice Springer-Verlag Berlin Heidelberg 2003
ISSN 0302-9743
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 28 times in Scopus Article | Citations
Altmetric details:
Access Statistics: 189 Abstract Views  -  Detailed Statistics
Created: Wed, 22 Dec 2010, 10:15:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us