This paper aims at a mathematical foundation of flexible information 
processing architectures that support the mobility and dynamics of systems 
by a formal system model.