Search

Existing research expenses management task consists of budget planning, budget draw-up, and exact settlement of budget. Therefore integrated management is needed keenly for certain security, efficient operation and clear execution of research expenses. To reflect these needs, Research Expenses Integrated Management(REIM) has been offered for the application used on mobile by reusing an business application module has been developed in REIM development process. Mobile collaboration component which supports a specialized collaboration process to be adapted for the peculiarities of a mobile machine also has been developed. As a result, it can offer various supportive information for decision making for the establishment of research management policy by reflecting user's requirement in real-time. It can also provide accuracy and prevention of errors to each operation since it can grasp the process of each operation without time and space hindrance through mobile collaboration. [ABSTRACT FROM AUTHOR]

EJB, providing specification for development and deployment of component based application, permits distributed development as a central element of J2EE environment that automatically manages transaction management, persistence, and concurrency control, which are the most complicated components in an enterprise environment. In this paper, we aim to resolve DAOs transaction logic complexity and performance reduction of components in the EJB based legacy system. Therefore, this paper describes the design and implementation of IDAO that applies iterator pattern. IDAO achieves an effect that reduces the complexity of transaction logic, system overload by database connection, and reduction of performance through container managed transactions. [ABSTRACT FROM AUTHOR]

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. [ABSTRACT FROM AUTHOR]

The Unified Modeling Language(UML) provides rich notations for representing and analyzing architecture and behaviors of systems. Among these notations, UML activity diagram is well-known for describing systems' dynamic behaviors, and it is useful to model business process and workflow. Currently, the UML semantics is informally defined in plain text and it is often unclear, ambiguous or it contains contradictory assertions. It is difficult to present the precise semantics which are taken as important in workflow system with the guide provided by OMG to the UML activity diagram. In this thesis, the alternative approach of using Abstract State Machines to formalize UML activity diagrams is presented. We propose the workflow modeling methodology by applying ASM semantics to the activity diagram. Through the exact definition to formal semantics based on ASM, it is possible to effectively model the workflow. [ABSTRACT FROM AUTHOR]

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. [ABSTRACT FROM AUTHOR]

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. [ABSTRACT FROM AUTHOR]

This paper suggests a technique, OSET(An Object Structure Extraction Technique for Object Reusability Improvement Based on Legacy System Interface) for reuse and reengineering by analyzing the Legacy System interface to distill the meaningful information from them and disassemble them into object units which are to be integrated into the next generation of systems. The OSET method consists of a procedure with 4 steps: 1) the interface use case analysis step, 2) the interface object dividing step, 3) the object structure modeling step, and 4) the object model integration step. In step 1, the interface structure and information about the interaction between the user and the Legacy System are obtained. In step 2, the interface information is divided into semantic fields. In step 3, the structural and collaborative relationship is studied and modeled among interface objects. Finally, in step 4, the object model integration step, integrates the models and improves the integrated model at a higher level. [ABSTRACT FROM AUTHOR]