AADL进程子集行为语义研究.pdfVIP

CN43-1258/TP 2012 年第 34 卷第 7 期 计算机工程与科学 ISSN 1007-130X c。如1PUTER ENGINEERING . SCIENCE Vo I. 34 ,No.7 ,Z012 文章编号: 1007-130X(2012)07-0093-06 AADL 进程子集行为语义研究* Research on Behavioral Semantics for the Subset of the AADL Process 苗德成2.z ，翼建清z ，苏锦锢Z 1 2 MIAO De-cheng ,2 ,XI Jian-qini ,SU Jin-dian (1.韶关学院数学与信息科学学院，广东韶关 512005; 2. 华南理工大学计算机科学与工程学院，广东广州 510006) (1. School of Mathmatics and Information Science ,Shaoguan University ,Shaoguan 512005; 2. School of Computer Engineering and Science , South China University of Technology ,Guangzhou 510006 ,China) 摘 要 :AADL 是一种基于纽件的半形式化建模语言，采用结构化方法对大型复杂软件系统的软硬 件进行统一建模，有效描述系统的功能行为、非功能属性以及运行时的体系结构动态演化，但其许多问题 需要进一步研究与完善。本文首先分析了 AADL 形式语义研究现状，然后定义了 AADL 进程子集的形 式语言，建立了 AADL 进程子集通信模型，通过对事件的形式化定义和分析体现了事件在系统状态转变 过程中的重要作用，对 AADL 进程子集行为语义进行了研究。与相关研究成果的对比说明了本文的优 势。本文为 AADL 语言及其形式语义的发展提供了一种有益的参考，进一步完善大型复杂软件系统体系 结构建模与分析技术。 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 de scribes effectively system functional behaviors , non-functional attribut巳s and architecture dynamic evolu- tion in run-time , but some questions of AADL are required to further stduy and improve. This paper an- alyzes firstly the status quo of research for the AADL formal semantics , defines the formallanguage for the subset of the AADL process , makes a comm