| Abstract [eng] |
The mobile computing system will be analyzed in this work. It is assumed that network consists of two types of devices: mobile and fixed. Fixed devices are always on and always connected to the network. These devices include, but are not limited to database servers and mobile support stations (MSS). Mobile devices access data from database. They connect and reconnect to different MSS depending on the signal strength. All of this is done seamlessly to the end user and the data transfer is not disturbed. When planning to implement such system in programming language, the first step is analyzing and formalizing it. One of the formalization languages – PLA, was recently extended for the sole purpose of formalization of dynamic systems. This work, “The Usage of dynPLA Formalism for Modeling of Mobile Computing System” covers the usage of new extended formalization language (dynPLA) for mobile computing system, analyzing if dynPLA extensions are sufficient for formalizing the said system. Also some improvements for the dynPLA formalization language will be suggested and the example of the mobile computing system will be given. |
