Opće informacije | ||
---|---|---|
Naziv predmeta | Formalne metode specifikacije | |
Studijski program | Preddiplomski stručni studij Računarstva | |
Status predmeta | Obvezatan | |
Godina | 1. (2. semestar) | |
Bodovna vrijednost i način izvođenja nastave | ECTS | 6 |
Sati (P+V+S) | 15+30+0 |
Opis predmeta |
---|
Ciljevi predmeta Upoznati studenta s konceptom „jezičnog prostora“ što znači transformaciju jednog konkretnog IT sustava od ideje (opisane narativnim, prirodnim jezikom), preko različitih nivoa specifikacije prema konkretnoj implementaciji (sustav razvijen u programskom jeziku i dostupnoj tehnologiji). Osvijestiti studenta da su formalni modeli baza/osnova za programiranje i razvoj sustava u nekom od programskih jezika. Upoznati studenta s modelom automata s konačnim brojem stanja (FSM – finite state machine), te ga upoznati s osnovnom strukturom odvijanja procesa: stabilnost u stanju->ulaz (poticaj)->tranzicija->stabilnost u stanju. Naznačiti mogućnost komunikacije između automata. Kao nastavak FSM modela, obraditi osnove sintakse specifikacijskih jezika SDL (specification and description language – modeliranje procesa) i MSC (message sequence chart – modeliranje međuprocesne komunikacije). Upoznati studenta sa UML jezikom. |
Očekivani ishodi učenja
|
Sadržaj Jezični prostor. Modeliranje procesa. Automat s konačnim brojem stanja. Koncept stanje-ulaz-prijelaz-stanje. SDL jezik – stanje, ulaz, zadatak, izlaz, vremenska kontrola, sustav, blok, proces. Komunikacijski kanali i komunikacijske rute. MSC jezik – osnovni konstrukti – stanje, vremenska kontrola, uvjet, međuinstancna komunikacija. Modeliranje procesa konačnim automatom, opis jezicima SDL i MSC. Uvod u UML, osnovne tehnike unificiranog modeliranja. Primjena metoda unificiranog modeliranja na različite poslovne aktivnosti (funkcije i procedure). |
Literatura OBVEZATNA
DOPUNSKA
|