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 条
  • [21] Modeling of Virtual Manufacturing Environment and Z Specification
    Zhao Xiaofeng
    Zhao Zhengxu
    Zhou Yiqi
    Wang Yanyan
    2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND LOGISTICS, VOLS 1-6, 2008, : 2852 - 2855
  • [22] Abstract specification in object-Z and CSP
    Smith, G
    Derrick, J
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 108 - 119
  • [23] SVG web environment for Z specification language
    Sun, J
    Wang, H
    Athauda, S
    Sheik, T
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 480 - 494
  • [24] Formal specification of business rules using Z
    Yoo, HJ
    Choi, JY
    Bai, M
    International Conference on Computing, Communications and Control Technologies, Vol 1, Proceedings, 2004, : 92 - 95
  • [25] Mutation operators for Object-Z specification
    Liu, L
    Miao, HK
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 498 - 506
  • [26] Electropalatographic specification of Croatian fricatives /s/ and /z/
    Liker, Marko
    Horga, Damir
    Mildner, Vesna
    CLINICAL LINGUISTICS & PHONETICS, 2012, 26 (03) : 199 - 215
  • [27] Using Z specification for railway interlocking safety
    Janota, A.
    2000, Technical University of Budapest (28): : 1 - 2
  • [28] A Z specification of use cases: A preliminary report
    Butler, G
    Grogono, P
    Khendek, F
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 505 - 506
  • [29] Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs
    Mendez-Acuna, David
    Galindo, Jose A.
    Combemale, Benoit
    Blouin, Arnaud
    Baudry, Benoit
    SOFTWARE REUSE: BRIDGING WITH SOCIAL-AWARENESS, 2016, 9679 : 393 - 396
  • [30] Analyzing a Formal Specification of Mondex Using Model Checking
    Zeng, Reng
    He, Xudong
    THEORETICAL ASPECTS OF COMPUTING, 2010, 6255 : 214 - 229