ActorOriented Reconfiguration Stephen Neuendorffer

1
Actor-Oriented ReconfigurationStephen
Neuendorffer
Reconfiguration Ports
Key Idea reconfiguration allowed only at
quiescent points of the actor performing the
reconfiguration. An actor that can reconfigure a
parameter P, or any parameter that P depends on,
is a change context of P.
A Semantic Menagerie
Data values received from a reconfiguration port
set the value of a parameter with the same
name. A single value is consumed from
reconfiguration port before other inputs are
processed. Default value if no reconfiguration.
PN
Hierarchical models are trees.
A
PSDF
A contains B A contains C A contains itself
More Reconfigurable
B
C
More Analyzable
HDF
The set of quiescent points of an actor contains
the set of quiescent points of any model the
actor is contained by.
SDF
Modal Models
Given different syntaxes for reconfiguration and
different constraints on reconfiguration, what is
good actor-oriented infrastructure for analyzing
reconfiguration? Version 4.0 includes a new
behavioral type system that can verify a wide
variety of constraints on reconfiguration. This
type system represents a unified mechanism for
analyzing reconfiguration.
Approximate the set of actors that are change
contexts for P by the greatest lower bound of the
set. Artificial Top element represents the GLB of
the empty set. i.e. a parameter with no change
contexts Artificial Bottom element ensures that
the GLB exists.
A
B
C
Placeholder Models
Placeholder component allows substitution of
different controllers
Source of a mobile actor.
The least change context approximation discards
no interesting semantic information!
Mobile actor is transmitted over a network and
installed dynamically at run time.
The solution to these constraints can be found in
linear time.