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

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

Namespace Prefixes

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

Statements

Subject Item
n2:RIV%2F00216208%3A11320%2F13%3A10195075%21RIV14-GA0-11320___
rdf:type
skos:Concept n9:Vysledek
rdfs:seeAlso
http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS13/paper/view/5833/6037
dcterms:description
Workflow verification is an important aspect of workflow modeling where the verification task is to ensure that the workflow describes feasible processes. It has been shown that verifying nested workflows with extra precedence, causal, and temporal synchronization constraints is an NP-complete problem and a verification method based on constraint satisfaction has been proposed. This paper theoretically justifies the task-collapsing component of this method and provides examples of easy-to-verify constraints. Workflow verification is an important aspect of workflow modeling where the verification task is to ensure that the workflow describes feasible processes. It has been shown that verifying nested workflows with extra precedence, causal, and temporal synchronization constraints is an NP-complete problem and a verification method based on constraint satisfaction has been proposed. This paper theoretically justifies the task-collapsing component of this method and provides examples of easy-to-verify constraints.
dcterms:title
Simplifying Verification of Nested Workflows with Extra Constraints Simplifying Verification of Nested Workflows with Extra Constraints
skos:prefLabel
Simplifying Verification of Nested Workflows with Extra Constraints Simplifying Verification of Nested Workflows with Extra Constraints
skos:notation
RIV/00216208:11320/13:10195075!RIV14-GA0-11320___
n9:predkladatel
n10:orjk%3A11320
n3:aktivita
n18:P n18:I
n3:aktivity
I, P(GAP202/10/1188)
n3:dodaniDat
n5:2014
n3:domaciTvurceVysledku
n7:8318573
n3:druhVysledku
n22:D
n3:duvernostUdaju
n13:S
n3:entitaPredkladatele
n16:predkladatel
n3:idSjednocenehoVysledku
105137
n3:idVysledku
RIV/00216208:11320/13:10195075
n3:jazykVysledku
n20:eng
n3:klicovaSlova
Extra Constraints; Nested Workflows; Verification
n3:klicoveSlovo
n12:Verification n12:Nested%20Workflows n12:Extra%20Constraints
n3:kontrolniKodProRIV
[F0E5897730BC]
n3:mistoKonaniAkce
St. Pete Beach, Florida
n3:mistoVydani
California, USA
n3:nazevZdroje
Proceedings of the Twenty-Sixth Florida Artificial Intelligence Research Society Conference (FLAIRS 2013)
n3:obor
n6:JC
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n4:GAP202%2F10%2F1188
n3:rokUplatneniVysledku
n5:2013
n3:tvurceVysledku
Barták, Roman
n3:typAkce
n15:WRD
n3:zahajeniAkce
2013-05-22+02:00
s:numberOfPages
6
n17:hasPublisher
AAAI Press
n23:isbn
978-1-57735-605-9
n21:organizacniJednotka
11320