TY - GEN
T1 - Denotational approach to an event-driven system-level language
AU - Zhu, Huibiao
AU - He, Jifeng
AU - Peng, Xiaoqing
AU - Jin, Naiyong
PY - 2010
Y1 - 2010
N2 - As a system-level modelling language, SystemC possesses several novel features such as delayed notifications, notification cancelling, notification overriding and delta-cycle. It is challenging to formalise SystemC. In this paper, we study the denotational semantics for SystemC using Unifying Theories of Programming (abbreviated as UTP) [6]. Two trace variables are introduced, one is to record the state behaviours and another is to record the event behaviours. The timed model is formalised in a three-dimensional structure. A set of algebraic laws is explored, which can be proved via the achieved denotational semantics.
AB - As a system-level modelling language, SystemC possesses several novel features such as delayed notifications, notification cancelling, notification overriding and delta-cycle. It is challenging to formalise SystemC. In this paper, we study the denotational semantics for SystemC using Unifying Theories of Programming (abbreviated as UTP) [6]. Two trace variables are introduced, one is to record the state behaviours and another is to record the event behaviours. The timed model is formalised in a three-dimensional structure. A set of algebraic laws is explored, which can be proved via the achieved denotational semantics.
UR - https://www.scopus.com/pages/publications/77955830966
U2 - 10.1007/978-3-642-14521-6_15
DO - 10.1007/978-3-642-14521-6_15
M3 - 会议稿件
AN - SCOPUS:77955830966
SN - 3642145205
SN - 9783642145209
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 258
EP - 278
BT - Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers
T2 - 2nd International Symposium on Unifying Theories of Programming, UTP 2008
Y2 - 8 September 2008 through 10 September 2008
ER -