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

XYZ/E在CA认证系统的一个初步应用

刘俭云  戎玫  张广泉  
【摘要】:时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,支持软件体系结构从高层到低层的逐步过渡。该文建立了CA认证系统组件模型,采用基于组件的逐步求精方法,用XYZ/E描述了CA认证系统的体系结构。

知网文化
【相似文献】
中国期刊全文数据库 前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