2 research outputs found
Recommended from our members
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of the great benefits of using stream X-machines for the purpose of specification is the existence of test generation techniques that produce test suites that are guaranteed to determine correctness as long as certain well-defined conditions hold. One of the conditions that is traditionally assumed to hold is controllability: this insists that all paths through the stream X-machine are feasible. This restrictive condition has recently been weakened for testing from a deterministic stream X-machine. This paper shows how controllability can be replaced by a weaker condition when testing
a deterministic system against a non-deterministic stream X-machine. This paper therefore develops a new, more general, test generation algorithm for testing from a non-deterministic stream X-machine
Complex event types for agent-based simulation
This thesis presents a novel formal modelling language, complex event types (CETs), to describe behaviours
in agent-based simulations. CETs are able to describe behaviours at any computationally
represented level of abstraction. Behaviours can be specified both in terms of the state transition rules of
the agent-based model that generate them and in terms of the state transition structures themselves.
Based on CETs, novel computational statistical methods are introduced which allow statistical dependencies
between behaviours at different levels to be established. Different dependencies formalise
different probabilistic causal relations and Complex Systems constructs such as ‘emergence’ and ‘autopoiesis’.
Explicit links are also made between the different types of CET inter-dependency and the
theoretical assumptions they represent.
With the novel computational statistical methods, three categories of model can be validated and
discovered: (i) inter-level models, which define probabilistic dependencies between behaviours at different
levels; (ii) multi-level models, which define the set of simulations for which an inter-level model
holds; (iii) inferred predictive models, which define latent relationships between behaviours at different
levels.
The CET modelling language and computational statistical methods are then applied to a novel
agent-based model of Colonic Cancer to demonstrate their applicability to Complex Systems sciences
such as Systems Biology. This proof of principle model provides a framework for further development
of a detailed integrative model of the system, which can progressively incorporate biological data from
different levels and scales as these become available