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 条
  • [41] Chaining Model Transformations to Develop a System Model Verification Tool : Application to Capella State Machines and Data Flows Models
    Duhil, Christophe
    Babau, Jean-Philippe
    Lepicier, Eric
    Voirin, Jean-Luc
    Navas, Juan
    PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 1654 - 1657
  • [42] State-of-the-Art Review: Models and Algorithms for Optimal Power System Design, Stabilization, and Reliability Enhancement
    Zwane, Senele Njabulo
    Mendu, Bongumsa
    Monchusi, Bessie Baakanyang
    IEEE ACCESS, 2024, 12 : 189871 - 189883
  • [43] A comparative study of system-level PMSM models with either current or flux-linkage state variables used for vibro-acoustic computation
    Ciceo, Sebastian
    Chauvicourt, Fabien
    Gyselinck, Johan
    Martis, Claudia
    2019 IEEE INTERNATIONAL ELECTRIC MACHINES & DRIVES CONFERENCE (IEMDC), 2019, : 1881 - 1888
  • [44] NONLINEAR-SYSTEM IDENTIFICATION USING NEURAL STATE-SPACE MODELS, APPLICABLE TO ROBUST-CONTROL DESIGN
    SUYKENS, JAK
    DEMOOR, BLR
    VANDEWALLE, J
    INTERNATIONAL JOURNAL OF CONTROL, 1995, 62 (01) : 129 - 152
  • [45] Towards a Multi-view and Multi-representation CAD Models System for Computational Design of Multi-material 4D Printed Structures
    Belkebir, Hadrien
    Prod'hon, Romaric
    Foufou, Sebti
    Gomes, Samuel
    Demoly, Frederic
    PRODUCT LIFECYCLE MANAGEMENT: LEVERAGING DIGITAL TWINS, CIRCULAR ECONOMY, AND KNOWLEDGE MANAGEMENT FOR SUSTAINABLE INNOVATION, PT I, PLM 2023, 2024, 701 : 287 - 297
12345