论文部分内容阅读
在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件系结构描述文XYZ／ADL，它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方法和基于规范的农步求精方法有机地结合起来。
基于时态逻辑的软件体系结构描述语言及其可视化环境
【摘 要】
：
在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件系结构描述文XYZ／ADL，它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构
【机 构】
：
中科院软件所计算机科学开放研究实验室
【出 处】
：
计算机工程与应用
【发表日期】
：
2001年5期
【基金项目】
：
国家自然科学基金!（60073020）,国家“九五”攻关项目!（98－780－01－07－01）,863高科技项目!（863－306－ZT02－04－01）::中科
其他文献
新八一大桥是一座跨赣江的特大桥，位于原八一桥上游31-50米处，两岸为南昌市城市建成区，其接线均采用立体交叉形式，其中南引桥为喇叭型全互通立交、北桥头为高架桥跨线形式，南北引
介绍了虚拟现实语言VRML的功能及在计算机仿真结果可视化的应用。讨论在动态系统仿真软件Simulink中生成的三维仿真结果到VRML2．0场景数据的转换，及场景文件的自动生成问题，实现
IKE是一种灵活而相对复杂的密钥管理和交换协议，它的交换主要分为主模式和快速模式，该文对这两种模式的交换进行了分析，对4种认证方式的优劣进行了对比，归纳了其中的密钥衍生规律
房地产是国民经济发展的一个基本要素。任何行业的发展均离不开房地产业。反过来说，任何行业都拥有一定的房地产，都是房地产业经济活动的参与者。因此说，房产地业是一个兼顾劳动
1967年，斯大林女儿斯韦特兰娜·阿利卢耶娃从克格勃眼皮底下叛逃到西方，令克里姆林宫极为震惊。当时任克格勃主席的弗拉基米尔·叶菲莫维奇·谢米恰斯内甚至因此丢
介绍了光纤通道协议用于数据传输的优点，提出了基于光纤通道的高速数据传输系统主机接口的设计方案，给出了接口的硬件结构和软件设计。
论文提出了将数据仓库技术进一步应用于空中交通流量管理原型系统的设想，简单介绍了原型系统的架构，提出了在数据结构和应用结构上的改进方案，并就改进中的关键技术问题进行讨论