Abstract:

AADL is a semiformal modeling language based on components, which models software and hardware for largescale complex software systems uniformly by structured description, and describes effectively system functional behaviors, nonfunctional attributes and architecture dynamic evolution in runtime, but some questions of AADL are required to further stduy and improve. This paper analyzes firstly the status quo of research for the AADL formal semantics, defines the formal language for the subset of the AADL process, makes a communication model for the subset of the AADL process, defines the concept of event formally, and clarifies the important role of event during the system status transformation, studies the behavioral semantics for the subset of the AADL process, and finally illustrates our advantages by contrasting with other literatures. This paper provides beneficial consultation for the development of AADL and its formal semantics and further improves the technology of architecture modeling and analysing for largescale complex software systems.

Key words: behavioral semantics;formal language;AADL;event;architecture