MobileOBJ

MobileOBJ: a mobility approach using CafeOBJ algebraic specification language Our work extends CafeOBJ algebraic specification language to capture mobility. It uses the behavioral specification of hidden objects together with the concurrent object composition. This paper presents a CafeOBJ approach to location, one of the two main entities of any mobile system (the other is the mobile object). We also present the equational specification of a control center.