Title :
Software architecture analysis based on statechart semantics
Author :
Dias, Marcio S. ; Vieira, Marlon E R
Author_Institution :
Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
Abstract :
High assurance architecture-based and component-based software development relies fundamentally on the quality of the components of which a system is composed and their configuration. Analysis over those components and their integration as a system plays a key role in the software development process. This paper describes an approach to develop and assess architecture and component-based systems based on specifying software architecture augmented by statecharts representing component behavioral specifications. The approach is applied for the C2 style and associated ADL and is supported within a quality-focussed environment, called Argus-I, which assists specification-based analysis and testing at both the component and architecture levels
Keywords :
formal specification; object-oriented methods; programming environments; software architecture; ADL; Argus-I; C2 style; architecture description languages; component behavioral specification; component-based software development; high assurance development; quality-focussed environment; software architecture analysis; software development process; specification-based analysis; statechart semantics; Computer architecture; Computer science; Connectors; Independent component analysis; Programming; Quality assurance; Software architecture; Software engineering; Software systems; Software testing;
Conference_Titel :
Software Specification and Design, 2000. Tenth International Workshop on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7695-0884-7
DOI :
10.1109/IWSSD.2000.891134