A simple WSDL generator based on JSON scripting DSL