Events Calendar Print Email help
Flat View
See by year
Monthly View
See by month
Weekly View
See by week
Daily View
See Today
See by categories
Service Orchestration Testing Based on Symbolic Transition System
Friday, 27 November 2009, 11:00 - 12:00
by  This e-mail address is being protected from spambots. You need JavaScript enabled to view it Hits : 736


Iyad Alshabani


In this presentation I will talk about the using of a symbolic transition system (STS) for the test and verification of WS-BPEL orchestration.
The approch is to translate orchestration spcifications into a formal model (in STS), then a symbolic execution tree(SET) is computed from the this STS. It supports the retrieval of the STS execution semantics, while avoiding the usual state-explosion problem in presence of unbounded data types, as used in full-fledged BPEL. Given a coverage criterion, a set of execution paths is generated from the SET which are finally run by a test oracle against the orchestration implementation. Formal model, developement results,  challanges and demonstations about the implementation of BPEL->STS and STS->BPEL transoformations will be presented.


JEvents v1.5.3   Copyright © 2006-2009