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 条
  • [31] An interface specification language for automatically analyzing cryptographic protocols
    Brackin, SH
    1997 SYMPOSIUM ON NETWORK AND DISTRIBUTED SYSTEM SECURITY, PROCEEDINGS, 1997, : 40 - 51
  • [32] SPECIFICATION AND VERIFICATION OF DATABASE DYNAMICS
    FIADEIRO, J
    SERNADAS, A
    ACTA INFORMATICA, 1988, 25 (06) : 625 - 661
  • [33] ESCAPE DYNAMICS AND POLICY SPECIFICATION
    Berardi, Michele
    MACROECONOMIC DYNAMICS, 2013, 17 (01) : 123 - 142
  • [34] Dynamics of Drosophila endoderm specification
    Keenan, Shannon E.
    Avdeeva, Maria
    Yang, Liu
    Alber, Daniel S.
    Wieschaus, Eric F.
    Shvartsman, Stanislav Y.
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2022, 119 (15)
  • [35] Kinematic specification of dynamics in action
    Horn, RR
    Greenwood, J
    Scott, MA
    Williams, AM
    Hayes, SJ
    JOURNAL OF SPORT & EXERCISE PSYCHOLOGY, 2002, 24 : 70 - 71
  • [36] The dynamics of λ+z+exp(z)
    Petek, P
    Rugelj, MS
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1998, 222 (01) : 38 - 63
  • [37] Dynamics of λ+z+exp(z)
    J Math Anal Appl, 1 (38):
  • [38] Format specification of multimedia database modeling with Z notations
    Shih, TK
    Lin, NP
    Keh, HC
    Wang, YH
    Lin, SC
    COMPUTERS AND THEIR APPLICATIONS: PROCEEDINGS OF THE ISCA 12TH INTERNATIONAL CONFERENCE, 1997, : 210 - 213
  • [39] Including design guidelines in the formal specification of interfaces in Z
    Bowen, J
    Reeves, S
    ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS, 2005, 3455 : 454 - 471
  • [40] Reusable test models and application based on Z specification
    Cai, Lizhi
    Tong, Weiqin
    Yang, Genxing
    Liu, Zhenyu
    2007 2ND INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND APPLICATIONS, VOLS 1 AND 2, 2007, : 523 - +
12345