Dynamic Testing and Deployment of a Contract Monitoring Service

Solaiman, Ellis; Sfyrakis, Ioannis; Molina-Jiménez, Carlos

doi:10.5220/0005453704630474

Cited by 2 publications

(4 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To conduct our analysis we use a Contract Compliance Checker (CCC) tool that we have developed in previous projects for the enforcement of smart contracts [44]. We have used the CCC in the implementation of several smart contract applications (see for example [45]) following the architecture shown in Fig. V.…”

Section: A Implementationmentioning

confidence: 99%

See 1 more Smart Citation

The Benefits of Deploying Smart Contracts on Trusted Third Parties

Molina-Jiménez¹,

Sfyrakis²,

Song³

et al. 2020

Preprint

Self Cite

View full text Add to dashboard Cite

The hype about Bitcoin has overrated the potential of smart contracts deployed on-blockchains (on-chains) and underrated the potential of smart contracts deployed on-Trusted Third Parties (on-TTPs). As a result, current research and development in this field is focused mainly on smart contract applications that use on-chain smart contracts. We argue that there is a large class of smart contract applications where on-TTP smart contracts are a better alternative. The problem with on-chain smart contracts is that the fully decentralised model and indelible append-only data model followed by blockchains introduces several engineering problems that are hard to solve. In these situations, the inclusion of a TTP (assuming that the application can tolerate its inconveniences) instead of a blockchain to host the smart contract simplifies the problems and offers pragmatic solutions. The intention and contribution of this paper is to shed some light on this issue. We use a hypothetical use case of a car insurance application to illustrate technical problems that are easier to solve with on-TTP smart contracts than with on-chain smart contracts 1 .

show abstract

Section: A Implementationmentioning

confidence: 99%

“…The exchange of information between the smart contract and the clients is conducted by means of conventional RESTful messages. More details about the operation of the CCC as a web server are discussed in [45].…”

Section: G Off-blockchain Interaction Issuesmentioning

confidence: 99%

The Benefits of Deploying Smart Contracts on Trusted Third Parties

Molina-Jiménez¹,

Sfyrakis²,

Song³

et al. 2020

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

“…Tools are represented by solid squares with sharp corners, and dashed squares represent data. The framework has been updated with 2 new tools since our work in [19] with the addition of the LTL Manager, and the EROP to Drools Translator.…”

Section: Model Checker Based Testing Frameworkmentioning

confidence: 99%

“…It takes EPROMELA models augmented with LTL correctness properties and verifies whether the LTLs are satisfied or violated. Details of how to download the LTL Manager can be found in [19]. Using the tool (see Fig.…”

Section: The Ltl Managermentioning

confidence: 99%

High Level Model Checker Based Testing of Electronic Contracts

Solaiman

Sfyrakis

Molina-Jiménez

2016

Communications in Computer and Information Science

Self Cite

View full text Add to dashboard Cite

Within cloud and Internet-based collaborative settings, a business contract (service agreement) is a specification that describes permissible interactions between partners. Specifically, a business contract stipulates what operations the business partners have the rights, obligations or prohibitions to execute; it also specifies when the operations are to be executed and in which order. The main purpose of an electronic contract is to regulate (monitor and/or enforce) electronic service exchanges between the contracted parties, making sure that participants adhere to the service agreement in place. Because of the dynamic nature of Internet and cloud-based relationships, the rapidity at which electronic contracts are constructed, verified for correctness, tested, and deployed is an extremely important factor. This paper describes a model checker based framework for supporting automated testing and deployment of electronic contracts. The central components of the framework are a contract monitoring service called the Contract Compliance Checker (CCC), the SPIN model checker coupled with EPROMELA, a high-level language developed specifically for modeling electronic contracts, and the LTL Manager; a graphical tool developed in order to aid with the specification of correctness properties in Linear Temporal Logic (LTL). We describe how the LTL Manager can used to create a repository of common contract related LTL templates, which then can be easily selected and parameterized by the contract designer. We also describe how SPIN can be used to automatically generate execution sequences from an EPROMELA model of a contract, and how such sequences can then be used to test the correctness of the model equivalent electronic contract deployed to the CCC.

show abstract

Dynamic Testing and Deployment of a Contract Monitoring Service

Cited by 2 publications

References 0 publications

The Benefits of Deploying Smart Contracts on Trusted Third Parties

The Benefits of Deploying Smart Contracts on Trusted Third Parties

High Level Model Checker Based Testing of Electronic Contracts

Contact Info

Product

Resources

About