论文部分内容阅读
在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件系结构描述文XYZ／ADL，它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方法和基于规范的农步求精方法有机地结合起来。
基于时态逻辑的软件体系结构描述语言及其可视化环境
【摘 要】
：
在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件系结构描述文XYZ／ADL，它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构
【机 构】
：
中科院软件所计算机科学开放研究实验室
【出 处】
：
计算机工程与应用
【发表日期】
：
2001年5期
【基金项目】
：
国家自然科学基金!（60073020）,国家“九五”攻关项目!（98－780－01－07－01）,863高科技项目!（863－306－ZT02－04－01）::中科
其他文献
介绍了虚拟现实语言VRML的功能及在计算机仿真结果可视化的应用。讨论在动态系统仿真软件Simulink中生成的三维仿真结果到VRML2．0场景数据的转换，及场景文件的自动生成问题，实现
论文提出了将数据仓库技术进一步应用于空中交通流量管理原型系统的设想，简单介绍了原型系统的架构，提出了在数据结构和应用结构上的改进方案，并就改进中的关键技术问题进行讨论