• The Journal of Society for e-Business Studies
• /
• v.11 no.4
• /
• pp.49-66
• /
• 2006

As business-to-business electronic commerce becomes activated, usage rate of standard electronic documents is rapidly increasing. Types and forms of standard documents exchanged between businesses have also been changed. Instead of EDI documents, mainly used in the initial phase, XML documents have been actively used recently. However, most framework standards for XML documents just specify basic syntax rules, messaging protocols, and standard documents. As a result, it has been usually difficult to procure efficiency and effectiveness in developing new standard electronic documents. Reflecting the experiences of developing UN/EDIFACT, UN/CEFACT provides a methodology and library for reusing standard data items as components when defining electronic documents. However, much additional effort is required for applying the methodology and library to the development process. In order to improve this situation, this paper proposes a system for supporting the development process by reusing various resources of registries/repositories, focusing on UN/CEFACT submission forms for standard electronic documents.

• Journal of the Korea Society for Simulation
• /
• v.22 no.4
• /
• pp.39-47
• /
• 2013

Simulation based Battle Experimentation is to examine the readiness for a battle using simulation technology. It heavily relies on the weapon systems modeling and simulation. To analyze the characteristics and complexity of the weapon systems in the experiment, the modeling & simulation environment has to be able to break down the system of systems into components and make the use of high fidelity components such as real hardware in simulation. In that sense, the modular and hierarchical structure of DEVS (Discrete EVent System Specification) framework provides potentials to meet the requirements of the battle experimentation environment. This paper describes the development of the DEVS integrated development environment for Simulation based Battle Experimentation. With the design principles of easy, flexible, and fast battle simulation, the newly developed battle experimentation tool mainly consists of 3 parts - model based graphical design tool for making DEVS models and linking them with external simulators easily through diagrams, the experiment plan tool for speeding up a statistic analysis, the standard components model libraries for lego-like building up a weapon system. This noble simulation environment is to provide a means to analyze complex simulation based experiments with different levels of models mixed in a simpler and more efficient way.

• Journal of Korea Society of Industrial Information Systems
• /
• v.12 no.1
• /
• pp.28-38
• /
• 2007

In this paper, we implement Microsoft COM software modules for elliptic curve cryptographic applications and analyze its performance. The implemented COM software modules support all elliptic curve key exchange protocols and elliptic curve digital signature algorithm in IEEE 1363 finite fields GF(p) and GF(2m). Since the implemented software modules intend to focus on a component-based software development method, and thus it have a higher productivity and take systematic characteristics to be open outward and to be standardized. Accordingly, it enable a software to be developed easier and faster rather than a method using C library. In addition it support the Microsoft COM interface, we can easily implement secure software applications based on elliptic curve cryptographic algorithms.

• Journal of KIISE:Software and Applications
• /
• v.36 no.9
• /
• pp.706-717
• /
• 2009

A web application is implemented by reusing the library provided by framework and has hierarchical architecture. Also, to deal with the user request from a screen, the web application has an execution flow, called 'Business Logic', which starts with a screen, executes its composed component and comes back to the screen via database. To test web application effectively, it should reflect the characteristics of web application. In this paper we propose to test web applications via user screens with the black-box testing approach and verify its source codes with the web interface white-box test coverage that covers all the business logics of the test target and their corresponding interfaces. We analyze the proposing testing method through its tool: Testopiacov.

• The KIPS Transactions:PartB
• /
• v.12B no.1 s.97
• /
• pp.1-8
• /
• 2005

The importance of software is getting high in development of the digital device (digital camcoder, digital camera, mp3 player, ....). And because the sire of software becomes larger and complicated, the necessity of software configuration management (to solves a software crisis) is increased. The general software configuration management system shows lack of the property and features of software development environment for image processing algorithm due to its wide range to be covered. Image processing algorithm development environment has properties like repetitive analysis and simulation using visual programming environment where, beside support of elementary development functions. component(or library) can be combined and tested interactively. Moreover, the method to look fast and effectively for component having similar function is required. In this paper, we present the system which supports the software configuration management method for a simulation tool and the property in the visual programming environment. And we relate our system to real simulation tool so as to check its ability as the software configuration management system for image processing algorithm development environment.

• Journal of Digital Contents Society
• /
• v.18 no.1
• /
• pp.63-70
• /
• 2017

Recently, as user feedback such as social reading become active, demand has been increased on e-book contents making which is based on user feedback. However, to reflect the user feedback onto the e-book, direct coding is required, which was difficult to the author who was not good at programming. To resolve this problem, Block assembly style feedback editor system, using Blockly was developed. This editor enables to reflect the user feedback by area allocation, component allocation, block editing, and code generating insertion, contrary to the existing way of programming realization in which direct coding was required for input, processing and output separately. This system was developed by using HTML. Javascript, PHP, and Codeigniter. Block editing is enabled to do provision and assembly of blocks by Blockly. The function of code generation & insertion allows to insert the Library function code. Through this system, the general users who are not capable of coding also can reflect feedback without doing actual coding.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1520-1531
• /
• 1999

In this paper, we present a first step for developing a method of verifying both safety and correctness of object-oriented design specification. As first, we analyze the discrepancies, which can occur between requirements specification and design specification, to make clear target faults. Then, we propose a new design verification method which aims at detecting faults in the design specification. The key idea of the proposed framework is that all elements to be verified can be extracted based on the requirements specification, safety standards, and design specification given for the target product These elements are expressed using three kinds of tables for verification, and thus, the verification steps can be greatly simplified. Here, we assume that component library, standards for safety and design specification obtained from the Booch's object-oriented design method are given. At the beginning, the designers construct a design table based on a design specification, and the verifiers construct a correctness table and a safety table from component library and standards for safety Then, by comparing the items on three tables, the verifiers verification a given design specification and detect faults in it. Finally, using an example of object-oriented design specification, we show that faults concerning safety or correctness can be detected by the new design verification method.

• The KIPS Transactions:PartA
• /
• v.14A no.4
• /
• pp.227-234
• /
• 2007

In the virtual prototyping environment, we can simulate details of a target model using many components and libraries provided in advance on a computer. The real prototyping environment provides the test simulation environment as a real product, but we can't do a detailed simulation of a real product in the virtual prototyping environment, and we can't do various simulations in the real prototyping environment. So, we made a integrated prototyping environment for linkage of the two types of prototyping environments. Also, in this paper, we developed the integrated prototyping environment based on objects. By this kind of embedded system development environment, we can have the advantages as reuse, flexibility, scalability, and more convenient of product making.