Primjena prikaza slijeda poruka u razvoju telekomunikacijske programske opreme

magistarski rad

• Naslov (engleski): Applying Message Sequence Charts in Telecommunication Software Development
• Autor: Mario Ivček
• Mentor: Ignac Lovrek (mentor)
• Član povjerenstva: Marijan Kunštić (predsjednik povjerenstva)
• Član povjerenstva: Ignac Lovrek (član povjerenstva)
• Član povjerenstva: Antun Carić (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet elektrotehnike i računarstva; (Zavod za telekomunikacije); Zagreb
• Datum i država obrane: 2001-07-10, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Elektrotehnika; Telekomunikacije i informatika
• Univerzalna decimalna klasifikacija (UDC): 621.3 - Elektrotehnika

Sažetak

Skraćivanje trajanja razvoja programa, uz zadržavanje visoke kvalitete programskih proizvoda za telekomunikacijske primjene, zahtijeva uvođenje formalnih postupaka i na njima zasnovanih pomagala u programsko inženjerstvo.
Ova teza istražuje formalne modele koji se zasnivaju na opisu suradnje i komunikacije dijelova sustava sljedovima poruka, posebice prikazu slijeda poruka i slijednom dijagramu.
Razrađena je primjena prikaza slijeda poruka pri izradi zahtjeva, specifikaciji sustava, te oblikovanju i izvedbi programske opreme.
Rezultati istraživanja verificirani su uvođenjem formalnog postupka u razvoj funkcije za upravljanje i održavanje polustalnih veza u hibridnom sustavu s komutacijom kanala i ćelija.

Sažetak (engleski)

Significant improvements of the time-to-market, coupled with demands for high quality of telecommunications software products, require incorporation of formal description techniques and tools into the software engineering.
This thesis investigates formal models describing interactions and communication between different parts of the system based on message sequences, particularly message sequence charts and sequence diagrams.
An abstract framework is presented, describing applications of the language Message Sequence Charts (MSC) in the commonly occurring phases of the software development process: requirement consolidation, systems analysis, software design and implementation.
Results of the investigation are verified through application of formal description methods in development of the function for control and administration of semipermanent connections in hybrid switch, that is based on circuit and ATM switching.

• Ključne riječi: Proces programskog razvoja; prikaz slijeda poruka (MSC); slijedni dijagram; objedinjeni jezik za modeliranje (UML); jezik za specifikaciju i opis (SDL); uporabni slučaj; hibridni sustav; polustalna veza; formalni postupci
• Ključne riječi (engleski): Software engineering process; Message Sequence Charts (MSC); Sequence diagram; Unified Modeling Language (UML); Specification and Description Language (SDL); use case; hybrid switch; semipermanent connection; formal methods
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:657194
• Studijski program: Naziv: Elektrotehnika; Vrsta studija: sveučilišni; Stupanj studija: poslijediplomski znanstveni (magistarski); Akademski / stručni naziv: Magistar znanosti elektrotehnike (mag. ing. el.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2019-04-23 09:33:38