Modal Transition Systems with Weight Intervals

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Modalni prechodove systemy s ohodnocenymi intervaly
Autoři	JUHL Line LARSEN Kim G. SRBA Jiří
Rok publikování	2012
Druh	Článek v odborném periodiku
Časopis / Zdroj	Journal of Logic and Algebraic Programming
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Doi	https://doi.org/10.1016/j.jlap.2012.03.008
Obor	Informatika
Klíčová slova	modal transition systems; logic
Popis	Navrhujeme vážený modální transformace systému, rozšíření dobře studoval specifikace formalismu modální transformace systémů, která umožňuje vyjádřit povinných a nepovinných chování zamýšlené implementace. V naší rozšíření zdobíme každý přechod s hmotností interval, který označuje řadu konkrétních hodnot hmotnosti k dispozici možnost implementace. Tímto způsobem je možné omezené zdroje je modelován pomocí modální přístup. Zaměřujeme se na dva problémy. Nejprve sledujeme otázku existence / najít největší společný pro celou řadu vylepšení konečných deterministických specifikací a ukážeme PSPACE-úplnost problému. Výstavbou nejobecnější společné zjemnění, počítáme s postupným a opakující se budování společné implementace. Za druhé, studujeme logickou charakteristiku formalismu a ukázat, že vzorec v přírodním hmotnosti rozšíření logiky CTL jsou splněny určité modální specifikace tehdy a jen tehdy, pokud je splněna ve všech jeho zdokonalení. Hmotnost rozšíření obecně stačí k vyjádření různých druhů vlastností, které chceme, aby naše váhy uspokojit.
Související projekty:	Vysoce paralelní a distribuované výpočetní systémy