BPEL Checker

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F07%3A00005198" target="_blank" >RIV/00216208:11320/07:00005198 - isvavai.cz</a>

Result on the web

<a href="http://d3s.mff.cuni.cz/software/bpc" target="_blank" >http://d3s.mff.cuni.cz/software/bpc</a>

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

BPEL Checker

Original language description

BPEL checker is a command-line tool for verification of BPEL code against session protocols. For a given web service implemented in the BPEL language (a BPEL script), the tool can check whether the BPEL script interacts with other services according to the constraints on the order of operation invocations of the other services - the constraints being expressed via session protocols that are defined in the formalism of behavior protocols.

Czech name

—

Czech description

—

Type

R - Software

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/1P05OE171" target="_blank" >1P05OE171: OSIRIS Open Source Infrastructure for Run-time Integration of Services</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Internal product ID

D3S-SW-2007-01

Technical parameters

podrobně na http://d3s.mff.cuni.cz/software/bpc

Economical parameters

open source software bez licenčních poplatků

Owner IČO

00216208

Owner name

Univerzita Karlova v Praze, Matematicko-fyzikální fakulta