TY - GEN
T1 - TADL - An architecture description language for trustworthy component-based systems
AU - Mohammad, Mubarak
AU - Alagar, Vasu
N1 - Funding Information:
This research is supported by a Research Grant from Natural Sciences and Engineering Research Council of Canada.(NSERC).
PY - 2008
Y1 - 2008
N2 - Existing architecture description languages mainly support the specification of the structural elements of the system under design with either only a limited support or no support to specify non-functional requirements. In a component-based development of trustworthy systems, the trustworthiness properties must be specified at the architectural level. Analysis techniques should be available to verify the trustworthiness properties early at design time. Towards this goal we present in this paper a meta-architecture and TADL, a new architecture description language suited for describing the architecture of trustworthy component-based systems. The TADL is a uniform language for specifying the structural, functional, and nonfunctional requirements of component-based systems. It also provides a uniform source for analyzing the different trustworthiness properties.
AB - Existing architecture description languages mainly support the specification of the structural elements of the system under design with either only a limited support or no support to specify non-functional requirements. In a component-based development of trustworthy systems, the trustworthiness properties must be specified at the architectural level. Analysis techniques should be available to verify the trustworthiness properties early at design time. Towards this goal we present in this paper a meta-architecture and TADL, a new architecture description language suited for describing the architecture of trustworthy component-based systems. The TADL is a uniform language for specifying the structural, functional, and nonfunctional requirements of component-based systems. It also provides a uniform source for analyzing the different trustworthiness properties.
UR - https://www.scopus.com/pages/publications/56649103542
U2 - 10.1007/978-3-540-88030-1_23
DO - 10.1007/978-3-540-88030-1_23
M3 - Conference Proceeding
AN - SCOPUS:56649103542
SN - 3540880291
SN - 9783540880295
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 290
EP - 297
BT - Software Architecture - Second European Conference, ECSA 2008, Proceedings
T2 - 2nd European Conference on Software Architecture, ECSA 2008
Y2 - 29 September 2008 through 1 October 2008
ER -