Specifying and Analyzing Model for Mobile Component Systems
Jun Fang Wei · 2001
Mobile computing is a new computing paradigm. A main feature of this paradigm is dynamically changing the binding between computational components and computational locations, which brings new requirements to the design of distributed systems. In this paper, an abstract model for mobile component systems is proposed. Not only Location, Component, Mobility and Resource Access as the basic elements of mobile systems are identified in the abstract model, but modeling mobile systems by basic elements, relationships among elements and relationship changes is also characterized. Based on set theory and operational reduction rules, these elements, relationships and mobility mechanisms are specified in a formal manner. The analysis and formal specifications can be applied to the design basis of mobile systems and their specification languages.