Usage-based pricing or Pay-as-You-Go is a relatively new SaaS business model that may provide customers the option to pay for only what they use. Yet, it is more challenging to implement than traditional Pay-before-Use subscriptions considering that it need not only realize financial payment on consumption-based behaviors, but also regulate the rights and obligations among the providers, consumers, and platforms in a legal form. To address these challenges, in this article Smart Legal Contract (SLC) is integrated into a service computing platform by introducing a new architecture, called Service as a Smart Contract (SaaSC). On the aspect of service legalization, through combining SaaS and SaaSC, we establish three kinds of terms in SLC-based software subscription contract to support service's registration, discovery and customization, so that a complete transaction procedure can be regulated in terms of service states, transaction process, and interactions among contracting parties. On the aspect of service financialization, we propose a new scheme of service interface declaration in the SLC-based SPESC contract. By automatically executing smart contracts and checking the terms, the pay-as-you-go billing form can be made fine-grained payment after using service interface calls. Moreover, we take weather forecast service as a case to implement and analyze the acquisition, delivery, and contractual payment of software service on Blockchain smart contract. The experimental results demonstrate the feasibility and effectiveness of the proposed SaaS+SaaSC architecture so that it provides a practicable approach for contractual software service.

In recent years, advanced smart contract languages (ASCLs) have been proposed to solve the problem of difficult reading, comprehension, and collaboration when writing smart legal contracts among people in different fields. However, this kind of languages are still hard to put into practice due to the lack of an effective conversion method from the ASCLs to executable smart contract programs. Aiming at this problem, we take SPESC as example to explore how to design conversion rules from the contract in it to the target programming language in Solidity, and to propose a three-layer smart contract framework, including advanced smart-contract layer, general smart-contract layer, and executable machine-code layer. These rules provide an approach to convert the definition of SPESC contracting parties into party-contracts on target language, as well as to produce SPESC contract terms into main-contract on target language. Moreover, the proposed framework specifies not only program architecture and storage structure on general smart-contract layer, but also important mechanisms, including personnel management, timing control, exception handling, etc., which can assist programmers to write smart contract programs. Furthermore, taking four SPESC contracts as testing objects, we provide the whole process of converting from SPESC contracts to Solidity programs by the SPESC-Translator, and verify the efficiency and security of the conversion process, including coding, deploying, running, and testing through Ethereum. The instance results show that the conversion rules and the three-layer framework can simplify the writing of smart contracts, standardize the program structure, and help programmers to verify the correctness of the contract programs.

Smart contract is a set of digital executable protocols intended to make contractual clauses partially or fully self-executing, self-enforcing, or both. As the second-generation blockchain technology, smart contracts have greatly enriched the functional expression of blockchain to make application development more convenient. All related data of smart contracts, including program codes, intermediate states, and executed results, will be stored in blockchain to ensure that these data are not tampered with. Also, the consensus protocols of blockchain verify the correctness of the running process by executing the smart contract with the same input at all nodes. Therefore, the blockchain’s security mechanism with tamper-proof and traceable makes it possible for smart contracts to be recognized by law.