The abstract state machines method for high-level system design and analysis
E Börger - Formal Methods: State of the Art and New Directions, 2009 - Springer
We explain the main ingredients of the Abstract State Machines (ASM) method for high-level
system design and analysis and survey some of its application highlights in industrial …
system design and analysis and survey some of its application highlights in industrial …
Challenges and directions in formalizing the semantics of modeling languages
Develo** software from models is a growing practice and there exist many model-based
tools (eg, editors, interpreters, debuggers, and simulators) for supporting model-driven …
tools (eg, editors, interpreters, debuggers, and simulators) for supporting model-driven …
[BOOK][B] Modeling companion for software practitioners
E Börger, A Raschke - 2018 - Springer
The proposed method provides this support by a combination of its abstraction concept and
its operational character: models come as behavioral models in the precise and simple form …
its operational character: models come as behavioral models in the precise and simple form …
The ASM refinement method
E Börger - Formal aspects of computing, 2003 - Springer
In this paper the abstract state machine (ASM) refinement method is presented. Its
characteristics compared to other refinement approaches in the literature are explained …
characteristics compared to other refinement approaches in the literature are explained …
A natural axiomatization of computability and proof of Church's Thesis
N Dershowitz, Y Gurevich - Bulletin of symbolic logic, 2008 - cambridge.org
Church's Thesis asserts that the only numeric functions that can be calculated by effective
means are the recursive ones, which are the same, extensionally, as the Turing-computable …
means are the recursive ones, which are the same, extensionally, as the Turing-computable …
CoreASM: An extensible ASM execution engine
R Farahbod, V Gervasi, U Glässer - Fundamenta Informaticae, 2007 - content.iospress.com
In this paper we introduce a new research effort in making abstract state machines (ASMs)
executable. The aim is to specify and implement an execution engine for a language that is …
executable. The aim is to specify and implement an execution engine for a language that is …
Concurrent abstract state machines
Abstract A concurrent Abstract State Machine (ASM) is a family of agents each equipped
with a sequential ASM to execute. We define the semantics of concurrent ASMs by …
with a sequential ASM to execute. We define the semantics of concurrent ASMs by …
[BOOK][B] Managing information systems security and privacy
D Trcek - 2006 - books.google.com
The book deals with the management of information systems security and privacy, based on
a model that covers technological, organizational and legal views. This is the basis for a …
a model that covers technological, organizational and legal views. This is the basis for a …
The ASM method for system design and analysis. A tutorial introduction
E Börger - International Workshop on Frontiers of Combining …, 2005 - Springer
We introduce into and survey the ASM method for high-level system design and analysis.
We explain the three notions—Abstract State Machine [37], ASM ground model (system …
We explain the three notions—Abstract State Machine [37], ASM ground model (system …
From AADL to timed abstract state machines: A verified model transformation
Z Yang, K Hu, D Ma, JP Bodeveix, L Pi… - Journal of Systems and …, 2014 - Elsevier
Abstract Architecture Analysis and Design Language (AADL) is an architecture description
language standard for embedded real-time systems widely used in the avionics and …
language standard for embedded real-time systems widely used in the avionics and …