唐稚松
- 作品数：34 被引量：254H指数：10
- 供职机构：中国科学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划更多>>
- 相关领域：自动化与计算机技术经济管理兵器科学与技术文学更多>>
- 基于时序逻辑的软件体系结构描述语言XYZ/ADL被引量：55
- 2003年
- 体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于XYZ/E的体系结构描述语言XYZ/ADL支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了XYZ/ADL的概念框架并用XYZ/E进行语义解释,介绍了如何用XYZ/ADL描述体系结构和体系结构风格.
- 朱雪阳唐稚松
- 关键词：时序逻辑软件体系结构描述语言XYZ/ADL体系结构描述语言时序逻辑语言
- 一种面向软件工程的时序逻辑语言被引量：20
- 1994年
- ＸＹＺ系统由时序逻辑语言ＸＹＺ／Ｅ及一组基于该语言的ＣＡＳＥ工具集组成．ＸＹＺ／Ｅ语言的目的是欲使逐步求精，描述及验证、快速原型等一些软件工程方法更加有效．特别地，它还能表示实时通信进程中的动态成分．在统一的框架下，不仅能表示不同层次的抽象描述，而且能表示普通高级语言的各种重要性质．本文是关于这一时序逻辑语言最新、最完整的介绍．
- 唐稚松赵琛
- 关键词：软件工程时序逻辑语言CASE
- 基于 XYZ/ E的混成系统(英文)被引量：5
- 2000年
- 混成系统是由计算机和物理设备组成的嵌入式实时计算系统 .它允许在交互式实时系统中引入连续变化的单元 .XYZ/ E是基于 Manna- Pnueli的线性时序逻辑的程序设计语言 .它将程序的动态语义与静态语义统一在同一框架中 ,支持从抽象的程序规范到可执行代码的逐步求精的全过程 .该文使用 XYZ/ E语言描述和验证混成系统 .首先介绍了计算模型 ,然后介绍了 XYZ语言对混成系统的形式化描述 ,最后介绍了混成系统的验证 .与同类工作相比 ,XYZ/ E支持状态转换 ,从而可以方便地描述复杂的控制算法 .
- 阎安唐稚松
- 关键词：混成系统时序逻辑语言
- 一种新的软件体系结构描述语言
- 分析了现有常见软件体系结构描述语言的特性,提出一种新的可视化体系结构描述语言XYZ/ADL,它由组件、连接件和交互端等基本设计单元构成,可表示常见的不同风格的软件体系结构.
- 张广泉唐稚松
- 关键词：结构描述语言可视化
- 文献传递
- 我国软件产业发展中几个问题被引量：1
- 1995年
- 我国软件产业发展中几个问题ＰｒｏｂｌｅｍｓｉｎｔｈｅＤｅｖｅｌｏｐｍｅｎｔｏｆＣｈｉｎａ＇ｓＳｏｆｔＷａｒｅＩｎｄｕｓｔｒｙ￥／／唐稚松（中国科学院软件研究所，北京１０００８０）长期以来，国内外专家均认为我国有发展软件产业的潜力，但现实情况却不尽如人...
- 唐稚松
- 关键词：软件开发软件工程计算机工业
- XYZ:一种系列化语言族及其软件工程环境
- 1992年
- 一、历史背景多年来一直困扰程序技术研究领域的一个根本问题是计算机程序难写、难读、易错、难以维护,致使软件生产率很低。对比之下,计算机应用的发展及硬件生产率的提高却非常快,很不匹配,针对这个问题,30多年来,程序技术的研究可分为三个阶段。1.高级语言时期。从60年代初起,人们认识到,为了解决程序难写、难读、易错,难以维护的困难,应将书写程序所用的程序语言与在计算机上执行的机器语言区分开来。
- 唐稚松
- 关键词：计算机软件工程
- 三机冗余容错系统的描述和验证被引量：8
- 2003年
- 使用XYZ/E描述和验证三机冗余容错系统.考虑每台计算机加载了一个不断向外界环境输出数据的确定性顺序程序P,用XYZ/E程序SingleProcessorP刻画程序P在单机上运行,用时序逻辑式SpecP刻画P向外部环境输出的数据所满足的性质.最后证明,采用三机冗余模式所得到的程序TripleProcessorsP即使在出现硬件错误的情况下运行,也能满足性质SpecP.
- 郭亮唐稚松
- 关键词：计算机容错性
- 基于时序逻辑语言XYZ/E的软件体系结构描述方法被引量：2
- 2002年
- XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合。
- 张广泉唐稚松
- 关键词：软件体系结构时序逻辑语言XYZ/E组件连接件
- UML活动图的时序逻辑语义被引量：24
- 2005年
- UML活动图可以表示不同抽象级的控制流,很适合用于对系统的行为建模.但是缺乏精确的语义使得难以对它所表示的系统行为进行分析.XYZE是一可执行线性时序逻辑语言,既可描述系统的动态行为又可表示程序性质,用它对活动图形式化后,就可在统一的逻辑框架下分析活动图的性质.定义了一个有向图结构用以表示UML活动图,再给出其XYZE语义,并用一个例子说明活动图到XYZE的语义转换,为进一步的分析提供形式化基础.
- 朱雪阳唐稚松
- 关键词：活动图形式化语义时序逻辑XYZ/E
- N_L:松弛时序逻辑自然推理系统被引量：2
- 1993年
- 由于时序逻辑的特性所在,经典逻辑的某些规则不能直接用于时序自然推理,虽然N系统给出了一个解决办法——把所有规则或推理分为两类:垂直型和水平型,但这种二维模式又为推理带来了某些困难。本文提出了N_L松弛时序逻辑自然推理系统,它为以上两类推理提供了统一视角,我们可以证明:N_L与N等价;有N的证明则必有长度不超过它的N_L证明。
- 何锫唐稚松
- 关键词：时序逻辑
