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 条
  • [21] Using Abstract State Machines for the Design of Multi-level Transaction Schedulers
    Kirchberg, Markus
    Schewe, Klaus-Dieter
    Zhao, Jane
    RIGOROUS METHODS FOR SOFTWARE CONSTRUCTION AND ANALYSIS: EASSYS DEDICATED TO EGON BORGER ON THE OCCASION OF HIS 60TH BIRTHDAY, 2009, 5115 : 65 - +
  • [22] Models of computation and languages for embedded system design
    Jantsch, A
    Sander, I
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2005, 152 (02): : 114 - 129
  • [23] Analysis and Comparison of Frameworks Supporting Formal System Development based on Models of Computation
    Horita, Augusto Y.
    Bonna, Ricardo
    Loubach, Denis S.
    16TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY-NEW GENERATIONS (ITNG 2019), 2019, 800 : 161 - 167
  • [24] Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
    Al-Shareefi, Farah
    Lisitsa, Alexei
    Dixon, Clare
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, 2017, 10623 : 15 - 32
  • [25] Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
    Bonfanti, Silvia
    Riccobene, Elvinia
    Santandrea, Davide
    Scandurra, Patrizia
    RIGOROUS STATE-BASED METHODS, ABZ 2023, 2023, 14010 : 107 - 115
  • [26] Design and validation of a C plus plus code generator from Abstract State Machines specifications
    Bonfanti, Silvia
    Gargantini, Angelo
    Mashkoor, Atif
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2020, 32 (02)
  • [27] Deriving Distributed Design Models from Global State Machines Requirements
    Al-hammouri, Mohammad F.
    Bochmann, Gregor, V
    SYSTEM ANALYSIS AND MODELING: LANGUAGES, METHODS, AND TOOLS FOR INDUSTRY 4.0, SAM 2019, 2019, 11753 : 27 - 43
  • [28] Comprehensibility of system models during test design: a controlled experiment comparing UML activity diagrams and state machines
    Felderer, Michael
    Herrmann, Andrea
    SOFTWARE QUALITY JOURNAL, 2019, 27 (01) : 125 - 147
  • [29] Comprehensibility of system models during test design: a controlled experiment comparing UML activity diagrams and state machines
    Michael Felderer
    Andrea Herrmann
    Software Quality Journal, 2019, 27 : 125 - 147
  • [30] Quality-assured design of on-line analytical processing systems using abstract state machines
    Zhao, J
    Ma, H
    QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 224 - 231
12345