| Identifikační kód | RIV/00216224:14330/12:00062434 |
|---|
| Název v anglickém jazyce | Modal Transition Systems with Weight Intervals |
|---|
| Druh | J - Článek v odborném periodiku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | I - Informatika |
|---|
| Obor | IN - Informatika |
|---|
| Rok uplatnění | 2012 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 1 |
|---|
| Počet tvůrců celkem | 3 |
|---|
| Počet domácích tvůrců | 1 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Line Juhl (státní příslušnost: DK - Dánské království)
Kim G. Larsen (státní příslušnost: DK - Dánské království)
Jiří Srba (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2753057) |
|---|
| Popis výsledku v anglické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. |
|---|
| Klíčová slova oddělená středníkem | modal transition systems; multiweighted extension; components |
|---|
| Stránka www, na které se nachází výsledek | http://dx.doi.org/10.1016/j.jlap.2012.03.008 |
|---|
| DOI výsledku | 10.1016/j.jlap.2012.03.008 |
|---|