Modal Transition Systems with Weight Intervals
| Název česky | Modalni prechodove systemy s ohodnocenymi intervaly |
|---|---|
| Autoři | |
| Rok publikování | 2012 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Journal of Logic and Algebraic Programming |
| Fakulta / Pracoviště MU | |
| Citace | |
| Doi | http://dx.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: |