可视化体系结构描述语言XYZ/ADL

来源 :软件学报 | 被引量 : 0次 | 上传用户：re_man

【摘要】

：

提出一种基于时序逻辑语言XYZ/E的可视化体系结构描述语言XYZ/ADL(XYZ/architecture description language).它采用组件、连接件及交互端等设计单元,能描述常用的多种软件体

【作者】

：

骆华俊唐稚松郑建丹

【机构】

：

中国科学院软件研究所计算机科学开放研究实验室,北京,100080

【出处】

：

软件学报

【发表日期】

：

2000年8期

【关键词】

：

时序逻辑语言软件体系结构体系结构描述语言组件连接件交互端

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

提出一种基于时序逻辑语言XYZ/E的可视化体系结构描述语言XYZ/ADL(XYZ/architecture description language).它采用组件、连接件及交互端等设计单元,能描述常用的多种软件体系结构.XYZ/E能以统一的形式同时表示静态语义和动态语义,因此,以XYZ/E为基础的XYZ /ADL能在统一框架下完成不同抽象级体系结构设计之间的逐步过渡.

其他文献

管律及其著述研究

明代宁夏人管律先后参与编撰弘治、嘉靖两朝的宁夏地方总志,在宁夏具有重要影响。此外,他还有多篇碑文、奏疏及《芸庄杂录备遗》传世。本文通过对《芸庄杂录备遗》等一手资料

学位

管律著述《芸庄杂录备遗》校勘注释

第3届国际多模态接口会议(The Third International Conference on Multimodal Interfaces)会议通知

期刊

多模态接口会议

戏剧发展困境中的理论探索——吴梅与苏珊·朗格戏剧理论比较研究

20世纪初期,中西传统戏剧同时陷入了发展困境,中西戏剧艺术家和理论家都在积极寻求着戏剧发展的出路。中国戏剧理论家吴梅和美国文艺理论家苏珊·朗格在注意到中西戏剧发展的

学位

戏剧理论吴梅苏珊·朗格戏剧艺术

试论《罗德里格岛游记》中的流亡主题

追寻是一个文学与文化的古老原型母题,如寻找圣杯、金羊毛、生命之水等,但丁的《神曲》、歌德的《浮士德》、班扬的《天路历程》都是西方文学中追寻模式的经典,历代作家都在

学位

勒克莱齐奥流亡罗德里格岛游记家族寻根

基于事件约束的分布式程序正确性测试

由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时,必须考虑程序执行时的内部状态.这些内部状态通过端口显示为事件序列,程序规约需要对序列中各事件间的

期刊

分布式程序测试自动机模型端口CSPE(constraints on succeeding and preceding events)事件约束

谈汔车用密封胶的正确选用

密封胶作为现代汽车维修中经常使用的密封材质,它几乎可以应用到汽车上各种机械静接合部位,具有防漏、密封作用.由于它的耐压、耐温以及拆卸方便等特点,为解决汽车各密封机件

试析中国新时期女性主义文学批评实践

本文以新时期以来的中国女性主义文学批评实践作为研究对象，进行梳理分析，总结和归纳其类别、特点与不足，指出新时期女性主义文学批评的拓展与创新。　　本文共分为五章。　　

学位

中国新时期女性文学创作女性主义文学批评

蔡元培的美育思想及其现实意义

蔡元培的美育思想作为其美学思想的有机组成部分,是他批判性继承中国传统文化中的合理内容,并吸收包括康德、席勒等在内的西方先进美学思想,加以发展创新的产物。蔡元培从美

学位

蔡元培美育思想“美育代宗教”现实意义

新型矿井提升机双PWM变频调速策略

针对矿井提升机电控系统能量浪费严重、谐波污染大的问题,提出了一种新型的双PWM变频调速控制策略:电压外环采用滑模变结构控制,电压内环采用前馈解耦控制,并结合空间脉宽矢

期刊

PWM矿井提升机PWM整流器变频调速双环控制电网谐波污染电压外环直流电压利用率变频调速控制调制算法

论贾樟柯电影叙事的民间立场

本文分三个部分对贾樟柯的电影进行较为全面、系统的分析，并试图从中提炼出贾樟柯作为一个艺术电影导演，其鲜明而又相对稳定的个人风格。第一章从环境和文化的角度，对贾樟柯个人

学位

可视化体系结构描述语言XYZ/ADL

与本文相关的学术论文