On denotational semantics of spatial-temporal consistency language - STeC

Hengyang Wu; Yixiang Chen; Min Zhang

doi:10.1109/TASE.2013.16

On denotational semantics of spatial-temporal consistency language - STeC

Hengyang Wu
, Yixiang Chen
, Min Zhang

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

10 Scopus citations

Abstract

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.

Original language	English
Title of host publication	Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013
Pages	113-120
Number of pages	8
DOIs	https://doi.org/10.1109/TASE.2013.16
State	Published - 2013
Event	2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013 - Birmingham, United Kingdom Duration: 1 Jul 2013 → 3 Jul 2013

Publication series

Name	Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013

Conference

Conference	2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013
Country/Territory	United Kingdom
City	Birmingham
Period	1/07/13 → 3/07/13

Keywords

Cyber-Physical Systems
Formal Semantics
Spatial-Temporal Consistency
Specification Language

Access to Document

10.1109/TASE.2013.16

Cite this

Wu, H., Chen, Y., & Zhang, M. (2013). On denotational semantics of spatial-temporal consistency language - STeC. In Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013 (pp. 113-120). Article 6597885 (Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013). https://doi.org/10.1109/TASE.2013.16

@inproceedings{a8c15225044e48f6a45c4df7bff0cb23,

title = "On denotational semantics of spatial-temporal consistency language - STeC",

abstract = "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.",

keywords = "Cyber-Physical Systems, Formal Semantics, Spatial-Temporal Consistency, Specification Language",

author = "Hengyang Wu and Yixiang Chen and Min Zhang",

year = "2013",

doi = "10.1109/TASE.2013.16",

language = "英语",

isbn = "9780768550534",

series = "Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013",

pages = "113--120",

booktitle = "Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013",

note = "2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013 ; Conference date: 01-07-2013 Through 03-07-2013",

}

Wu, H, Chen, Y & Zhang, M 2013, On denotational semantics of spatial-temporal consistency language - STeC. in Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013., 6597885, Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, pp. 113-120, 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, Birmingham, United Kingdom, 1/07/13. https://doi.org/10.1109/TASE.2013.16

On denotational semantics of spatial-temporal consistency language - STeC. / Wu, Hengyang; Chen, Yixiang; Zhang, Min.
Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013. 2013. p. 113-120 6597885 (Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 -

On denotational semantics of spatial-temporal consistency language - STeC

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this