Web Services and Formal Methods

Web Services and Formal Methods

4.11 - 1251 ratings - Source

5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings Roberto Bruni, Karsten Wolf ... mapping the structures resulting from the enactment, h : I”I‰1 a†’ I”I‰2 s.t. the interpretation of concept, role and object ... Moreover, according to this claim, we need, at most, to keep into account, for a given starting condition, a successor state for ... Moreover, the adopted repair- based strategy can deal with the minimal-change semantics also in case of side- effects, anbsp;...

Title:Web Services and Formal Methods
Author:Roberto Bruni, Karsten Wolf
Publisher:Springer - 2009-04-30


You Must CONTINUE and create a free account to access unlimited downloads & streaming