Verifying Nested Workflows with Extra Constraints

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F13%3A10195066" target="_blank" >RIV/00216208:11320/13:10195066 - isvavai.cz</a>
Výsledek na webu
<a href="http://download.springer.com/static/pdf/412/chp%253A10.1007%252F978-3-642-37807-2_31.pdf?auth66=1393604911_f45ba675f7b77bb8e1b209b17d5955f8&ext=.pdf" target="_blank" >http://download.springer.com/static/pdf/412/chp%253A10.1007%252F978-3-642-37807-2_31.pdf?auth66=1393604911_f45ba675f7b77bb8e1b209b17d5955f8&ext=.pdf</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-37807-2_31" target="_blank" >10.1007/978-3-642-37807-2_31</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Verifying Nested Workflows with Extra Constraints
Popis výsledku v původním jazyce
Nested workflows are used to formally describe processes with a hierarchical structure similar to hierarchical task networks in planning. The nested structure guarantees that the workflow is sound in terms of possibility to select for each involved activity a process that contains the activity. However, if extra synchronization, precedence, or causal constraints are added to the nested structure, the problem of selecting a process containing a given activity becomes NP-complete. This paper presents techniques for verifying such workflows; in particular, they verify that a process exists for each activity.
Název v anglickém jazyce
Verifying Nested Workflows with Extra Constraints
Popis výsledku anglicky
Nested workflows are used to formally describe processes with a hierarchical structure similar to hierarchical task networks in planning. The nested structure guarantees that the workflow is sound in terms of possibility to select for each involved activity a process that contains the activity. However, if extra synchronization, precedence, or causal constraints are added to the nested structure, the problem of selecting a process containing a given activity becomes NP-complete. This paper presents techniques for verifying such workflows; in particular, they verify that a process exists for each activity.

Projekt
<a href="/cs/project/GAP202%2F10%2F1188" target="_blank" >GAP202/10/1188: KnowSched: Znalostní techniky v rozvrhování</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2013
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 statě ve sborníku
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
ISBN
978-3-642-37806-5
ISSN
—
e-ISSN
—
Počet stran výsledku
12
Strana od-do
359-370
Název nakladatele
Springer-Verlag
Místo vydání
Berlin, Heidelberg
Místo konání akce
San Luis Potosí, Mexico
Datum konání akce
27. 10. 2012
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)