|
|
|
|
| LEADER |
02794na a2200241 4500 |
| 003 |
HR-ZaFER |
| 005 |
20160602113745.0 |
| 008 |
160221s2015 ci ||||| m||| 00| 0 hr d |
| 035 |
|
|
|a (HR-ZaFER)ferid1941
|
| 040 |
|
|
|a HR-ZaFER
|b hrv
|c HR-ZaFER
|e ppiak
|
| 100 |
1 |
|
|a Drmić, Ivan
|9 36837
|
| 245 |
1 |
0 |
|a Vizualizacija automata stanja komunikacijskog protokola TCP :
|b završni rad /
|c Ivan Drmić ; [mentor Maja Matijašević].
|
| 246 |
1 |
|
|a Visualization of the TCP communication protocol state machine
|i Naslov na engleskom:
|
| 260 |
|
|
|a Zagreb,
|b I. Drmić,
|c 2015.
|
| 300 |
|
|
|a 54 str. ;
|c 30 cm +
|e CD-ROM
|
| 502 |
|
|
|b preddiplomski studij
|c Fakultet elektrotehnike i računarstva u Zagrebu
|g smjer: Telekomunikacije i informatika, šifra smjera: 42, datum predaje: 2015-06-12, datum završetka: 2015-07-13
|
| 520 |
3 |
|
|a Sažetak na hrvatskom: Ovim radom opisan je rad protokola TCP s fokusom na uspostavi i raskidu TCP veze. Opisano je ponašanje protokola TCP formalnim modelom automata stanja. Automat stanja programski je izveden primjenom alata za modeliranje SMC i programskog jezika Java. Automat stanja obuhvaća i klijentsku i poslužiteljsku stranu komunikacije. Vizualizacija uspostave i raskida TCP veze realizirana je pomoću grafičkog sučelja putem kojeg korisnik koristi aplikaciju. Njegovim korištenjem korisnik unosi događaje koji uzrokuju promjenu stanja automata. Rješenje obuhvaća i klijentsku i poslužiteljsku stranu komunkacije stoga se koriste dva identična automata stanja i njhov rad, prijelazi i stanja, prikazani su na grafičkom sučelju. Grafičko sučelje ima odvojenu klijentsku i poslužiteljsku stranu.
|
| 520 |
3 |
|
|a Sažetak na engleskom: This work describes the work of TCP protocol focusing on the establishment and termination of TCP connection. The behavior of TCP protocol is described by a formal model of state machine. State machine is programmed using the SMC tools of modeling and the JAVA programming language. State machine includes client and server side of communication. Visualization of the establishment and termination of a TCP connection is realized by the means of graphical interface through which the user is using the application. Using the graphical interface the user enters the events that cause a change of state machines. The solution includes the client and server side of communication. Therefore two identical state machines are being used and their work and state transitions are shown in graphical interface. The graphical interface has the client and server side separated.
|
| 653 |
|
1 |
|a Transmission Control Protocol
|a Automat stanja
|a State Machine Compiler
|
| 653 |
|
1 |
|a Transmission Control Protocol
|a State machine
|a State Machine Compiler
|
| 700 |
1 |
|
|a Matijašević, Maja
|4 ths
|9 5474
|
| 942 |
|
|
|c Z
|2 udc
|
| 999 |
|
|
|c 46342
|d 46342
|