Abstract State Machines:: a unifying view of models of computation and of system design frameworks

被引：14
|
作者：
Börger, E [1 ]
机构：
[1] Univ Pisa, Dipartimento Informat, I-56125 Pisa, Italy
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2005年 / 133卷 / 1-3期
关键词：
D O I：
10.1016/j.apal.2004.10.007
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We capture the principal models of computation and specification in the literature by a uniform set of transparent mathematical descriptions which-starting from scratch-provide the conceptual basis for a comparative study.(1) (c) 2004 Elsevier B.V. All rights reserved.
引用
收藏
页码：149 / 171
页数：23
相关论文
共 45 条
  • [1] A unifying view of abstract domain design
    File, G
    Giacobazzi, R
    Ranzato, F
    ACM COMPUTING SURVEYS, 1996, 28 (02) : 333 - 336
  • [2] The hidden computation steps of turbo abstract state machines
    Fruja, NG
    Stärk, RF
    ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTICE, PROCEEDINGS, 2003, 2589 : 244 - 262
  • [3] Abstract state machines and high-level system design and analysis
    Börger, E
    THEORETICAL COMPUTER SCIENCE, 2005, 336 (2-3) : 205 - 207
  • [4] High level system design and analysis using abstract state machines
    Börger, E
    APPLIED FORMAL METHODS - FM-TRENDS 98, 1999, 1641 : 1 - 43
  • [5] A unifying logic for non-deterministic, parallel and concurrent abstract state machines
    Flavio Ferrarotti
    Klaus-Dieter Schewe
    Loredana Tec
    Qing Wang
    Annals of Mathematics and Artificial Intelligence, 2018, 83 : 321 - 349
  • [6] A unifying logic for non-deterministic, parallel and concurrent abstract state machines
    Ferrarotti, Flavio
    Schewe, Klaus-Dieter
    Tec, Loredana
    Wang, Qing
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2018, 83 (3-4) : 321 - 349
  • [7] Verification of AADL models with timed abstract state machines
    Yang, Zhi-Bin
    Hu, Kai
    Zhao, Yong-Wang
    Ma, Dian-Fu
    Bodeveix, Jean-Paul
    Ruan Jian Xue Bao/Journal of Software, 2015, 26 (02): : 202 - 222
  • [8] Dynamic Data Warehouse Design with Abstract State Machines
    Zhao, Jane
    Schewe, Klaus-Dieter
    Koehler, Henning
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2009, 15 (01) : 355 - 397
  • [9] View integration in data warehouse design using typed Abstract State Machines and strong data refinement
    Ma, Hui
    Schewe, Klaus-Dieter
    Zhao, Jane
    QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2006, : 175 - +
  • [10] Learning abstract models for system design
    Reddy, SY
    AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 1996, 10 (02): : 167 - 169
12345