This HTML5 document contains 44 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n19http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n11http://purl.org/net/nknouf/ns/bibtex#
n7http://localhost/temp/predkladatel/
n22http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n21http://linked.opendata.cz/resource/domain/vavai/projekt/
n18http://linked.opendata.cz/resource/domain/vavai/subjekt/
n17http://linked.opendata.cz/ontology/domain/vavai/
n9https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n20http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216208%3A11320%2F12%3A10129790%21RIV13-GA0-11320___/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n23http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F12%3A10129790%21RIV13-GA0-11320___
rdf:type
skos:Concept n17:Vysledek
dcterms:description
Workflow is a formal description of a process or processes. There exist tools for interactive and visual editing of workflows such as the FlowOpt Workflow Editor. During manual editing of workflows, it is common to introduce flaws such as cycles of activities. Hence one of the required features of workflow management tools is verification of workflows, which is a problem of deciding whether the workflow describes processes that can be realized in practice. In this paper we deal with the theoretical complexity of verifying workflows with a nested structure and with extra constraints. The nested structure forces users to create valid workflows but as we shall show, introduction of extra causal, precedence, and temporal synchronization constraints makes the problem of deciding whether the workflow represents a realizable process hard. In particular, we will show that this problem is NP-complete. Workflow is a formal description of a process or processes. There exist tools for interactive and visual editing of workflows such as the FlowOpt Workflow Editor. During manual editing of workflows, it is common to introduce flaws such as cycles of activities. Hence one of the required features of workflow management tools is verification of workflows, which is a problem of deciding whether the workflow describes processes that can be realized in practice. In this paper we deal with the theoretical complexity of verifying workflows with a nested structure and with extra constraints. The nested structure forces users to create valid workflows but as we shall show, introduction of extra causal, precedence, and temporal synchronization constraints makes the problem of deciding whether the workflow represents a realizable process hard. In particular, we will show that this problem is NP-complete.
dcterms:title
On Complexity of Verifying Nested Workflows with Extra Constraints On Complexity of Verifying Nested Workflows with Extra Constraints
skos:prefLabel
On Complexity of Verifying Nested Workflows with Extra Constraints On Complexity of Verifying Nested Workflows with Extra Constraints
skos:notation
RIV/00216208:11320/12:10129790!RIV13-GA0-11320___
n17:predkladatel
n18:orjk%3A11320
n3:aktivita
n13:P
n3:aktivity
P(GAP202/10/1188)
n3:dodaniDat
n10:2013
n3:domaciTvurceVysledku
n22:8318573
n3:druhVysledku
n16:D
n3:duvernostUdaju
n23:S
n3:entitaPredkladatele
n12:predkladatel
n3:idSjednocenehoVysledku
156194
n3:idVysledku
RIV/00216208:11320/12:10129790
n3:jazykVysledku
n15:eng
n3:klicovaSlova
Scheduling; Verification; Workflow; Workflows with Constraints; Verifying Nested Workflows; Complexity
n3:klicoveSlovo
n4:Workflows%20with%20Constraints n4:Workflow n4:Verifying%20Nested%20Workflows n4:Scheduling n4:Verification n4:Complexity
n3:kontrolniKodProRIV
[D1B0F209B74A]
n3:mistoKonaniAkce
Vilamoura, Portugal
n3:mistoVydani
Rome
n3:nazevZdroje
Proceedings of 4th International Conference on Agents and Artificial Intelligence (ICAART 2012), Volume 1
n3:obor
n14:IN
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n21:GAP202%2F10%2F1188
n3:rokUplatneniVysledku
n10:2012
n3:tvurceVysledku
Barták, Roman
n3:typAkce
n19:WRD
n3:zahajeniAkce
2012-02-06+01:00
s:numberOfPages
9
n20:doi
10.5220/0003748003460354
n11:hasPublisher
SciTePress
n9:isbn
978-989-8425-95-9
n7:organizacniJednotka
11320