Abstract state machines A method for high level system by Egon Börger, Robert Stärk

By Egon Börger, Robert Stärk

The structures engineering procedure proposed during this publication, that's in response to summary nation Machines (ASMs), publications the improvement of software program and embedded hardware-software platforms seamlessly from specifications catch to real implementation and documentation. the strategy bridges the distance among the human realizing and formula of real-world difficulties and the deployment in their algorithmic options via code-executing machines. inside a unmarried conceptual framework it covers layout, verification via reasoning innovations, and validation by way of simulation and checking out. ASMs enhance present business perform by utilizing exact high-level modeling and through linking the descriptions on the successive phases of process improvement in an natural and successfully maintainable chain of rigorous and coherent approach versions at stepwise-refined abstraction degrees. in numerous business initiatives the ASM approach has confirmed its superiority in comparison to the preferred UML technique while designing complicated parallel or dynamic systems.
This e-book combines the positive aspects of a textbook and a instruction manual: the reader will locate distinct factors, proofs, and workouts in addition to a number of examples and real-world case experiences. Researchers will locate right here the main complete description of ASMs on hand at the present time and pros will use it as a 'modeling guide for the operating software program engineer.' As a textbook it helps self-study or it could possibly shape the root of a lecture path. The publication is complemented by way of a CD containing the full publication textual content, extra direction fabric, suggestions to routines, and extra examples.

Show description

Read or Download Abstract state machines A method for high level system design and analysis PDF

Similar machine theory books

Theoretical Aspects of Distributed Computing in Sensor Networks

Instant advert hoc sensor networks has lately turn into a really lively study topic. attaining effective, fault-tolerant realizations of very huge, hugely dynamic, complicated, unconventional networks is a true problem for summary modelling, algorithmic layout and research, yet a great foundational and theoretical heritage appears missing.

The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse (Synthese Library)

The topic of Time has a large highbrow charm throughout diverse dis­ ciplines. This has proven within the number of reactions obtained from readers of the 1st version of the current ebook. Many have reacted to matters raised in its philosophical discussions, whereas a few have even solved many of the open technical questions raised within the logical elaboration of the latter.

The Rational Expectation Hypothesis, Time-Varying Parameters and Adaptive Control: A Promising Combination? (Advances in Computational Economics)

One of many significant controversies in macroeconomics over the past 30 years has been that at the effectiveness of stabilization regulations. notwithstanding, this debate, among those that think that this sort of regulations is lifeless if no longer damaging and those that argue in want of it, has been typically theoretical thus far.

Extra resources for Abstract state machines A method for high level system design and analysis

Sample text

M} resemble the socalled “internal” states of Finite State Machines and can be used to describe different system modes. 2 Working Definition 45 Fig. 5 Control state ASMs cond 1 rule 1 j1 cond n rule n jn i if ctl state = i then if cond1 then rule1 ctl state := j1 ··· if condn then rulen ctl state := jn Fig. 6 Control state ASMs: alternative definition i cond 1 j1 cond n jn rule if ctl state = i then rule if cond1 then ctl state := j1 ··· if condn then ctl state := jn is described in Fig. 5). A typical example coming from language standardization is the machine SpecCPipe in Fig.

Snd (a) . . sparing us the need to write explicitly the recognizers and the selectors. Sim­ ilarly, an occurrence of r (x1 , . . , xn ) where a rule is expected stands for the corresponding rule R (which is sup­ posed to be defined somewhere else, with r (x1 , . . , xn ) = R appearing in the declaration part (see below) of the ASM where r (x1 , . . , xn ) is used). Such a “rule call” r (x1 , . . 31 The use of submachines and of macros supports the modularization and stepwise refinement of large machines.

Instead of such a classification in terms of the underlying logic, we follow practical system design criteria, where for a specification the distinctive fea­ tures are whether the system to be described has one or more agents. In the former case the question is how the agent interacts with its environment, in the latter case whether the multiple agents act in a synchronous or in an asynchronous manner, and furthermore whether they are distributed or not. We also consider the orthogonal classification whether (and how) the programs executed by the agents are structured, giving rise to submachine concepts.

Download PDF sample

Rated 4.14 of 5 – based on 39 votes