• Journal of the Semiconductor & Display Technology
• /
• v.18 no.1
• /
• pp.74-78
• /
• 2019

As software becomes larger and network technology develops, the management of distributed data becomes more popular. Therefore, it is becoming increasingly important to use blockchain technology that can guarantee the integrity of data in various fields by utilizing existing infrastructure. Blockchain is a distributed computing technology that ensures that servers participating in a network maintain and manage data according to specific agreement algorithms and rules to ensure integrity. As smart contracts are applied, not only passwords but also various services to be applied to the code. In order to reinforce existing research on smart contract applied to the blockchain, we proposed a dynamic conditional rule of smart contract that can formalize rules of smart contract by introducing ontology and SWRL and manage rules dynamically in various situations. In the previous research, there is a module that receives the upper rule in the blockchain network, and the rule layer is formed according to this module. However, for every transaction request, it is a lot of resources to check the top rule in a blockchain network, or to provide it to every blockchain network by a reputable organization every time the rule is updated. To solve this problem, we propose to separate the module responsible for the upper rule into an independent server. Since the module responsible for the above rules is separated into servers, the rules underlying the service may be transformed or attacked in the middleware. Therefore, the security mechanism using TLS and PKI is added as an agent in consideration of the security factor. In this way, the benefits of computing resource management and security can be achieved at the same time.

• Journal of Software Assessment and Valuation
• /
• v.16 no.2
• /
• pp.77-85
• /
• 2020

In this paper, We studied the operation of distributed ledger technology used as a core technology for smart contracts and the components of distributed ledger technology. As a solution applying the entity of distributed ledger technology to NoE, we proposed the protocol of the distributed ledger technology using the thing user social group management function of NoE protocols being standardized in ISO/IEC JTC1 SC6. The management function of things user social group in NoE provides stable protocol functions and data transmission management, and provides group management functions such as member discovery function and data transmission channel management function. It is expected to be useful for member management functions of distributed ledger nodes by providing a service that apply the component of distributed ledger technology. We intend to actively reflect this technology in the future network functions of ISO/IEC JTC1 SC6, which is undergoing standardization.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.677-696
• /
• 2004

Component-based software engineering (CBSE) composes reusable components and develops applications with the components. CBSE is admitted to be a new paradigm that reduces the costs and times to develop software systems. The high quality of component designs can be assured if the consistency and correctness among the elements of a component are verified with formal specifications. Current formal languages for components include only some parts of contracts between interfaces, structural aspects and behavioral aspects of component, component-based system, component composition and variability. Therefore, it is not adequate to use current formal languages in all steps of a component design process. In this paper, we suggest a formal language to specify component designs Component-Z. Component-Z extends Object-Z, adds new notations to specify components. It can be possible to specify interfaces, the inner structure of a component, inner workflows, and workflows among interfaces with Component-Z. In addition, Component-Z provides the notations and semantics to specify variability with variation points, variants and required interfaces. The relation between interfaces and components is defined with mapping schemas. Parallel operator is used to specify component composition. It can be possible to describe deployed components with the specifications of component-based systems. Therefore, the formal specification language proposed in this paper can represent all elements to design components. In the case study, we specify an account management system in a bank so that we show that Component-Z can be used in all steps of component design.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.20 no.4
• /
• pp.115-121
• /
• 2020

As the participation of blockchain increases, governance to maintain the ecosystem is being activated. Governance must be managed/supervised to maintain and improve the blockchain. However, as the usage of blockchain increases, there is a limit for people to manage it individually. In addition, smart contracts applied from Ethereum need to be verified for trade that are determined according to status values, as new trade types are possible. This research proposes a surveillance system, Blockchain Watchdog, based on the state monitoring of the blockchain smart contract as a tool for maintaining and developing the blockchain ecosystem of governance, and implemented and tested the surveillance system. As a case study, we conducted experiments on Ropsten and Ganache, and were able to see real-time information collection and visualization using dashboards, graphs, and charts. We expect to contribute to the maintenance and development of the ecosystem of blockchain governance through Blockchain Watchdog.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.723-734
• /
• 2001

Today\\`s wide variety of component-based development environments supports the component framework that can be used only for the specific type of components. And many researches have shown that it is necessary for the component-based development environment to support recursive component composition, various kinds of component composition patterns and the multi-tier component architecture for the real benefits of software component composition. In this paper we propose the component composition specification which can not only specify the interaction contracts between components but also supports recursive component composition, and we also propose the component composition model based on this component composition specification. The proposed component composition specification can express the contractual properties that existing component specification techniques cannot specify, and it can be also used to implement the component architectures with multi-tier concept and the tool for component composition through supporting the various kinds of component composition patterns.

• International Journal of Computer Science & Network Security
• /
• v.22 no.2
• /
• pp.424-435
• /
• 2022

When the owners of the intellectual property rights of digital content have lost control over it in the digital environment, there emerged fears that the intellectual property laws, especially copyright law, would not be effective as in the material (Offline ) world. The reason is that the digital environment helps to reproduce copies in high quality and at almost no cost, while copyright law protection has been limited to programs embedded in CDs. According to copyright laws, the owner of the program did not have the right to prevent buyers of the initial physical copy of the program from copying and reselling it to more than one individual without the permission of the original owner. As a result, business owners have invented the idea of licensing digital content and programs instead of selling them. They set out terms that serve their commercial interests regardless of their abuse to intellectual property laws or even the rules of the traditional contract to sell a material property. The abuse has resulted from the way those terms are concluded and the heavy rules that are unfair to consumer rights. Therefore, business owners insisted on dealing with the website and its programs and digital content as material property. Here raises the question of whether the website and its digital content are subject to the protection of copyright law or the rules of the traditional contract or licensing contracts. As the answer to this question affects the protection of consumer rights, is it possible to find a balance between it and the protection of the owners of digital programs' rights.That is what we will discuss in this paper.

• Advanced Industrial SCIence
• /
• v.2 no.2
• /
• pp.1-8
• /
• 2023

The goal of the study is to describe blockchain technology as it relates to enhancing supply chains in the retail sector in order to achieve sustainability. This study offers a critical analysis of the possible applications of blockchain technology and smart contracts to supply chain management. This paper explains how Blockchain technology may be used by customers and merchants in a variety of retail business operations to great advantage. By adopting a modified version of the UTUAT model, this study validates the possibility of using blockchain for supply chain management in the retail industry. The study found a significant and positive correlation between behavioral intention and acceptance toward employing block networks in supply chain management in the retail business. The behavior intention (BI) to adopt blockchain technology is significantly influenced by performance expectations, effect expectations, subjective standards, and enabling variables. The performance and effort expectations have a considerable impact on the BI to adopt blockchain in supply chain management.

• Journal of Climate Change Research
• /
• v.4 no.2
• /
• pp.105-114
• /
• 2013

Recently, foreign direct investment of Korea has increased significantly. Foreign direct investment is motivated by various reasons and renewable energy investments in foreign countries can be performed by many causes. Korean companies can enjoy the export of products, related EPC contracts, acquisition of the knowledge of the project management technique, pre-occupying effect of the market and profit itself. Wind power projects have biggest share in the investment amounts among the renewable energy business. So, in this study, one wind farm project was selected and supposed to be invested in China, USA, Germany and UK at the same time and the effect of electricity price, corporate income tax, inflation rate and interest rate of debt were analyzed. The result showed that investing in Germany is most profitable because of the highest electricity price and electricity price and debt interest rate are the most sensitive factors for IRR. This approach would be helpful to make decisions in investing foreign wind power projects.

• Journal of Korea Port Economic Association
• /
• v.38 no.4
• /
• pp.45-64
• /
• 2022

Due to the recent and rapid globalization, logistics outsourcing has expanded globally and is seen as a means of creating a robust logistics system. However, many businesses continue to have difficulties with their logistics outsourcing contracts, which compels them to reinstate the logistics function for internal management. This study aims to investigate how organizational capabilities of logistics service providers (LSPs), notably flexibility, integration, innovation, and technological capabilities, impact on the logistics outsourcing success in Ugandan food processing firms. Using a structured questionnaire survey, cross-sectional data collected from 211 food processing firms in Kampala - Uganda were analyzed by partial least squares-structural equation modeling (PLS-SEM) using SmartPLS 3.3.7 software to examine the theorized relationships. The study findings revealed that whereas the technological and innovation capabilities positively and significantly influence logistics outsourcing success, the effects of flexibility and integration capabilities were insignificant. Additionally, the importance-performance map analysis (IPMA) reveals that the technological capability is a priority capability, followed by the innovation capability if logistics outsourcing success is to be achieved. Conversely, flexibility and integration capabilities are of low priority.

• KIPS Transactions on Software and Data Engineering
• /
• v.12 no.9
• /
• pp.419-430
• /
• 2023

Currently, NFTs have no dominant application except for the proof of ownership for digital content, and it also have small liquidity problem, which makes their price difficult to predict. Real estate usually has very high barriers to investment due to its high pricing. Real estate can be converted into NFTs and also divided into small value fungible tokens (FTs), and it can increase the the volume of the investor community due to more liquidity and better accessibility. In this document, we implement and design a system that allows ordinary users can invest on high priced real estate utilizing Black Litterman (BL) model-based Portfolio investment interface. To this end, we target a set of real estates pegged as collateral and issue NFT for the collateral using blockchain. We use oracle to get the current real estate information and to monitor varying real estate prices. After tokenizing real estate into NFTs, we divide the NFTs into easily accessible price FTs, thereby, we can lower prices and provide large liquidity with price volatility limited. In addition, we also implemented BL based asset portfolio interface for effective portfolio composition for investing in multiple of real estates with small investments. Using BL model, investors can fix the asset portfolio. We implemented the whole system using Solidity smart contracts on Flask web framework with public data portals as oracle interfaces.