| AADL进程子集行为语义研究 |
| |
| 引用本文： | 苗德成,奚建清,苏锦钿.AADL进程子集行为语义研究[J].计算机工程与科学,2012,34(7):93-98. |
| |
| 作者姓名： | 苗德成 奚建清 苏锦钿 |
| |
| 作者单位： | 1. 韶关学院数学与信息科学学院,广东韶关512005;华南理工大学计算机科学与工程学院,广东广州510006
2. 华南理工大学计算机科学与工程学院,广东广州,510006 |
| |
| 基金项目： | 国家自然科学基金资助项目，广东省教育部产学研结合项目，韶关学院科研项目 |
| |
| 摘 要： | AADL是一种基于组件的半形式化建模语言,采用结构化方法对大型复杂软件系统的软硬件进行统一建模,有效描述系统的功能行为、非功能属性以及运行时的体系结构动态演化,但其许多问题需要进一步研究与完善。本文首先分析了AADL形式语义研究现状,然后定义了AADL进程子集的形式语言,建立了AADL进程子集通信模型,通过对事件的形式化定义和分析体现了事件在系统状态转变过程中的重要作用,对AADL进程子集行为语义进行了研究。与相关研究成果的对比说明了本文的优势。本文为AADL语言及其形式语义的发展提供了一种有益的参考,进一步完善大型复杂软件系统体系结构建模与分析技术。
|
| 关 键 词： | 行为语义 形式语言 AADL 事件 体系结构 |
Research on Behavioral Semantics for the Subset of the AADL Process |
| |
| MIAO De-cheng
,
XI Jian-qing
,
SU Jin-dian.Research on Behavioral Semantics for the Subset of the AADL Process[J].Computer Engineering & Science,2012,34(7):93-98. |
| |
| Authors: | MIAO De-cheng XI Jian-qing SU Jin-dian |
| |
| Affiliation: | 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) |
| |
| Abstract: | |
| |
| Keywords: | behavioral semantics formal language AADL event architecture |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
|
