| Form of studies |
Bachelor |
| Title of the study programm |
Computer Systems |
| Title in original language |
Formālo specifikāciju valodas Alloy analīze |
| Title in English |
Analysis of Formal Specification Language "Alloy" |
| Department |
Faculty Of Computer Science Information Tehnology And Energy |
| Scientific advisor |
Dr.sc.ing., doc. G.Alksnis |
| Reviewer |
|
| Abstract |
Bakalaura darbā Formālo specifikāciju valodas Alloy analīze aprakstīta Alloy nepieciešamība un atbilstība, kā arī tās lietošana dažādu problēmsfēru uzdevumu risināšanai. Alloy ir viena no formālo specifikāciju valodu zara pārstāvēm un, kopā ar tās alternatīvo valodu kopu, veicina formālo specifikāciju lietošanu ne tikai kritisko sistēmu izstrādē. Darbā apskatītas Alloy priekšrocības, un trūkumi.
Darba analītiskajā daļā tiek izpētīta Alloy valoda, dots tās izcelsmes skaidrojums, kā arī salīdzinājums ar citām formālo specifikāciju valodām. Analītiskais komponents demonstrē arī Alloy semantikai un sintaksei atbilstošus piemērus, kas šīs struktūras definē un paskaidro.
Darba praktiskais komponents ir veidots stilā, lai, demonstrējot rīku Alloy Analyzer, parādītu dažādas iespējas problēmsfēras uzdevumu risināšanā. Šajā daļā tiek demonstrēti divi piemēri bakalaura darba tēmas izvēles modelis un atjautības uzdevuma spēles risinājuma modelis.
Šis darbs varētu būt noderīgs tiem, kas vēlas ko vairāk uzzināt par formālo specifikāciju kopu, kā arī sīkāk pielietojumā skatīt Alloy valodas iespējas. |
| Keywords |
Alloy, Formālās specifikācijas |
| Keywords in English |
Alloy Analyzer, Formal Specification |
| Language |
lv |
| Year |
2012 |
| Date and time of uploading |
28.05.2012 11:18:05 |
