Trustworthy components-compositionality and prediction

Heinz Schmidt

doi:10.1016/S0164-1212(02)00045-6

Trustworthy components-compositionality and prediction

2003-03-01

35

PRE

AI

H

Heinz Schmidt

DOI：10.1016/S0164-1212(02)00045-6

原文链接

原文求助

摘要

En 中文

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 behavioral 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. (C) 2002 Elsevier Science Inc. All rights reserved.

Keyword:

component technology

component-based software engineering

trustworthy assembly

quality assurance

compositionality

automatic adaptation

Trustworthy components-compositionality and prediction

摘要

AI总结

期刊

机构

引用论文