Podpora aspektově orientovaného přístupu v algebraických specifikacích

Tato práce se zabývá přidáním podpory aspektově orientovaného programování pro systém algebraických specifikací Maude. Byl vytvořen jazyk pro definování aspektů. Dále byl naimplementovaný aspect weaver podporující daný jazyk. S využitím vytvořeného systému lze aplikovat aspekty pomocí přepisování hodnot proměnných jednotlivých rovnic. Výsledný systém umožňuje snížit počet duplicit v kódu.

The purpose of this thesis is to add AOP support to Maude system. Within the thesis, a language for aspect definition was created. An aspect weaver, supporting the language, was implemented, too. Using the created system, it is possible to apply aspects by rewriting variable values. The resulting system allows programmer to reduce the number of duplicate code.

Keywords

aspektově orientované programování, Maude, aspect weaver, aspect oriented programming, Maude, aspect weaver

Permanent link

http://hdl.handle.net/10467/68399

Rights/License

A university thesis is a work protected by the Copyright Act of the Czech Republic. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one`s own expense. The use of thesis should be in compliance with the Copyright Act.

Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem v platném znění.

Collections

Bachelor Theses - 13136

Full item page

Support of aspect-oriented approach in algebraic specification