Hye-Min Noh

An extension of UML activity diagram for generation of XPDL document

Currently there are a variety of different tools that may be used to analyze, model, describe and document a business process. However, it is difficult to exchange the information of a business process created in different tools because of the distinct information formats used in different tools. The XML Process Definition Language(XPDL) forms a common interchange standard. Generally a business process model can be represented by the UML activity diagram, but there is a difficult task to directly generate an XPDL document from a business process model represented by the standard activity diagram. In the paper we will propose an approach to generate an XPDL document from a business process model represented by the extended UML activity diagram and provide an implementation for the approach.

Behavior modeling technique based on EFSM for interoperability testing

With the rapid growth of network technology, two or more products from different vendors are integrated and interact with each other to perform a certain function in the latest systems. However, there are cases where products from different vendors or even from the same vendor often do not interoperate properly. Thus, interoperability testing is considered as an essential aspect for correctness of integrated systems. Interoperability testing tests the ability of software and hardware on different machines from different vendors to share data. Existing researches about interoperability testing are usually focused on an optimal test scenario generation applying graph and automata theory. Most of these researches model communication system behavior using EFSM(Extended Finite State Machines) and use EFSM as an input of test scenario generation algorithm. There are many studies on systematic and optimal test cast generation algorithms using EFSM, but in these researches, the study for generating EFSM model, which is a foundation of test scenario generation, is not sufficient. This paper proposes an EFSM generation technique, which is a foundation of test scenario generation for more complete interoperability testing based on use case specification. The generated EFSM through the proposed technique in this paper can be used as an input of EFSM-based test scenario generation algorithm proposed in other studies.

Design of H.264/AVC-Based software decoder for mobile phone

Investigations of the video service technology used for mobile phone have been actively performed recently. The efforts on the application of all the technologies available for commercialization of the framework of wire-internet into mobile environment have been also researched, thanks to the speedy development of a mobile phone and wireless network platform. The video service related technology based on the mobile phone has been implemented and operated on the basis of hardware. However, Current service mode, which is based on hardware, has its own disadvantage of not coping flexibly with various changes in the control structure of the new video codec algorithm and video data communication. Accordingly it is necessary to develop a decoder, which can deal with video service technology embodied in the form of hardware into that of software. This requires us to develop a new video player. In addition, such a decoder can achieve an immediate response due to further technology development including video data transmission and traffic control without consuming additional resources, in comparison with a hardware decoder chip technology. It can greatly contribute to an improvement in the manufacturing cost arising from incorporating an additional chip into mobile phones, as well as the reduction of resources through recycling. This paper designed a H.264/AVC video software-based decoder that uses component base design at the WIPI platform.

Energy Management of a Grid-connected High Power Energy Recovery Battery Testing System

Energy recovery battery testing systems (ERBTS) have been widely used in battery manufactures. All the ERBTS are connected in parallel which forms a special and complicated microgrid system, which has the shortcomings of low energy recovery efficiency, complex grid-connected control algorithms issues for islanded detection, and complicated power circuit topology issues. To solve those shortcomings, a DC micro-grid system is proposed, the released testing energy has the priority to be reutilized between various testing system within the local grid, Compared to conventional scheme, the proposed system has the merits of a simplified power circuit topology, no needs for synchronous control, and much higher testing efficiency. The testing energy can be cycleused inside the local micro-grid. The additional energy can be recovered to AC-grid. Numerous experimental comparison results between conventional and proposed scheme are provided to demonstrate the validity and effectiveness of the proposed technique.

Design of mobile video player based on the WIPI platform

The mobile video player that supports software decoders has a different structure from the video player that plays videos based on a hardware decoder. Therefore, this paper elucidates the design a mobile video player consisting of a network manager, displayer, event processor, data structure processor, and controller based on research regarding hardware restriction, a software development platform, and streaming implementation method, all of which were applied before implementing the video player at the WIPI platform. The mobile video player implemented based on the designs investigated during this research can be used as a tool to test function and the possibility of normal operation of a software decoder that targets an encoded visual, and also can be used as a tool to develop an improved software decoder. The design of a mobile video player in this paper follows from basic research on the construction of a mobile video total system based on the WIPI platform in the future.

Component contract-based formal specification technique

When we analyze the business domain, we have to decide what business concepts are to be encapsulated into a component and find what business concepts are to be built by using a reuse component. Also, as a component is reused in the form of a black-box, the reuser must have detailed information about the component, such as the functional and non-functional performance which is necessary to reuse or integrate. So, we will propose a formal approach to design a robust component. First, we analyze a business domain by using Z and category theory. Second, we extract the components and the interfaces from previous analysis results. Lastly, we add component contracts(functional and non-functional performances) to the result. We specify business concept based on DbC which is used broadly to specify the behavior of an interface in an object-oriented area. Also, we will define rules for extraction of components and component contracts from specification. Specially, we will use category theory to analyze the relations between components.