This paper proposes a new architecture to create a framework that dynamically generates likely invariants from the execution of web services compositions in WS- ...

This paper proposes a new architecture to create a framework that dynamically generates likely invariants from the execution of web services compositions in WS- ...

TL;DR: Takuan is an open-source system that dynamically generates invariants reflecting the internal logic of a WS- BPEL composition that can help find both ...

Conference Paper. Full-text available. An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions. January 2008.

An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions. Manuel Palomo-duarte,Antonio García-domínguez,Inmaculada Medina-bulo.

WS-BPEL eases programming in the large by composing web services, but poses new challenges to classical white-box testing techniques.

2014/09/01 · Dynamic invariant generation is usually applied in a white-box manner, extracting properties about the internal logic of the program. In our ...

An architecture for dynamic invariant generation in WS-BPEL web service compositions ; ISBN · 9789898111586 ; Any de publicació · 2008 ; Pàgines · 37-44 ; Tipus ...

Keywords: Web service composition, WS-BPEL, dynamic invariant ... dynamic invariant generation can be applied to WS-BPEL compositions ... service-oriented ...

An architecture for dynamic invariant generation in WS-BPEL web service compositions. Duarte, M.P.; Domnguez, A.G.; Bulo, I.M.. Actas: ICE-B 2008 - Proceedings ...