Modeling Software with Finite State Machines

Modelling Malignant Progression with a Finite State Machine Supports a Two Checkpoint Theory of Cancer

“…An approach introduced by Von Neumann [9] was to approximate the potentially infinite number of states of such a system by a finite number of states, which may be inter-converted according to a set of transition rules, and calculating the state transitions that are assumed to occur over a series of discrete time intervals. This kind of model, termed a finite state machine [9][10][11] has been applied to a wide range of biological problems.…”

Formal Specification and Verification of Mobile Agent Systems

“…• In [3], a formal specification and verification of secure routing protocols for mobile ad hoc networks (MANETs) is presented. In this work, authors used the Promela as specification languages and SPIN as verification tool.…”

“…In software engineering, formal specification is the expression in a formal language, and at an abstract level, a set of proprieties; that a system is designed to satisfy [3]. It is recognised that good specifications should be adequate, internally consistent, unambiguous, complete, minimal and satisfied by lower-level ones [2].…”

“…Unlike informal methods, descriptions using formal methods are more precise, understandable, and unambiguous. There are many formal languages and methods, among these languages we recall: TL (Temporal Logics) [2], Processes Algebras (CCS [1], π-calculus [4], HOπ-calculus [19]) and State Transition Systems [3,4]. To be formal, a language expressing a specification must comprise three components: a syntax defining the rules for forming expressions, a semantics with rules for the interpretation of formed sentences and a proof theory governing rules for inferring useful information from the specification [3].…”

Towards Large-Scale Multi-Agent Based Rodent Simulation: The “Mice In A Box” Scenario

“…Thus a mouse agent's field of vision is equivalent to v. Mouse agents are dynamic agents in that they can change their location, direction, goal direction, turn direction and state. At the same time they are "intelligent" agents in that they can make decisions about which way to face and where to go.The operation of our mouse agent is founded on the well established concept of a Finite State Machine (FSM) [5,8]. FSM are used to model processes in terms of a finite set of states.…”