AADL是一种基于组件的半形式化建模语言,采用结构化方法对大型复杂软件系统的软硬件进行统一建模,有效描述系统的功能行为、非功能属性以及运行时的体系结构动态演化,但其许多问题需要进一步研究与完善.本文首先分析了AADL形式语义研究现状,然后定义了AADL进程子集的形式语言,建立了AADL进程子集通信模型,通过对事件的形式化定义和分析体现了事件在系统状态转变过程中的重要作用,对AADL进程子集行为语义进行了研究.与相关研究成果的对比说明了本文的优势.本文为AADL语言及其形式语义的发展提供了一种有益的参考,进一步完善大型复杂软件系统体系结构建模与分析技术.%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, nonfunctional 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.
展开▼
