Počet záznamů: 1
Checking Session-Oriented Interactions between Web Services
- 1.
SYSNO ASEP 0317131 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Checking Session-Oriented Interactions between Web Services Překlad názvu Ověřování relačně-omezené komunikace mezi webovými službami Tvůrce(i) Parízek, P. (CZ)
Adámek, Jiří (UIVT-O)Zdroj.dok. 34th Euromicro Conference Software Engineering and Advanced Applications. - Los Alamitos : IEEE Computer Society, 2008 - ISBN 978-0-7695-3276-9 Rozsah stran s. 3-10 Poč.str. 8 s. Akce SEAA 2008. EUROMICRO Conference on Software Engineering and Advanced Applications /34./ Datum konání 03.09.2008-05.09.2008 Místo konání Parma Země IT - Itálie Typ akce WRD Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova web services ; BPEL ; session-oriented interactions ; behavior protocols ; model checking Vědní obor RIV JC - Počítačový hardware a software CEP 1ET400300504 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000262984400001 DOI 10.1109/SEAA.2008.11 Anotace 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2009
Počet záznamů: 1