#Modelio toolbar generator
#Modelio toolbar manual
#Modelio toolbar software
#Modelio toolbar code

Instead of building cases to test functionalities, formal methods specify functionalities as properties and mathematically prove them. In addition, in the human evaluation, participants believe that 88.67% of sentences can be saved 80–100% of the time through automatic word segmentation.įormal methods are crucial in program specification and verification. In the robustness evaluation, SpIn achieves state-of-the-art F1 scores and Recall of Out-of-Vocabulary (R_OOV) words on multiple word segmentation tasks. SpIn is evaluated from a robustness and human satisfaction point of view to demonstrate its effectiveness.

SpIn serves as the core component in AIASCG that accurately recommends the intermediate MNL outputs from a natural language sentence, tremendously reducing the manual effort in contract generation. We propose an AI-based automatic word segmentation technique called Separation Inference (SpIn) to fulfill automatic split of the sentence. For sentences written in natural language, existing framework requires editors to manually split sentences into words with semantic meaning. The main contribution of AIASCG is to address the issue in our previous proposed smart contract generation framework. We compare the design of AIASCG with existing smart contract generation approaches to present its novelty. AIASCG provides a universal representation of contracts through the machine natural language (MNL) as the common understanding of the contract obligations. In this paper, we propose an AI-assisted Smart Contract Generation (AIASCG) framework that allows contracting parties in heterogeneous contexts and different languages to collaboratively negotiate and draft the contract clauses. The automatic execution of a legal contract written in natural language is an open research question that can extend the blockchain ecosystem and inspire next-era business paradigms. Nevertheless, existing blockchain smart contracts are not compatible with legal contracts. In the last decade, blockchain smart contracts emerged as an automated, decentralized, traceable, and immutable medium of value exchange. We identified 20 requirements for such a language, and the evaluation of the designed language shows that it meets 18 of them fully, and 2 of them partly. The language can be integrated with the ones used in existing work for the modeling of blockchain-enabled business processes. To address this issue, this research follows the design science research methodology to design and evaluate B-MERODE: a process-aware and shared domain modeling language. While artefact-centric languages are argued to be better suited than control-flow centric languages, there is no existing language providing a good coverage of all the dimensions of artefact-centric business processes. In this context, model-driven engineering comes as a promising solution but requires a proper modeling language to specify the processes. Previous work called for new engineering methods to efficiently specify and deploy such processes.

This work provides the first evidence that the implementation of blockchain applications using software product lines enhances the quality of produced applications and reduces the time to market.īlockchain technology has been proposed as a valuable infrastructure for the implementation of cross-organizational business processes in which trust among the participants is limited. The generalizability of the contribution is validated by reproducing on-chain traceability applications proposed in the literature by using the platform.

Finally, a generator is able to ingest such configurations to generate on-the-shelf blockchain products. Then, a configurator has been implemented to support the feature selection phase. First, a feature model has been designed to model core features of the chosen domain, based on the existing literature. To support the approach, a web platform to configure and generate a blockchain application for on-chain traceability is introduced. This study proposes a novel approach to tackle these issues, through software product line engineering.

Others might face a steep learning curve or difficulties to reuse existing code to build blockchain applications. Due to the technological novelty, only a few developers are familiar with blockchain technologies and smart contracts. Nevertheless, the development of blockchain applications is still a challenge. In recent years, blockchain has been growing rapidly from a niche technology to a promising solution for many sectors, due to its unique properties that empower the design of innovative applications.

#Modelio toolbar manual

#Modelio toolbar software

#Modelio toolbar generator

#Modelio toolbar code