Software Architecture Analysis Based on Statechart Semantics

Authors:
Marcio S. Dias;Marlon E. R. Vieira
Affiliations:
Information and Computer Science, University of California, Irvine, Irvine, CA;Information and Computer Science, University of California, Irvine, Irvine, CA
Venue:
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Year:
2000

Citing 5
Cited 2

Foundations for the study of software architecture

ACM SIGSOFT Software Engineering Notes
A language and environment for architecture-based software development and evolution

Proceedings of the 21st international conference on Software engineering
Analyzing software architectures with Argus-I

Proceedings of the 22nd international conference on Software engineering
Acme: an architecture description interchange language

CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Architecture-based specification-time software evolution

Architecture-based specification-time software evolution

Dynamically discovering architectures with DiscoTect

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Discovering Architectures from Running Systems

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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, associated ADL, and is supported within a quality-focused environment, called Argus-I, which assists specification-based analysis and testing at both the component and architecture levels.