软件体系结构描述语言-WrightADL

下载PDF

导出

摘要本文主要介绍一种比较具有代表性的软件体系结构描述语言-WrightADL,通过一个简单的例子对WrightADL的语法进行说明,最后讨论了WrightADL的一致性检测方法。

作者陈雪元

机构地区广东省国防科技高级技工学校

出处《科技风》 2014年第9期53-54,共2页

关键词体系结构描述语言(ADL) WrightADL 一致性检测

参考文献2

1[]C·A·R·Hoare 著,周巢尘译.通信顺序进程[M]. 北京大学出版社, 1990
2Robert Allen,David Garlan.A formal basis for architectural connection[J].ACM Transactions on Software Engineering and Methodology (TOSEM).1997(3)

1Chert Li,Hong-Ji Yang,Mei-Yu Shi,Wei Zhu.xBreeze/ADL:A Language for Software Architecture Specification and Analysis[J].International Journal of Automation and computing,2016,13(6):552-564.
2郑珺,潘雪增,平玲娣,沈海斌,严晓浪.CPU开发工具链的自动设计[J].计算机工程,2004,30(13):191-194.
3柴世红.软件体系结构研究概述[J].兰州工业高等专科学校学报,2008,15(1):40-44. 被引量：2
4焦桐礼,高建清.多机系统的体系结构描述语言MS-HADL[J].计算机学报,1991,14(6):452-459.
5刘兵良,朱小军.对软件体系结构的一些探讨[J].信息与电脑（理论版）,2011(7):32-32. 被引量：1
6王丹.静态代码和模型检测一致性的设计研究[J].数字技术与应用,2016,34(5):45-45.
7许静,庞博,王庆人.基于结构模式的构件系统测试方法[J].计算机科学,2005,32(11):227-230.
8魏慧,戎玫,张广泉.一种基于体系结构的Web服务组合描述方法[J].计算机工程与科学,2008,30(12):5-8. 被引量：3
9刘舒婷.基于有限状态机理论的UML模型一致性检测方法研究[J].电子技术与软件工程,2015(21):84-85.
10唐朝晖.基于非单调推理的防火墙规则一致性检测与包容[J].福建中学数学,2008(2):46-48.

科技风

2014年第9期

内容加载中请稍等...