T.V. Levashova – Ph.D.(Eng.), Senior Research Scientist, St. Petersburg Institute for Informatics and Automation of RAS
M.P. Pashkin – Ph.D.(Eng.), Senior Research Scientist, St. Petersburg Institute for Informatics and Automation of RAS
The purpose of the research that the paper describes is the development of models of dynamic smart contracts configuration for service packages. The paper presents a conceptual model and a scenario one. The models embody the idea of service packages composition from individual services so that in various situations the user is provided with services that meet his/her needs in these situations. Smart contracts regulate the conditions of service delivery. The configuration of a smart contract is determined by the services provided in a particular situation. A recommending system is responsible for the composition of the service packages and the smart-contracts configuration. A service package is created when the user purchases a product. The basis for the package composition is the product ontology and the user profile. The product ontology specifies the product in terms of its components, describes the services that can be provided along with the product as well as the conditions for services provision, and defines the rules for providing / disabling the services. The user profile, among other things, represents the preferences of the user and typical situations for him/her. The service package includes only those services that, in accordance with the user profile, fall within the area of interests of this user. Methods of ontology integration are used to combine services and, accordingly, the conditions for their provision into a package. The recommending system builds an abstract configuration of the smart contract for the service package. For this, the system uses methods of dynamic configuring implemented by it. When the user is in a situation involving the use of some services from the package, the current users’ needs are determined, and the smart contract reconfigured according to these needs is executed. As a result, the services that meet the current users’ needs are automatically provided to the user, and the conditions for providing these services are automatically checked. The research contributes to the problem of personalized product configuration. The novelty of the research lies in the idea of composition of service packages using the techniques of context aware dynamic configuration. The practical importance of the research is the possibility to apply research results in various business areas to improve the quality of customer service and to increase their interests in purchasing the products offered.
- Szabo N. Smart Contracts: Building Blocks for Digital Markets. EXTROPY J. Transhumanist Thought. 1996. V. 16.
- Szabo N. Formalizing and Securing Relationships on Public Networks. First Monday. 1997. V. 2. № 9.
- Governatori G. et al. On legal contracts, imperative and declarative smart contracts, and blockchain systems. Artif. Intell. Law. 2018. V. 26. № 4. P. 377−409.
- Buterin V. A next-generation smart contract and decentralized application platform [Electronic resource]. Ethereum White Paper. 2014. URL = https://www.weusecoins.com/assets/pdf/library/Ethereum_white_paper-a_next_generation_smart_contract_and_decentralized_ application_platform-vitalik-buterin.pdf (data obrashcheniya: 01.08.2019).
- NEO – An Open Network For Smart Economy [Electronic resource]. URL = https://neo.org/ (data obrashcheniya: 01.08.2019).
- Stellar [Electronic resource]. URL = https://www.stellar.org/ (data obrashcheniya: 01.08.2019).
- Hyperledger Architecture. Volume II. Smart Contracts. [Electronic resource]. Whitepaper. URL = https://www.hyperledger.org/wp-content/uploads/2018/04/Hyperledger_Arch_WG_Paper_2_SmartContracts.pdf (data obrashcheniya: 01.08.2019).
- Poon J. OmiseGO: Decentralized Exchange and Payments Platform. Whitepaper. 2017. URL = https://cdn.omise.co/omg/whitepa¬per.pdf (data obrashcheniya: 01.08.2019).
- Fast E. et al. NEON Exchange. 2018. URL = https://icorating.com/upload/rating/XHq8DsKDS79sYYeEbz0gVQDoeTMymRqDfxXJ55xG.pdf (data obrashcheniya: 01.08.2019).
- Adams T. et al. Moonlight: The Smart Economy Workplace. [Electronic resource]. Whitepaper. 5 April 2018. Version 1.1. URL = https://assets.moonlight.io/docs/wp/moonlight_en-us.pdf (data obrashcheniya: 01.08.2019).
- TrustaBit: Blockchain for Delayed Flights [Electronic resource]. Whitepaper. URL = https://trustabit.io/wp-content/uploads/2017/ 11/TrustaBit-final.pdf (data obrashcheniya: 01.08.2019).
- Gangemi A. Design Patterns for Legal Ontology Constructions. 2nd Workshop on Legal Ontologies and Artificial Intelligence Techniques. Ed. by P. Casanovas et al. CEUR Workshop Proceedings. 2007. P. 65−85.
- Kabilan V., Johannesson P. Semantic representation of contract knowledge using multi tier ontology. SWDB’03 Proc. of the First International Conference on Semantic Web and Databases. Ed. by I.F. Cruz et al. 2003. P. 378−397.
- Madaan N., Krishna P.R., Karlapalem K. Consistency detection in e-contract documents. Proc. of the 8th International Conference on Theory and Practice of Electronic Governance – ICEGOV’14. New York, New York, USA: ACM Press. 2014. P. 267−274.
- Bhargavan K. et al. Formal Verification of Smart Contracts. Proc. of the 2016 ACM Workshop on Programming Languages and Analysis for Security – PLAS’16. New York, New York, USA: ACM Press. 2016. P. 91−96.