Trustworthy components: compositionality and prediction

Schmidt, H 2003, 'Trustworthy components: compositionality and prediction', Journal of Systems and Software, vol. 65, no. 3, pp. 215-225.

Document type: Journal Article
Collection: Journal Articles

Title Trustworthy components: compositionality and prediction
Author(s) Schmidt, H
Year 2003
Journal name Journal of Systems and Software
Volume number 65
Issue number 3
Start page 215
End page 225
Total pages 10
Publisher Elsevier
Abstract This article defines key requirements for an architecture-based approach to trustworthy components. We then provide a brief overview of our architecture definition language RADL with a focus on compositionality and extra-functional properties. RADL aims at very high-level specification and validation of hierarchical assemblies of distributed real-time components. Several ideas in RADL are oriented towards modern middleware technologies such as .NET and EJB and to software-engineering methods such as UML. RADL dynamic models are centered around contracts, state machines and Petri nets. These are associated to contact points and connectors for defining connection constraints in architectural specification. They define configuration and behavioural contracts when they are associated to components and architectural assemblies of components. RADL contracts permit static compatibility checks and automatic gate adaptation for true black-box reuse. Dynamic monitoring of deployed components complements this with execution-based mechanism enabling prediction of extra-functional properties during architectural design.
Subject Interorganisational Information Systems and Web Services
DOI - identifier 10.1016/S0164-1212(02)00045-6
Copyright notice 2002 Elsevier Science Inc.
ISSN 0164-1212
Version Filter Type
Citation counts: Scopus Citation Count Cited 42 times in Scopus Article | Citations
Altmetric details:
Access Statistics: 145 Abstract Views  -  Detailed Statistics
Created: Tue, 17 Aug 2010, 09:23:39 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us