期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于时态逻辑的软件体系结构描述语言及其可视化环境 被引量：4

An Architecture Description Language Based on Temporal Logic and Its Visual Support Environment
在线阅读 下载PDF
导出
摘要 在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。 ： This paper presents a visual architecture description language XYZ／ADL based on temporal language XYZ／E.It can represent both of the static and dynamic aspects of software architecture.XYZ／ADL can finish smoothly the transformation between architectures in different abstract levels in a uniform，and combines advantages of the modular programming and specification－based programming．
作者 张广泉 郑建丹 骆华俊
机构地区 中科院软件所计算机科学开放研究实验室
出处 《计算机工程与应用》 CSCD 北大核心 2001年第5期14-16,共3页 Computer Engineering and Applications
基金 国家自然科学基金!(60073020) 国家"九五"攻关项目!(98-780-01-07-01) 863高科技项目!(863-306-ZT02-04-01)::中科
关键词 时态逻辑 XYZ/E 软件体系结构 体系结构描述语言 可视化 ： temporal logic，XYZ／E，software architecture，architecture description language，XYZ／ADL
分类号 TP312 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献3

二级参考文献11

  • 1张广泉.第5届国际青年计算机学术会议[M].,1999..
  • 2张广泉，ICYC'99，1999年
  • 3张广泉，'98 SSTC，1998年，46页
  • 4Tang Zhisong，Systems Implementation 2000，1998年
  • 5Shaw M，Software architecture:perspectives on an emerging discipline，1996年
  • 6Moriconi M，ACM SIGSOFT Software Engineering Notes，1994年，19卷，5期，164页
  • 7Garlan D，Advances in Software Engineering and Knowledge Engineering，1993年，1页
  • 8唐稚松，时序逻辑程序设计与软件工程，1999年
  • 9Shaw M，Software Architecture，1996年
  • 10Tang Zhisong，Chin J Adv Software Res，1994年，1卷，1期，1页

共引文献39

同被引文献16

  • 1张辉,杨岳湘,汪诗林.数字校园中基于LDAP的统一用户身份管理技术研究[J].计算机工程与科学,2005,27(1):14-16. 被引量：29
  • 2郑建丹 张广泉 等.体系结构描述语言研究[J].南京大学学报,2000,10.
  • 3刘超 张莉.可视化面向对象建模技术－标准建模语言UML教程[M].北京:北京航空航天大学出版社,2000.刘.
  • 4[1]Shaw M ,Garlan D. Software Architecture: perspectives on an emerging discipline[M], Prentic Hall,1996.
  • 5[10]张广泉, 唐稚松.一种新的软件体系结构描述语言[A],2000年中国博士后学术大会论文集[C], 北京:科学出版社, 2001,505-509.
  • 6Allen R.A Formal Approach to Software Architecture{D].Ph D Thesis. CMU/SEI, 1997.
  • 7Medvidovic N,Riachard N T.A Classification and Comparison Framework for Software Architectures Description Languages[J].IEEE Tran Soft Eng,2000;26( 1 ) :70-93.
  • 8ZHANG Guangquan.A Software Architecture Description Approach Based on XYZ/E[C].In:Proc of 7th Inter Syrup on Future Soft Tech ISFTS-2002,2002-10: 374-377.
  • 9Moriconi M,0ian X,Riemenschneider R.Correct Architecture Refinement[J].IEEE Tran Soft Eng,1995;21(4):356-372.
  • 10David Garlan.Style-Based Refinement for Software Architecture[C].In: Proceedings of the Second International Software Architecture Workshop(ISAW2), 1996-10.

引证文献4

二级引证文献7

计算机工程与应用
2001年 第5期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部