Skip to main content
Article thumbnail
Location of Repository

Extending xADL with Statechart Behavioral Specification

By Leila Naslavsky, Lihua Xu, Marcio Dias, Hadar Ziv and Debra J. Richardson


Architecture-based analysis and testing of systems plays a key role in increasing their dependability. In order to perform those activities, both structural and behavioral architecture descriptions are needed. In most ADLs, support for representing dynamic behavior at the architectural level is either unavailable or is available only using the particulars of that ADL, thereby limiting its usefulness. xADL, an XML-based architecture representation, provides only structural architectural descriptions, not enough to perform analysis of dynamic behavior. This paper builds upon xADL and an existing analysis tool (Argus-I) to create an approach to xADL’s current structural description features, augmenting it with behavioral specifications, namely statecharts. We believe that architectural analysis tools should be independent of their ADLs. Adding explicit support for behavioral description in xADL is the first step toward proper integration of flexible representations of architectures with flexible capabilities for their analysis and test. 1

Year: 2004
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.