Šio darbo tikslas buvo panaudoti dynPLA modelį mobilių agentinių sistemų modeliavimui. dynPLA modelio panaudojimas leido sukurti e-komercijos modelį skirtą knygų paieškos procesui organizuoti internete. Sukurta formali knygų paieškos paieškos procesui organizuoti internete specifikacija buvo ištestuota sukuriant prototipą, panaudojant agentinių sistemų modeliavimo įrankį JADE. Atlikti testavimo eksperimentai su sukurtu prototipu leido verifikuoti agentų migravimo, bei komunikavimo procesus. Sukurtas Internetinio Knygyno Mobilios Agentinės sistemos imitacinis modelis leido įvertinti pasirinktos e-komercijos architektūrinias funkcionavimo (ang. k. performance) charakteristikas: • Vidutinis mobilaus agento užduoties įvykdymo laikas; • Vidutinė direktorijos eilė; • Vidutinė tiekėjų eilė. / The main goal of this paper was to apply mobile agent systems modelling with dynPLA model. dynPLA model practice let to execute e-commerce model commited for book searching process organized in the internet. Established specification of book searching process organized in the internet, was tested by making prototype, using mobile agent system modeling tool JADE. Accomplished testing exsperiments with prototype let us to verify agents migration and communication process. Internet Book-store Mobile Agent system imitation model let us to estimate e-commerce architecture performance characteristics: • Average time of mobile agent performance; • Average queue of directory; • Average queue of providers.

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