Modal Transition Systems with Weight Intervals

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F12%3A00062434" target="_blank" >RIV/00216224:14330/12:00062434 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.jlap.2012.03.008" target="_blank" >http://dx.doi.org/10.1016/j.jlap.2012.03.008</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.jlap.2012.03.008" target="_blank" >10.1016/j.jlap.2012.03.008</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Modal Transition Systems with Weight Intervals

Popis výsledku v původním jazyce

We propose weighted modal transition systems, an extension to the well-studied specification formalism of modal transition systems that allows to express both required and optional behaviours of their intended implementations. In our extension we decorate each transition with a weight interval that indicates the range of concrete weight values available to the potential implementations. In this way resource constraints can be modelled using the modal approach. We focus on two problems. First, we study the question of existence/finding the largest common refinement for a number of finite deterministic specifications and we show PSPACE-completeness of this problem. By constructing the most general common refinement, we allow for a stepwise and iterativeconstruction of a common implementation.

Název v anglickém jazyce

Modal Transition Systems with Weight Intervals

Popis výsledku anglicky

We propose weighted modal transition systems, an extension to the well-studied specification formalism of modal transition systems that allows to express both required and optional behaviours of their intended implementations. In our extension we decorate each transition with a weight interval that indicates the range of concrete weight values available to the potential implementations. In this way resource constraints can be modelled using the modal approach. We focus on two problems. First, we study the question of existence/finding the largest common refinement for a number of finite deterministic specifications and we show PSPACE-completeness of this problem. By constructing the most general common refinement, we allow for a stepwise and iterativeconstruction of a common implementation.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/LA09016" target="_blank" >LA09016: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM)</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Journal of Logic and Algebraic Programming

ISSN

1567-8326

e-ISSN

—

Svazek periodika

81

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

14

Strana od-do

408-421

Kód UT WoS článku

000304490400004

EID výsledku v databázi Scopus

—