| Summary: | Šiame darbe analizuojama mobilaus ryšio sistema. Yra tariama, jog tinkle egzistuoja dviejų tipų įrenginiai: mobilūs ir fiksuoti. Fiksuoti įrenginiai yra visados įjungti ir prijungti prie tinklo. Fiksuoti įrenginiai, tai mobiliosios palaikymo stotys (MPS) ir duomenų bazė. Mobilūs įrenginiai (mobilūs kompiuteriai) gauna duomenis iš duomenų bazės, tarpininkaujant palaikymo stotims. Mobilūs kompiuteriai prisijungia ir persijungia prie skirtingų MPS, priklausomai nuo jų skleidžiamo signalo stiprumo. Visi veiksmai atliekami nuosekliai, nepertraukiant galutinio vartotojo darbo. Kuriant tokių sistemų programinius modelius pirmiausia reikia jas išanalizuoti ir suformalizuoti. Viena iš formalizavimo kalbų – PLA, neseniai buvo išplėsta, kad gal���tų aprašyti dinamines sistemas. Šiame darbe supažindinama su naujai išplėsta formalizavimo kalba (dynPLA). Ji naudojama mobilaus ryšio sistemos specifikavimui bei tikrinama ar formalizavimo kalbos išplėtimų užtenka aprašyti minėtąją sistemą. Pasiūlyti dynPLA formalizavimo kalbos patobulinimai bei pateiktas sistemos modelio specifikacijos pavyzdys. === 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.
|
|---|
