收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于时序逻辑语言XYZ/E的软件体系结构描述方法

张广泉  唐稚松  
【摘要】:XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 阎安,唐稚松;基于 XYZ/ E的混成系统(英文)[J];软件学报;2000年01期
2 李广元,唐稚松;时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文)[J];软件学报;2000年03期
3 焦文品,史忠植;用XYZ/E形式化体系结构风格[J];软件学报;2000年03期
4 张广泉,郑建丹,骆华俊;基于时态逻辑的软件体系结构描述语言及其可视化环境[J];计算机工程与应用;2001年05期
5 张广泉,郑建丹,舒明;基于时态逻辑语言XYZ/E的软件体系结构研究(I)——基本组件和连接件的描述[J];重庆师范学院学报(自然科学版);2001年03期
6 郭亮,唐稚松;基于XYZ/E描述和验证容错系统[J];软件学报;2002年05期
7 张广泉,朱雪阳,郑建丹;基于时态逻辑语言XYZ/E的软件体系结构(Ⅱ)——常见体系结构风格的描述[J];重庆师范学院学报(自然科学版);2002年01期
8 张广泉,唐稚松;基于时序逻辑语言XYZ/E的软件体系结构描述方法[J];淮阴师范学院学报(自然科学版);2002年01期
9 张俊彩,余镇危,潘耘;CSCW时序逻辑模型交互行为的正确性研究[J];计算机工程与应用;2003年05期
10 张广泉 ,戎玫 ,晏荣杰;基于时序逻辑语言描述的监控系统的软件体系结构求精[J];计算机工程与应用;2003年31期
中国博士学位论文全文数据库 前1条
1 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院(软件研究所);2005年
中国硕士学位论文全文数据库 前2条
1 刘俭云;基于时序逻辑语言XYZ/E的CA认证系统描述与求精[D];苏州大学;2005年
2 黄正宝;可视化与形式化相结合的软件体系结构描述研究[D];苏州大学;2006年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978