Go to the main menu
Skip to content
Go to bottom
REFERENCE LINKING PLATFORM OF KOREA S&T JOURNALS
> Journal Vol & Issue
The KIPS Transactions:PartD
Journal Basic Information
Journal DOI :
Korea Information Processing Society
Editor in Chief :
Volume & Issues
Volume 12D, Issue 7 - Dec 2005
Volume 12D, Issue 6 - Dec 2005
Volume 12D, Issue 5 - Oct 2005
Volume 12D, Issue 4 - Aug 2005
Volume 12D, Issue 3 - Jun 2005
Volume 12D, Issue 2 - Apr 2005
Volume 12D, Issue 1 - Feb 2005
Selecting the target year
Formal Verification of Embedded Java Program
Lee, Tae-Hoon ; Kwon, Gi-Hwon ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 931~936
DOI : 10.3745/KIPSTD.2005.12D.7.931
There may be subtle errors in embedded software since its functionality is very complex. Thus formal verification for detecting them is very needed. Model checking is one of formal verification techniques, and SLAM is a well-known software model checking tool for verifying safety properties of embedded C program. In this paper, we develop a software model checker like SLAM for verifying embedded Java program Compared to SLAM, our tool allows to verify liveness properties as well as safety ones. As a result, we verify some desired properties in embedded Java program for controlling REGO robot.
Application and Design of Metrics for Software Process Measurement
Hwang Sun-Myung ; Yeom Hee-Gyun ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 937~946
DOI : 10.3745/KIPSTD.2005.12D.7.937
In the current marketplace, there are maturity models, standards, methodologies and guidelines that can help an organization improve the way it does business. All SPI models including ISO/IEC I5504 and CMMI provide the capability level of software process. However, most available improvement models focus on a specific goals and Practices of the processes So my assessors need an objective process measure how to estimate achievement of goals and practices. We proposed quantitative process capability metric (PCM) which can determine the degree of capability And the effective measuring approach help SPI assessor as well as organization unit.
Component-Based Systematic Reengineering Process
Cha Jung-Jun ; Kim Chul Hong ; Yang Young-Jong ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 947~956
DOI : 10.3745/KIPSTD.2005.12D.7.947
Software(S/W) reengineering is one of the effective technologies to produce a business worth and en and the S/W ROI continuously. In spite of, S/W reengineering has been recognized a cost-consumptive works with inefficient productivity. In fact we have used to transform to confusion system with destructive system architecture by extending and updating legacy system in a temporary expedients. Moreover it is impossible to provide the time-market products for coping with rapid changeable system environment and meeting to complicated customer`s requirements. Therefore, we need a systematic reengineering methodology to fulfill the changeable environment, as appearance of new IT techniques, various alteration of business information model, and increment of business logic. Legacy systems can be utilized as the core property in business organization through reengineering methodology. In this paper, we target to establish the reengineering process, proposed MaRMI-RE consisting of initial Planning phase, reverse engineering and component transformation phase. To describe the MaRMI-RE, we presented the concrete tasks and techniques and artifacts per individual phase in process, and the case study is showed briefly.
Multiple Object-Based Design Model for Quality Improvement of User Interface
Kim Jeong-Ok ; Lee Sang-Young ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 957~964
DOI : 10.3745/KIPSTD.2005.12D.7.957
According to rapid growth of web environment, user interface design needs to support the complex interactions between human and computer. In the paper we suggest the object modeling method for Qualify Improvement of User Interface. We propose the 4 business event`s object modeling phases such as business event object modeling, task object modeling, transaction object modeling, and form object modeling to enhance visual cohesion of UI. As a result, this 4 phases in this paper allows us to enhance visual cohesion of User Interface prototype. We have found that the visual cohesion of business events become strong and unskilled designer can develope the qualified user interface prototype. And it also improves understanding of business task and reduces prototype system development iteration.
Opportunity Tree and Algorithm design to schedule management
Lee, Eun-Se ; Lee, Sang-Ho ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 965~978
DOI : 10.3745/KIPSTD.2005.12D.7.965
There are many defects that cause the schedule and qualify problems during software development. This paper designs the opportunity tree framer work that removes and manages the schedule and quality problems as well. For the similar projects, we can estimate defects and prepare to solve them by using domain expert knowledge and the opportunity tree framework which can greatly improve the software process. This research provides solution of schedule defect problem and detection of defect and its causes that happen on software development.
Design and Implementation of Adaptable User Interfaces Generation System for Diverse Devices
Kim, Chi-Su ; Kim, Young-Tae ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 979~984
DOI : 10.3745/KIPSTD.2005.12D.7.979
Many web-based Information systems require degrees of adaptation of the system`s user interfaces to different client devices, users and tasks. We describe a new approach to providing adaptable client interfaces for web-based Information systems that allow a developer to specify a web-based interface using a high-level mark-up language. At run-time this single interface description is used to automatically provide for multiple web devices This approach allows developers to much more easily construct and maintain web-based user interfaces than other current approaches.
Implementation of OLAP with Template-based CBD
Park, Jong-Mo ; Cho, Kyung-San ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 985~992
DOI : 10.3745/KIPSTD.2005.12D.7.985
An OLAP system is a decision support tool with which a user can analyze the information interactively in the various aspects. Applying CBD(Component-based Development), which treats software as components, to implement an OLAP system has limitation in the flexibility and reusability. To overcome those limitations, we propose a method of CBD(template-based CBD) which integrates the concept of template and CBD. Through the implementation of an OLAP system with the proposed TCBD, we show that our proposal is more efficient in flexibility and reusability than CBD and decreases the period of time for the development, test, and debug.
A Quantitative Quality Evaluation Approach for the Artifacts of the Defense Component Based Development
Lee Kil-Sup ; Lee Hyun-Chul ; Lee Sung Jong ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 993~1000
DOI : 10.3745/KIPSTD.2005.12D.7.993
Recently, software quality evaluation based on ISO/IEC 9126 and ISO/IEC 14598 has been widely accepted in various areas. However, these standards for software quality do not provide practical guidelines to apply the quality model and the evaluation process of software product
Reusability Enhancement of the MND-AF Artifacts in the Defense-CBD Methodology
Lee Hyun-Chul ; Lee Sang-Ho ; Jung Gyung-Chul ; Lee Sung Jong ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 1001~1006
DOI : 10.3745/KIPSTD.2005.12D.7.1001
The Ministry of National Defense has developed MND-AF and Defense-CBD methodology to make the integration and management of standardization effective through enhancing the interoperability and reusability of information systems. Yet no explicit guidelines or procedures have not been developed for the applying range and mutual relationship of the artifacts between MND-AF and Defense-CBD methodology. Thus, the development time is unnecessarily extended and budget also is increasing because both methodologies produce the artifacts respectively. This paper presents a reusability enhancement scheme for producing MND-AF artifacts according to Defense-CBD process by analyzing artifacts of two methodology les at each element level, so that it will reduce the overhead of producing the artifacts and enhance the completeness of the artifacts. In result, in the case of applying Defense-CBD methodology for developing a information system34 artifacts out of 37 MND-AF artifacts can be reusable.
RAiSE : A Graphical Process Modeling Language Providing Semantic Richness and Ease of Use
Lee, Hyung-Won ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 1007~1016
DOI : 10.3745/KIPSTD.2005.12D.7.1007
A key issue for process language design is balancing the need for semantic richness with the need for ease of use. Most process modeling languages fail to satisfy above two conflicting aspects, which is an impediment to the widespread adoption of process modeling languages in the software industry despite of a variety of software process language studies. This paper describes a process modeling language RAiSE attempting to resolve such problem and presents the result of applying RAiSE to a well-known benchmark process, ISPW-6 software process example. RAiSE provides rigorous, yet clear semantics through combing essential features in various modeling paradigms and defining them in a well-structured graphical notation. Process models represented in RAiSE are interpreted and enacted by process engine implemented using CLiPS, a rule based expert system tool.
An Approach to decide the location of a method using the logistic analysis
Jung Young A. ; Park Young B, ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 1017~1022
DOI : 10.3745/KIPSTD.2005.12D.7.1017
There are many changes in the software requirements during the whole software life cycle. These changes require modification of the software, and it is important to keep software quality and stability while we are modifying the software. Refactoring is one of the technology to keep software quality and stability during the software modification; there are many researches related to automatic refactoring. In this paper, we propose three factors for Move Method which is one of the refactoring technique. We applied binomial logistic analysis to data which were extracted from sample program by each factor. The result of this process was very close to the result of manual analysis by program experts. Furthermore, we found that these factors have major roll to determine Position of a method, and these factors can be used as a basis of finding optimal position of a method.
Study on the Techniques in Component Workflow Variability Implementation based on the Banking Framework
Choi Sung ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 1023~1030
DOI : 10.3745/KIPSTD.2005.12D.7.1023
CBD(Component Based Development) can make use of component of block unit that is implementation beforehand and shorten software development cost and time. Also, component can reduce complexity for the large application development because it can hide detail part of internal and offer interface. Common requirement of family in the enterprise framework environment can express workflow, but it is very difficult that express special workflow in single component on various family member`s requirement. Therefore, necessity about workflow variability management between component for family member and implementation method had been required constantly. This treatise presents implementation techniques for component workflow variability in enterprise framework under Banking Loan Presented component workflow variability implementation techniques supposes that commonness business workflow that family can use in enterprise workflow was created already in component, and improve workflow`s extensity between component by worikflow composition between special component and techniques for practice to various family member.
Quality Measurement of Data Processing by a Protocol Change of Power SCADA System
Lee Yong-Doo ; Choi Seong-Man ; Yoo Cheol-Jung ; Chang Ok-Bae ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 1031~1038
DOI : 10.3745/KIPSTD.2005.12D.7.1031
In this paper, the maximum traffic quantity and actual traffic quantify of the data which are needed to grasp the statement of a system will be measured more accurately. A concrete quality measurement will be conducted by analysing a change of traffic quantity according to a protocol change and traffic under an overload condition when there is an accident. As a result can make an opportunity to maximize safety of power SCADA. Furthermore, future traffic quantity can be prospected by knowing current traffic quantity and grasping the rate of increase by the analysis and the information can be used as data to secure the band width in advance. It can make stable operation of power SCADA by arranging the limited network resources efficiently by information analysis of a network and expects more confidence.
Performance improvement of Software Build through Software Configuration Management and Work Information Reporting
Kim, Jeong-Il ; Lee, Eun-Seok ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 1039~1048
DOI : 10.3745/KIPSTD.2005.12D.7.1039
A software configuration management(SCM) is essential for processing large scale project. The scope of SCM involves each developer`s work space management, software building management, and development process control as wet] as version control. In this paper we focus on what parts should be controlled systematically for the optimized software build that is an important part of the SCM. We also analyze that to increase the efficiency of software build, what kind of configuration management information should be reported. Based on the analysis, we have actually designed and implemented a new reporting system and evaluated it. The evaluation includes comparative evaluation in efficiency based on the analysis about the related functions provided by existing tools and some additional qualitative evaluation through the questionnaires from stakeholders.
Scenario-Based Implementation Synthesis for Real-Time Object-Oriented Models
Kim, Sae-Hwa ; Park, Ji-Yong ; Hong, Seong-Soo ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 1049~1064
DOI : 10.3745/KIPSTD.2005.12D.7.1049
The demands of increasingly complicated software have led to the proliferation of object-oriented design methodologies in embedded systems. To execute a system designed with objects in target hardware, a task set should be derived from the objects, representing how many tasks reside in the system and which task processes which event arriving at an object. The derived task set greatly influences the responsiveness of the system. Nevertheless, it is very difficult to derive an optimal task set due to the discrepancy between objects and tasks. Therefore, the common method currently used by developers is to repetitively try various task sets. This paper proposes Scenario-based Implementation Synthesis Architecture (SISA) to solve this problem. SISA encompasses a method for deriving a task set from a system designed with objects as well as its supporting development tools and run-time system architecture. A system designed with SISA not only consists of the smallest possible number of tasks, but also guarantees that the response time for each event in the system is minimized. We have fully implemented SISA by extending the ResoRT development tool and applied it to an existing industrial PBX system. The experimental results show that maximum response times were reduced
on average compared to when the task set was derived by the best known existing methods.
A Technique of Reusable and Reliable Device Driver Development For Embedded-Linux System
Choi, Jae-Hyun ; Lee, Woo-Jin ; Chon, Ki-Won ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 1065~1070
DOI : 10.3745/KIPSTD.2005.12D.7.1065
According to the development of embedded systems, they are used in various fields. However, the productivity and the quality of embedded systems are not acceptable because of the hardware environment-oriented development. Several works has proposed new techniques using a formal specification method or complex template, but due to high complexity and low flexibility of the method, it is difficult to be used. Accordingly, this paper presents a new approach to develop embedded device drivers which are kinds of embedded system software. In our approach, we define a light device driver template for ensuring high flexibility and productivity and generate the device driver by incorporating with embedded system information represented by XML. By using XML we consider the design phase in device driver development process for the quality of the driver. Our approach, improves the reusability of embedded device driver and finally, it will improve productivity and quality of embedded system.
User Event-based Information Structure Modeling for Class Abstraction of Business System
Lee Hye-Seon ; Park Jai-Nyun ;
The KIPS Transactions:PartD, volume 12D, issue 7, 2005, Pages 1071~1078
DOI : 10.3745/KIPSTD.2005.12D.7.1071
Use case modeling is a widely used technique for functional requirements analysis of business system but it is difficult to identify a use cases at the right level and use case specifications are too long and confusing. It is also hard to determine a functional decomposition Phases·s of use cases. Therefore customer doesn`t understand the use cases. This paper is defining concept of the Information Structure Modeling(ISM) and analyzing business system for the customer`s perspective. ISM is an efficient mechanism for analyzing user requirements and for Identifying objects in a business system using Attribute Structure Diagram which is a major tool of the ISM that describes user event. This paper is also to show how the classes are classified and derived as event-asset-transaction type in ISM. It provides a user-friendly approach to visually representing business model.