Modeling, simulation, and practice of floor control for synchronous and ubiquitous collaboration

Floor control refers to the need for coordinating activities occurred in synchronously cooperating applications shared among collaborators. We address this for ubiquitous collaboration—the capability of multiple users to link together with disparate access device anytime and anywhere. Floor control has been studied for years but most researchers focus on relaxed coordination mechanisms with stationary devices that allow updates by any user on any object and resolve the uncoordinated updates. In this paper we present a floor control mechanism, called XGSP-Floor, which implements a coordination mechanism at application level for enabling users to consistently share the same resource in real time (synchronous collaboration) in ubiquitous collaboration environment. The implementation platform on cell phone devices may not be new. But we believe the implementation and experiment for XGSP-Floor on cell phone devices is a new challenge in ubiquitous collaboration environment even though the coordination mechanism can intuitively impose a tremendous overhead in worst case. We also describe the results of the modeling of XGSP-Floor and formal verification to prove the correctness of the modeling using Colored Petri Nets. We describe lessons learned and discuss future work.