DEMO Models Based Automatic Smart Contract Generation: A Case in Logistics Using Hyperledger

This article presents a practical research project aimed at developing a method for automatically generating smart contracts from business models. The project has as a context the logistics in- dustry and uses Hyperledger Fabric as the blockchain (BC) platform. The main contributions are a mapping from DEMO (Design and Engineering Methodology for Organizations) language to Hyperledger Chaincode using GO language, as well as an evolution of DEMO’s Action Model Grammar, that enable specification of elements necessary for automatic SC generation. The proposed approach extends the DEMO methodology so that it includes an SC concern, enabling the generation of reusable action rule specifications and other elements necessary for SC genera- tion. Our research contributes to combining the strengths of the DEMO methodology and smart contracts. The design and implementation considerations of this approach are discussed in de- tail, and the results can be applied in future business cases requiring enterprise interoperability supported by distributed ledger technology

An approach to resource modelling in support of the life cycle engineering of enterprise systems

Enterprise modelling can facilitate the design, analysis, control and construction of contemporary enterprises which can compete in world-wide Product markets. This research involves a systematic study of enterprise modelling with a particular focus on resource modelling in support of the life cycle engineering of enterprise systems. This led to the specification and design of a framework for resource modelling. This framework was conceived to: classify resource types; identify the different functions that resource modelling can support, with respect to different life phases of enterprise systems; clarify the relationship between resource models and other modelling perspectives provide mechanisms which link resource models and other types of models; identify guidelines for the capture of information - on resources, leading to the establishment of a set of resource reference models. The author also designed and implemented a resource modelling tool which conforms to the principles laid down by the framework. This tool realises important aspects of the resource modeffing concepts so defined. Furthermore, two case studies have been carried out. One models a metal cutting environment, and the other is based on an electronics industry problem area. In this way, the feasibility of concepts embodied in the framework and the design of the resource modelling tool has been tested and evaluated. Following a literature survey and preliminary investigation, the CIMOSA enterprise modelling and integration methodology was adopted and extended within this research. Here the resource modelling tool was built by extending SEWOSA (System Engineering Workbench for Open System Architecture) and utilising the CIMBIOSYS (CINI-Building Integrated Open SYStems) integrating infrastructure. The main contributions of the research are that: a framework for resource modelling has been established; means and mechanisms have been proposed, implemented and tested which link and coordinate different modelling perspectives into an unified enterprise model; the mechanisms and resource models generated by this research support each Pfe phase of systems engineering projects and demonstrate benefits by increasing the degree to which the derivation process among models is automated