Primjena automata s konačnim brojem stanja u procesima obrade i razmjene podataka

U radu je obrađena tema korištenja matematičkog modela automata s konačnim brojem stanja u području razvoja softvera. Opisana je koncepcija i logika modela te su dati primjeri za Mooreov i Mealyjev automat. Od načina prikaza modela odabrani su i detaljno obrađeni matrica prijelaza, tablica prijelaza i dijagram stanja. U praktičnom dijelu dat je i konkretan primjer procesa kao sučelja za razmjenu između programskih sustava dvaju proizvođača, IPS i Maximo. Automat s konačnim brojem stanja upravlja automatiziranim procesom obrade i razmjene podataka između poslužitelja (IPS) i klijenta (Maximo). Implementacija procesa u poslužitelju predstavljena je pomoću dijagrama stanja i tablica prijelaza. Sustav, kojim upravlja automat s konačnim brojem stanja, prima i šalje podatke preko izvora podataka (web servis, baza podataka) i stvara potrebne akcije