位置：立项数据库 > 立项详情页
基于XYZ/E的可视化软件体系结构描述语言研究
  • 项目名称：基于XYZ/E的可视化软件体系结构描述语言研究
  • 项目类别：面上项目
  • 批准号：60073020
  • 申请代码：F020202
  • 项目来源：国家自然科学基金
  • 研究期限：2001-01-01-2003-12-01
  • 项目负责人：唐稚松
  • 负责人职称：研究员
  • 依托单位：中国科学院软件研究所
  • 批准年度：2000
中文摘要：

本项目旨在XYZ/E的基础上，进一步完善XYE/E语言及其可视化集成设计环境，使用户能以所习惯的方式设计软件体系结构并自动生成相应的XYE/E文本程序；研究不同抽象层次体系结怪涔傻挠镆逡恢滦约煅槲侍猓淮佣问焦娣队胫鸩角缶椒ê湍？榛椒ㄓ谢亟岷掀鹄础

中文主题词： 软件体系结构描述语言;时序逻辑;XYZ/E;规范
结论摘要：

英文主题词Architecture Description Language （ADL）; Temporal logic; XYZ/E; specification

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 22
  • 2
  • 0
  • 0
  • 1
期刊论文
基于线性时序逻辑的实时系统模型检查
带有时钟变量的线性时序逻辑与实时系统验证
基于时序逻辑语言XYZ/E的软件体系结构研究(II)—常见体系结构风格的描述
基于时序逻辑的软件体系结构描述语言及其可视化环境
可视化软件体系结构描述工具XYZ/ADL的设计与实现
三机冗余容错系统的描述和验证
一种基于构件的软件体系结构求精方法及其应用
XYZ/E面向对象程序语义概述
基于线性时序逻辑的实时系统建模与求精
UML在运输业务管理系统建模中的应用
基于时序逻辑语言描述的监控系统的软件体系结构求精
基于时态逻辑的软件体系结构描述语言及其可视化环境
面向方面的软件体系结构建模研究
基于XYZ／ADL的电梯控制系统体系结构的描述与求精
一种新型的软件体系结构描述方法研究
Study on conversion mechanism from software architectural description language to UML
XYZ／ADL到UML的一种映射方法
UML Statechart图中数据流的语义及验证
定义及验证UML Statechart图中的数据流语义
基于时序逻辑语言XYZ/E的软件体系结构研究(I)—基本组件和连接件的描述
会议论文
Modeling Real-Time Systems with Continuous-Time Temporal Logic
An XYZ/E Semantics for UML Activity Diagrams
著作
时序逻辑程序设计与软件工程 （下册）
相关项目
控制系统形式化设计中逻辑特征应用的研究
期刊论文 6
女书规范化及识别技术研究
期刊论文 28 会议论文 3 专利 2
规范性情境因素对员工创造力的影响基于意义建构和互动主义的多层次研究
期刊论文 3
面向实时通信协议的结构化测试用例自动生成方法研究
期刊论文 3 会议论文 3
基于规范和多Agent的企业演化建模与仿真
期刊论文 7 会议论文 8
模型检测的理论、技术与工具
期刊论文 5
中国商品期货市场发展进程的总结与分析
期刊论文 10 会议论文 2 著作 1
泛型程序的规范和验证问题研究
期刊论文 5 会议论文 5
基于约束凸多面体和抽象加细技术的混合系统的模型检测
期刊论文 22 会议论文 4 专利 1
唐稚松的项目
基于XYZ系统的实时与两栖反应系统研究
期刊论文 3 会议论文 1 著作 1
一个多用途的机器推理与证明系统RPS
XYZ 系统基础上面向实时控制等工程领域专用环境研究