|
|
Towards thread aware component behavior specifications
Poch, Tomáš ; Plášil, František (vedoucí práce) ; Černá, Ivana (oponent) ; Hennicker, Rolf (oponent)
Komponentový přístup je již poměrně zavedenou metodologií používanou při vývoji software. Při komerčním vývoji aplikací, se však ještě nevyužívají modely chování komponent a jejich následná analýza, ačkoliv by to zaručilo, že komunikace mezi složenými komponentami nebude obsahovat chyby. Reálnému použití v praxi brání jkk relativně omezené výrazové prostředky modelovacích jazyků tak i náročnost psaní modelů. Abychom usnadnili použití modelů chování, navrhujeme modelovací jazyk Threaded Behavior Protocols (TBP), který se snaží překlenout rozdíly mezi modelovacími a imperativními programovacími jazyky. Tím, že umožníme programátorům používat koncepty z imperativních jazyků, na které jsou zvyklí, usnadníme přípravu modelů. Teorie TBP de finuje pojem správnosti kompozice komponent jako absenci dvou pevně daných komunikačních chyb a poskytuje relaci zjemňovíní modelu, která zachovává správnost vzhledem k libovolnému prostředí. Díky tomu, přináší analýza TBP podobné výhody jako starší modelovací jazyky, přičemž bere v úvahu i koncepty z imperativních jazyků.
|
|
|
Towards thread aware component behavior specifications
Poch, Tomáš ; Plášil, František (vedoucí práce) ; Černá, Ivana (oponent) ; Hennicker, Rolf (oponent)
Komponentový přístup je již poměrně zavedenou metodologií používanou při vývoji software. Při komerčním vývoji aplikací, se však ještě nevyužívají modely chování komponent a jejich následná analýza, ačkoliv by to zaručilo, že komunikace mezi složenými komponentami nebude obsahovat chyby. Reálnému použití v praxi brání jkk relativně omezené výrazové prostředky modelovacích jazyků tak i náročnost psaní modelů. Abychom usnadnili použití modelů chování, navrhujeme modelovací jazyk Threaded Behavior Protocols (TBP), který se snaží překlenout rozdíly mezi modelovacími a imperativními programovacími jazyky. Tím, že umožníme programátorům používat koncepty z imperativních jazyků, na které jsou zvyklí, usnadníme přípravu modelů. Teorie TBP de finuje pojem správnosti kompozice komponent jako absenci dvou pevně daných komunikačních chyb a poskytuje relaci zjemňovíní modelu, která zachovává správnost vzhledem k libovolnému prostředí. Díky tomu, přináší analýza TBP podobné výhody jako starší modelovací jazyky, přičemž bere v úvahu i koncepty z imperativních jazyků.
|
host ::
RSS.