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 条
  • [41] A Z-Specification of classification and relationships between usecases
    Kakollu, Durga Prasad
    Chaudhary, B. D.
    PROCEEDINGS OF NINTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, : 779 - 784
  • [42] An Instance to Extend Object-Z Formal Specification
    Hou, Xiaomao
    Ma, Ling
    Wen, Zhicheng
    ADVANCES IN MECHATRONICS, AUTOMATION AND APPLIED INFORMATION TECHNOLOGIES, PTS 1 AND 2, 2014, 846-847 : 1500 - 1504
  • [43] THE FORMAL SPECIFICATION FOR THE INVENTORY SYSTEM USING Z LANGUAGE
    Bakri, Siti Halimah
    Harun, Hanis
    Alzoubi, Amera
    Ibrahim, Rosziati
    COMPUTING & INFORMATICS, 4TH INTERNATIONAL CONFERENCE, 2013, 2013, : 419 - 425
  • [44] From Object-Z specification to Groovy implementation
    Zaker, F.
    Haghighi, H.
    Nazemi, E.
    SCIENTIA IRANICA, 2018, 25 (06) : 3415 - 3441
  • [45] Using Z as a tool to record framelet requirement specification
    Intakosum, S
    BoonJing, V
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IX, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: II, 2003, : 357 - 359
  • [46] Structured object-Z software specification language
    Gao, XL
    Miao, HK
    Chen, YH
    GRID AND COOPERATIVE COMPUTING, PT 1, 2004, 3032 : 956 - 963
  • [47] Specification and development of database applications based on Z and SQL
    Shahreza, Maryam Lotfi
    Moeini, Ali
    Mesbah, Rahmat Ollah
    2009 INTERNATIONAL CONFERENCE ON INFORMATION MANAGEMENT AND ENGINEERING, PROCEEDINGS, 2009, : 399 - +
  • [48] Semantic Web Specification using Z-Notation
    Khan, Sher Afzal
    Hashmi, Aamir Aziz
    Alhumaidan, Fahad
    Zafar, Nazir Ahmad
    LIFE SCIENCE JOURNAL-ACTA ZHENGZHOU UNIVERSITY OVERSEAS EDITION, 2012, 9 (04): : 994 - 1000
  • [49] Real-time and safety critical systems specification: a Z-based specification environment
    Bruel, JM
    France, RB
    Benzekri, A
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTER APPLICATIONS IN INDUSTRY AND ENGINEERING, 1996, : 44 - 47
  • [50] Refinement and Transformation from Z Specification to C+ +
    张晓莺
    陈家训
    Journal of DongHua University, 2001, (04) : 97 - 102
12345