This HTML5 document contains 49 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/
n7http://purl.org/net/nknouf/ns/bibtex#
n18http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n19http://linked.opendata.cz/ontology/domain/vavai/
n20http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985807%3A_____%2F08%3A00317131%21RIV09-AV0-67985807/
n11https://schema.org/
n6http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
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/
n21http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n4http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985807%3A_____%2F08%3A00317131%21RIV09-AV0-67985807
rdf:type
skos:Concept n19:Vysledek
dcterms:description
Although web services are generally envisioned as being stateless, some of them are implicitly stateful, because web services often work as front-ends to enterprise systems and are used in a session-oriented way by the clients. Unlike stateless services, a stateful web service imposes constraints on the order in which the operations of the service may be invoked. However, specification of such constraints is not a standard part of a web service interface, and compliance with such constraints is not checked by the standard web service development tools. In this paper, we propose an extension to a web service interface consisting of a constraint definition based on behavior protocols. We also describe a tool that checks whether a given BPEL code complies with the constraints of all stateful web services it communicates with. The key idea behind the tool is to translate the BPEL code into Java and then to check the Java program using Java PathFinder with behavior protocol extension. Although web services are generally envisioned as being stateless, some of them are implicitly stateful, because web services often work as front-ends to enterprise systems and are used in a session-oriented way by the clients. Unlike stateless services, a stateful web service imposes constraints on the order in which the operations of the service may be invoked. However, specification of such constraints is not a standard part of a web service interface, and compliance with such constraints is not checked by the standard web service development tools. In this paper, we propose an extension to a web service interface consisting of a constraint definition based on behavior protocols. We also describe a tool that checks whether a given BPEL code complies with the constraints of all stateful web services it communicates with. The key idea behind the tool is to translate the BPEL code into Java and then to check the Java program using Java PathFinder with behavior protocol extension. Přestože webové služby jsou obecně viděny jako bezstavové, některé z nich jsou implicitně stavové. Důvodem jě to, že webové služby často pracují jako front-end k podnikovým systémům a jsou používány jejich klienty relačním způsobem. Narozdíl od bezstavových služeb, pro stavovou službu existují omezení na pořadí, ve kterém operace dané služby mohou být volány. Nicméně, specifikace takových omezení není standardní součástí rozhraní webové služby, a korespondence s těmi omezeními není ověřována běžnými nástroji pro vývoj webových služeb. V tomto článku navrhujeme rozšířit rozhraní webových služeb pomocí definice omezení, která je založena na protokolech chování. Dále jsme implementovali nástroj pro ověřování, jestli BPEL kód splňuje omezení všech stavových webových služeb, se kterými komunikuje. Hlavní myšlenka je překlad BPEL kódu do jazyka Java a ověřování Java programu pomocí nástroje Java PathFinder s rozšířením pro protokoly chování.
dcterms:title
Checking Session-Oriented Interactions between Web Services Checking Session-Oriented Interactions between Web Services Ověřování relačně-omezené komunikace mezi webovými službami
skos:prefLabel
Checking Session-Oriented Interactions between Web Services Ověřování relačně-omezené komunikace mezi webovými službami Checking Session-Oriented Interactions between Web Services
skos:notation
RIV/67985807:_____/08:00317131!RIV09-AV0-67985807
n3:aktivita
n10:P n10:Z
n3:aktivity
P(1ET400300504), P(OE227), Z(AV0Z10300504), Z(MSM0021620838)
n3:dodaniDat
n4:2009
n3:domaciTvurceVysledku
n16:5489512
n3:druhVysledku
n13:D
n3:duvernostUdaju
n21:S
n3:entitaPredkladatele
n20:predkladatel
n3:idSjednocenehoVysledku
359695
n3:idVysledku
RIV/67985807:_____/08:00317131
n3:jazykVysledku
n14:eng
n3:klicovaSlova
web services; BPEL; session-oriented interactions; behavior protocols; model checking
n3:klicoveSlovo
n12:model%20checking n12:web%20services n12:BPEL n12:behavior%20protocols n12:session-oriented%20interactions
n3:kontrolniKodProRIV
[9C5443B9ABF9]
n3:mistoKonaniAkce
Parma
n3:mistoVydani
Los Alamitos
n3:nazevZdroje
34th Euromicro Conference Software Engineering and Advanced Applications
n3:obor
n5:JC
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
2
n3:projekt
n18:1ET400300504 n18:OE227
n3:rokUplatneniVysledku
n4:2008
n3:tvurceVysledku
Parízek, P. Adámek, Jiří
n3:typAkce
n15:WRD
n3:wos
000262984400001
n3:zahajeniAkce
2005-09-03+02:00
n3:zamer
n6:MSM0021620838 n6:AV0Z10300504
s:numberOfPages
8
n7:hasPublisher
IEEE Computer Society
n11:isbn
978-0-7695-3276-9