Analyzing the dynamics of a Z specification

被引：0
|
作者：
Ciancarini, P
Mascolo, C
机构：
来源：
DESIGN AND IMPLEMENTATION OF SYMBOLIC COMPUTATION SYSTEMS | 1996年 / 1128卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present a method for analyzing the dynamics of a Z document describing a non-sequential system. First a formal operational semantics based on the chemical metaphor is given to Z. Then, some Unity-like temporal logic constructs are defined on such a formal operational semantics in order to allow the specification and analysis of dynamic and temporal properties of concurrent systems, such as safety and liveness properties.
引用
收藏
页码：138 / 149
页数：12
相关论文
共 50 条
  • [1] The specification logic νZ
    Henson, Martin C.
    Deutsch, Moshe
    Kajtazi, Besnik
    FORMAL ASPECTS OF COMPUTING, 2006, 18 (03) : 364 - 395
  • [2] Z AND SYSTEM SPECIFICATION
    INCE, D
    INFORMATION AND SOFTWARE TECHNOLOGY, 1988, 30 (03) : 138 - 145
  • [3] VIEWPOINT SPECIFICATION AND Z
    AINSWORTH, M
    CRUICKSHANK, AH
    WALLIS, PJL
    GROVES, LJ
    INFORMATION AND SOFTWARE TECHNOLOGY, 1994, 36 (01) : 43 - 51
  • [4] THE Z SPECIFICATION DEPENDENCE GRAPH
    Wu Fangjun Yi Tong Laboratory of Computer Center Yichun University Yichun China
    Journal of Electronics, 2005, (02) : 201 - 204
  • [5] THE Z SPECIFICATION DEPENDENCE GRAPH
    Wu Fangjun Yi Tong (Laboratory of Computer Center
    Journal of Electronics(China), 2005, (02) : 201 - 204
  • [6] The Specification Logic nu Z
    Henson, Martin C.
    Kajtazi, Besnik
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 137 (02) : 111 - 129
  • [7] Z SPECIFICATION OF AN OBJECT MANAGER
    CHALIN, P
    GROGONO, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 428 : 41 - 71
  • [8] Approach to constructing Z specification
    Liu, Ling
    Miao, Huaikou
    Jisuanji Gongcheng/Computer Engineering, 2000, 26 (02): : 39 - 41
  • [9] FORMAL SPECIFICATION IN "Z" LANGUAGE BY SOFTWARE Z/EVES
    Svec, J.
    Zahradnik, J.
    ADVANCES IN ELECTRICAL AND ELECTRONIC ENGINEERING, 2006, 5 (01) : 166 - 168
  • [10] The study of Object-Z specification format for specification animation
    Chen, YH
    Miao, HK
    Zhu, J
    PROCEEDINGS OF THE 11TH JOINT INTERNATIONAL COMPUTER CONFERENCE, 2005, : 738 - 741
12345