Trust-by-contract: Modelling, analysing and predicting behaviour in software architectures

Schmidt, H, Poernomo, I and Reussner, R 2003, 'Trust-by-contract: Modelling, analysing and predicting behaviour in software architectures', Journal of Systems and Software, vol. 5, no. 3, pp. 22-51.


Document type: Journal Article
Collection: Journal Articles

Title Trust-by-contract: Modelling, analysing and predicting behaviour in software architectures
Author(s) Schmidt, H
Poernomo, I
Reussner, R
Year 2003
Journal name Journal of Systems and Software
Volume number 5
Issue number 3
Start page 22
End page 51
Total pages 30
Publisher Elsevier
Abstract Architecture description languages (ADLs) are used to specify high-level, compositional views of a software application. ADL research focuses on software composed of prefabricated parts, so-called software components. ADLs usually come equipped with rigorous state-transition style semantics, facilitating verification and analysis of specifications. Consequently, ADLs are well suited to configuring distributed and event-based systems. However, additional expressive power is required for the description of enterprise software architectures --- in particular, those built upon newer middleware, such as implementations of Java's EJB specification, or Microsoft's COM+/.NET. The enterprise requires distributed software solutions that are scalable, business-oriented and mission-critical. We can make progress toward attaining these qualities at various stages of the software development process. In particular, progress at the architectural level can be leveraged through use of an ADL that incorporates trust and dependability analysis. Also, current industry approaches to enterprise development do not address several important architectural design issues. The TrustME ADL is designed to meet these requirements, through combining approaches to software architecture specification with rigorous design-by-contract ideas. In this paper, we focus on several aspects of TrustME that facilitate specification and analysis of middleware-based architectures for trusted enterprise computing systems.
Subject Interorganisational Information Systems and Web Services
Keyword(s) Architectural description languages
component-based software engineering
software architecture design
dependability
middleware
trusted systems
design-by-contract
software quality
verification
predictability
Copyright notice © 2003 Elsevier
ISSN 0164-1212
Versions
Version Filter Type
Access Statistics: 117 Abstract Views  -  Detailed Statistics
Created: Mon, 11 Feb 2013, 11:47:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us