计算机科学２０００Ｖｏ【２７№】
软件体系结构描述语言ＡＤＬ及其研究进展¨
Ａｄｖａ“ｃ。“掉ｎｌｏｆＡｒｃｈＩｔ。ｃｔｕｒｅＤｅｓｃｒＩｐｔＩｏｎＬａ嗯ｕ３９ｅ（ＡＤＬ）
孙志勇剿宗田袁魏山
（台肥工业大学计算机学院合＿】ｊ巴２３００２２）
ＡｂｓＩｒａｃｔ！ｂｆｔ㈣ａｒｃｂｉｔｅｃ￡ｕｒｅｓｓｈｌｈｔｈｅｆｏｃｕｓｏｆｄｅｖｅｌｏｐｅｒｓｆｒｏｎｌｌｍｅｓ—ｏｆｃｏｄｅｔｏｃｏａｒｓｅｒ—ｇｒａｌｎｅｄａｒ—ｃｂｉ￡ｅｃｔ《姆ｌ＃ｌｅ｛ｎｅｎｔ㈣ｄｔｂ抒。哪ａ珏ｍｔｅｒｃｏｎｈｅｃｔｉｏｎｓｔｒｎｅ｛Ｈｒｅ．ＡＦｅｈｔｔｅｃｔｕｒｅｄｅ§ｅｆｌｐ｝ｌ。ｎ
１３“ｇｎ３９ｅｓ｛ＡＤＬｓ）ｈａｖｅｂｅｅｎｐｆ。ｐ。ｓ￡ｄ８ｓｍ。ｄｅ｝：ｎｇｎ。ｃａｔｌｏｎｓ抽ｓｎｐ即ｒｔ
ａｒｃ瓤ｔｅｃｔｕｒｅ＿ｂ㈣ｄｄｅｖｅｌｏｐｍｅｎｔ，Ａ｛ｔｈｏ“ｇｂｌｌｔｔｌＥｃｏｎ∽舳ｕ５ｍｔｈｅｒｅｓ鼬ｒｃｈｃｏｍｍｕｎｌｔｙｏｎｗｈａｔｉｓａｎＡＤＬ，ｔｈ聃Ｐ印㈣ｎｅｍｐｔｓ仲ＰｒｏⅥｄｅａｆｒａＨ挖ｍｗｏｒｋ“ＡＤＬ，Ｉｔｐｒ眦ｎｔｓａｄｅｌｌｎＬｔｌｏｎａｎｄａｃｌａ８戳矗ｃａｔＬｏｎｆｒａｍｅｗｏｒｋｆｏｒＡ【）Ｌｓ．Ｉｃａ】ｓｏｐｒｅｓｅｎｔｓｔｈｅａｓ．ＤｅｃｔｓｏｆｆｕｒｔｈｅｒｗｏｒｋｏｎＡＤＬｒｅｓｅａｒｃｈ．
Ｋｅｙｗｅｆ如Ａ｝ｃｈｌｔｅｅｔｕ『ｅｓ，Ａｒｃｂｌｔｅｃｔｕ牲ｄｅｓ￡ｆｌｐ｛ｉｏｈｌａｎｇⅡ３９ｅ５（Ａ转乙）
１．引言
ＰｅⅡｙ与ｗ０１ｆｃｌｌ，Ｇａｒｌａｎ与ｓｈａｗⅢ的早期研究成果发表岳．软件体系结掏鲍班竞ｇｌ趣了学术界拯太强趣。嚣翦，敦薛体系结掏已经或簿软件工程爵究孛静热点，弦国学者也开始了跟踪研究：”】，在文［３］中，ｓｈａｗ与Ｇａｒｌａｎ指出，软件体系结构的研究活动大致分跚娄：
ｌ。提供薪蛇“体系结梅接述添袁”ｔＡＤＬ）来论述俸幕结褥特挺。也嚣是巍，ＡⅨ，的强曲是为实蓐王｛擘者提供更好的剡厕体系结构的方法．使他们可蛆相曩交流。
２体系结构专门知识的编撰，遗方面工作涉及剥对不同体系结构艨理和类别进行势类与推理。这些擐理与模式是王穰籍粕在轻浮实黢串发最莛来弱。
３．论述专门领蛾框檠。这可以获得持殊类型软件的体系结掏框架，如航空控制系统、运动机器人、用户界面等。成功后，对这些框架的简单实例化就可以形成漩领域的藕产鼎。
４醑究软捧体系结拇簿形式纯基穗。开发蹩赫赫符号语言使体鬃铺构设计实戥受赫于理解。
软件体系结构研究的直接日的是降低应用系统开发成本．增加关联絮密的产品旗中不同成员之问婪性螅潜力小“。基于公搀体系结构方竣的软件开发将其焦点从代码行转移到了大粒度的体系结构元索（软件组件与联结）＿驶萁整体互联结构。为支持基于体系宝；！ｆ构的开发，需要材彤式化建模符号．体系结构说明的分析与开发工具。体系臻掬摧连滔蠢（ＡⅨ，，及其薛垒的王具囊藕差为了满是这样豹要求。
＾ＤＬ作为形式化地表示葺ｊ＝件系统体系结构的工具呈现卅强大的生命力。ＡＤＬ近来成为软件体累结构群体中的研究热点“ｑ）。宴簖工作者将这些ＡＯＬ及其提供的支持王具集应碍于蕊践中。获得了戏秘０２”】；在十且释矗转Ｌ｛｝｝理后，为了避一一乎把握Ａ黼．的内涵。为新的ＡｎＬ研究提供方向，国外一些学者对现有的ＡＤＬ进行了分类与比较研究－“…］。同时．秘们注意到，不同的ＡＤＬ所支持的抽象能力及其提供的分析能力变化禳失＋学末界对ＡＤ乙的定义趣未取褥一致。奉文将扶Ａ转Ｌ静基奉共攫穗发，墓结ＡⅨ。瓣臻姥，分析进一特工作的方向。
２．ＡＤＬ的蕊本概念
总的泉淡，ＡⅨ，是这撵一种语言，系统缎的软｛牛设｝｝老可敷鞠用它辑撵供貔挎佳进行软释系统辫念捧系结构建搅。ＡＤＬ提供了典体的语法与刻画体系结构的概念框架。“Ｊ。概念框架厦艘了领域的特性和７或体系结掏风格。
２１瓣Ａ１）Ｌ的不同理解
＋｝幸文疆萄家教育郭博士点基金详越“藏向讯ｂ曲疆辟他ｃＡｓＥ模型研究”＋摊惠勇博士生，讲宽方南软件捧鬟结摘、组件技术、需求工程肆．刘采田研究员，博士生导师，研究方向．软件工程、＾工智能、厦编译技术等Ｉ翥兆山教授．研宽方向ｖ转件体系结构、软件工程等．
－３６?
万方数据