Darbe nagrinėjama mobilaus turinio prekyvietės diegimo internete problematika. Kaip ir kokiais būdais turinys pritaikomas prie terminalo galimybių. Kokie gali būti turinio pritaikymo apribojimai ir priimti sprendimai, kokia turi būti turinio pritaikymo sistemos architektūra ir jos dalių paskirtis. Darbo tikslas. *Ištirti mobilaus turinio prekyvietės problemines sritis; *Iškirtoms problemoms sudaryti kompleksinį sprendimą, leidžiantį realizuoti mobilaus turinio prekyvietės sistemą; *Sprendimas turi būti universalus ir gebėti pateikti turinį skirtingų galimybių terminalams. Darbo rezultatas. *Išanalizavus esamus sprendimus sudaryta mobilaus turinio prekyvietės architektūra lengvai pritaikomi vidutinio dydžio interneto paslaugų teikėjui. *Realizuotas eksperimentinis sistemos modelis apimantis probleminių sričių sprendimus: *m-terminalo atpažinimui; *įrenginio savybių gavimui; *prekyvietės vitrinos pritaikymui skirtingomis žymių kalbomis ir m–terminalų ekranų dydžiams; *įkraunamo turinio pritaikymui sudaryti du metodai: -dinaminis žymėjimo – fono paveiksliukams; -žymėjimo sąlygomis grįstas – programoms, muzikai, vaizdo klipams. / Work focuses on mobile content market place problems and solutions implementation. Main attention is over the recognition of mobile terminal capabilities and what kind of types there are of content adaptation, how to adapt content. Main goal: *Analyze mobile content market place implementation problems. *Design mobile content market place software systems with open source tools ant try to realize demo version at the end of work. *Mobile content market place must have possibility to recognize terminal capabilities and adapt content for the best usability. Result: *Designed mobile content market place light weight architecture. *Realized mobile content market place solutions for: -mobile terminal identification; -terminal capabilities recognition -storefront adaption for different markup languages and mobile screen size -realized two methods for downloadable content adoption: *dynamic selection for wallpapers *selection based on logical conditions for programs, sounds, video.

Š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.