A Plan for Igniting Nigeria’s Industrial Revolution

The Industrialization of countries is in every way influenced by forerunner nations. This is exemplified in Western Europe’s copying of Britain’s technology and manufacturing systems. This work presents a study of the industrialization of nations such as Japan, South Korea, Taiwan, Singapore and several other industrializing countries and the lessons learned revealed that the industrialization of these nations was based on initial imitative-reverse-engineering of products of forerunner nations which then leads to endogenous growth and the onset of innovation under certain constraints. This is a strategic form of import substitution and is in fact the model around which a plan for Nigeria’s Industrialization has been buil

A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations

Blockchain- and smart-contract technology enhance the effectiveness and automation of business processes. The rising interest in the development of decentralized autonomous organizations (DAO) shows that blockchain technology has the potential to reform business and society. A DAO is an organization wherein business rules are encoded in smart-contract programs that are executed when specified rules are met. The contractual- and business semantics are sine qua non for drafting a legally-binding smart contract in DAO collaborations. Several smart-contract languages (SCLs) exist, such as SPESC, or Symboleo to specify a legally-binding contract. However, their primary focus is on designing and developing smart contracts with the cooperation of IT- and non-IT users. Therefore, this paper fills a gap in the state of the art by specifying a smart-legal-contract markup language (SLCML) for legal- and business constructs to draft a legally-binding DAO. To achieve the paper objective, we first present a formal SCL ontology to describe the legal- and business semantics of a DAO. Secondly, we translate the SCL ontology into SLCML, for which we present the XML schema definition. We demonstrate and evaluate our SLCML language through the specification of a real life-inspired Sale-of-Goods contract. Finally, the SLCML use-case code is translated into Solidity to demonstrate its feasibility for blockchain platform implementations

Exerting Qualitative Analytics and Blockchain Requirement-Engineering in Designing and Implementing a Luxury Products Authentication System

High-quality luxury products cater to a specific group of consumers due to their durability and the value attached to them. Counterfeiting luxury products has resulted in economic losses for both the producers and consumers. The market for counterfeit luxury products has continued to grow due to the difficulty in authenticating genuine luxury products. The traditional system of verification largely depends on the expert use of specialized equipment for visually inspecting physical luxury products and their associated certificates. This conventional process of authenticating luxury products is expensive, slow, and not easily accessible to consumers. Hence, there is a need for a digital verification approach for luxury products. Blockchain provides the potential for providing traceable and immutable information about a given luxury product. The focus of this paper is to develop a blockchain decentralized application (DApp) for authenticating luxury products in the class of luxury accessories such as jewelry across their respective lifecycles. To achieve this, qualitative analytics is applied to identify useful features for the digital authentication of luxury products. Blockchain requirement engineering modelling is then applied to explore the use of blockchain technologies to realize the features that guarantee transparency in the ownership and use of luxury products. Furthermore, this paper explores the existing blockchain technologies for realizing and implementing the developed requirements of the authentication DApp for luxury products. The selected blockchain technology stack is applied in prototyping authentication systems for luxury products. The implemented platform is simulated to demonstrate the operations carried out in authenticating luxury products