TY - GEN
T1 - On denotational semantics of spatial-temporal consistency language - STeC
AU - Wu, Hengyang
AU - Chen, Yixiang
AU - Zhang, Min
PY - 2013
Y1 - 2013
N2 - 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.
AB - 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.
KW - Cyber-Physical Systems
KW - Formal Semantics
KW - Spatial-Temporal Consistency
KW - Specification Language
UR - https://www.scopus.com/pages/publications/84886446743
U2 - 10.1109/TASE.2013.16
DO - 10.1109/TASE.2013.16
M3 - 会议稿件
AN - SCOPUS:84886446743
SN - 9780768550534
T3 - Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013
SP - 113
EP - 120
BT - Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013
T2 - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013
Y2 - 1 July 2013 through 3 July 2013
ER -