On Denotational Semantics of Spatial-Temporal Consistency Language -- STeC

On Denotational Semantics of Spatial-Temporal Consistency Language -- STeC
复制标题

DOI：
10.1109/tase.2013.16
复制
发表时间：
2013-07
期刊：
2013 International Symposium on Theoretical Aspects of Software Engineering
影响因子：
--
通讯作者：
Hengyang Wu;Yixiang Chen;Min Zhang
Hengyang Wu;Yixiang Chen;Min Zhang
中科院分区：
其他
文献类型：
--
作者：
Hengyang Wu;Yixiang Chen;Min Zhang

文献摘要

被引文献

相似文献

为了描述网络物理系统的空间和时间一致性的要求，Chen在[1]中提出了一种称为STEC的规范语言。在本文中，我们专注于STEC语义理论。简单地重述语法和操作语义之后，我们主要建立了STEC的典型语义。为了调查典型语义的合理性，给出了一个抽象的定理，以显示诺言语义的健全性和完整性。最后，一个简单的案例（这意味着高速列车）可以展示如何计算操作和典型语义。
In order to describe the requirement of spatial and temporal consistency of cyber-physical systems, a specification language called as STeC was proposed by Chen in [1]. In this paper, we focus on the theory of semantics of STeC. After simply restating the syntax and operational semantics, we mainly establish the denotational semantics of STeC. To investigate the reasonability of the denotational semantics, an abstract theorem is given to show the soundness and completeness of the denotational semantics. Finally, a simple case about China Gaotie (which means High-speed train) is given to show how to compute the operational and denotational semantics.