automatic RESTful web service composition. The Linear Logic theorem proof is applied at
both resource and service invocation method levels, which greatly improves the searching
efficiency and guarantees the correctness and completeness of the service composition.
Furthermore, the process calculus is used as formalism for the composition process, which
enables the approach to be executable at the business management level. The process …