RESTful web service composition: extracting a process model from linear logic theorem proving

X Zhao, E Liu, GJ Clapworthy, N Ye… - 2011 7th International …, 2011 - ieeexplore.ieee.org
This paper introduces a two-stage Linear Logic based program synthesis approach to
automatic RESTful web service composition. The Linear Logic theorem proof is applied at …
被引用次数：31 相关文章

[引用][C] RESTful web service composition: extracting a process model from Linear Logic theorem proving

X Zhao, E Liu, GJ Clapworthy, N Ye, Y Lu - 2011 - uobrep.openrepository.com
RESTful web service composition: extracting a process model from Linear Logic theorem proving
Toggle navigation Login Toggle navigation View Item Home IRAC Institute for Research in …

RESTful web service composition: Extracting a process model from Linear Logic theorem proving

X Zhao, E Liu, GJ Clapworthy, N Ye, Y Lu - 2011 7th International Conference on … - infona.pl
This paper introduces a two-stage Linear Logic based program synthesis approach to
automatic RESTful web service composition. The Linear Logic theorem proof is applied at …