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 条

[11] Learning abstract models for system design
Reddy, Sudhakar Y.
Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM, 1996, 10 (02): : 167 - 169
[12] The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering
Ouimet, Martin
Lundqvist, Kristina
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (12) : 2007 - 2033
[13] Exploring the Concept of Abstract State Machines for System Runtime Enforcement
Riccobene, Elvinia
Scandurra, Patrizia
RIGOROUS STATE-BASED METHODS, ABZ 2020, 2020, 12071 : 244 - 247
[14] Design models for reusable and reconfigurable state machines
Angelov, C. (angelov@mci.sdu.dk), (Springer Verlag):
[15] Design models for reusable and reconfigurable state machines
Angelov, C
Sierszecki, K
Marian, N
EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 152 - 163
[16] The abstract state machines method for modular design and analysis of programming languages
Borger, Egon
JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (02) : 417 - 439
[17] A Unifying View of Multivariate State Space Models for Soft Sensors in Industrial Processes
Liu, Wenyi
Yairi, Takehisa
IEEE ACCESS, 2024, 12 : 5920 - 5932
[18] Universal plug and play machine models -: Modeling with distributed abstract state machines
Glässer, U
Veanes, M
DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS, 2002, 91 : 21 - 30
[19] Linking architectural and component level system views by abstract state machines
Börger, E
LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY SPECIFICATION FROM FDL'03, 2004, : 247 - 269
[20] The Subject-Oriented Approach to Software Design and the Abstract State Machines Method
Boerger, Egon
S-BPM ONE - SCIENTIFIC RESEARCH, 2012, 104 : 1 - 21

← 1 2 3 4 5 →