• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.3
• /
• pp.564-570
• /
• 2006

This paper presents a new real-time system design methodology for embedded system as well as event-driven real time application. It is required to implement a deadline handling mechanism in order to satisfy a large-scale distributed real time application. When we design real time system, it has handled a deadline and is important to measure / control a timing issue. These timing constraints usually associated with an interface between model and system. There are many case tools that supporting a real time application, for example, UML, graphic language for designing real time system, but they cannot provide efficient way to handle deadline miss. Therefore, users have to design deadline handler manually when they need to use it. This paper contributes solving the problems of user-level deadline handling for an embedded system. Also, it also discusses an efficient deadline handler design mechanism using on RoseRT, which is a graphical CASE tool supporting from UML.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2006.05a
• /
• pp.569-572
• /
• 2006

In this paper, we purpose requirement capturing for RSS reader that be able to aggregate and subscribe to a RSS format document and describing for analysis model. We execute requirement analysis and documentation by using analysis model which is adopted use case model. And the method of requirement analysis is based on Responsibility Driven Design. Analysis model that is not premised on special reader is able to use business model.

• The Journal of Society for e-Business Studies
• /
• v.14 no.1
• /
• pp.13-34
• /
• 2009

As ubiquitous computing technology is proliferating, a wider range of u-services applying ubiquitous computing technology has been implemented and some of the u-services have been actively considered for commercialization. Accordingly, establishing corresponding business models based on u-services also have been increased. However, structured methodologies to build u-service business models are still in its very early age. Moreover, since most of the legacy business model formulation and analysis methodologies have stressed on conventional or digital services, not u-services. Hence, the purpose of this paper is to propose a structured methodology of formulating and analyzing business models for u-services. An illustrative example is described to show the feasibility of the proposed methodology. To do so, Business Model Diagram (BMD), which adopts model components for u-services, is newly developed.

• KEPCO Journal on Electric Power and Energy
• /
• v.3 no.2
• /
• pp.89-97
• /
• 2017

The substation is a critical node in the power network where power is transformed in the power generation, transmission and distribution system. The IEC 61850 is a global standard which proposes efficient substation automation by defining interoperable communication and data modelling techniques. In order to achieve this level of interoperability and automation, the IEC 61850 (Part 6) defines System Configuration description Language (SCL). The SCL is an XML based file format for defining the abstract model of primary and secondary substation equipment, communications systems and also the relationship between them. It enables the interoperable exchange of data during substation engineering by standardizing the description of applications at different stages of the engineering process. To achieve the seamless interoperability, multi-vendor devices are required to adhere completely to the IEC 61850. This paper proposes an efficient algorithm required for verifying the interoperability of multi-vendor devices by checking the adherence of the SCL file to specifications of the standard. Our proposed SCL validation algorithm consists of schema validation and other functionalities including information model validation using UML data model, the Vendor Defined Extension model validation, the User Defined Rule validation and the IED Engineering Table (IET) consistency validation. It also integrates the standard UCAIUG (Utility Communication Architecture International Users Group) Procedure validation for quality assurance testing. Our proposed algorithm is not only flexible and efficient in terms of ensuring interoperable functionality of tested devices, it is also convenient for use by system integrators and test engineers.

• Journal of the Korea Computer Industry Society
• /
• v.2 no.8
• /
• pp.1099-1108
• /
• 2001

In this paper, we proposed an efficient method of management in which various design objects in the environments for distributed software development. Those design objects are created in the environments for distributed software development based on Unified Modeling Language as well as versions of source codes. In this research, a version control technique has been specially focused that is based on our proposed version rules to consistently control versions from web-based distributed software development which enables developers to independently manage distributed objects from the software development platform. Based on the version control technique, we have designed a web-based rule-control version management model that has been proposed here.

• IE interfaces
• /
• v.20 no.1
• /
• pp.79-86
• /
• 2007

In B2B e-commerce environments, many initiatives for process modeling have made efforts to design business processes correctly. Especially, Petri nets have been widely used as a good theory to design and verify process models. Therefore, we propose the process modeling method for the B2B e-commerce based on Petri nets. First of all, a B2B process model based on BPSS is represented by the UML activity diagram. Second, the activity diagram is transformed to a Petri net model. For the transformation, well-behaved building blocks/control structures and the modeling rules for inter-organizational workflow processes are proposed. Third, the process is partitioned into sharable processes for individual business partners. Finally, according to needs of individual business partners, the sharable processes are modified by well-structured refinement rules. The whole procedure is explained with the purchase process of an e-bookstore.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.3
• /
• pp.818-830
• /
• 2000

Automation tools for program analysis are needed in order to program understand and maintain, extract the characteristics of object-oriented program such as class name, member function and data member. In this paper, we carried out design and implementation of the automation tool for effective maintenance of object-oriented software. Being based on Reverse Engineering, this approach extracts class relationship information from C++ source code and generates object-oriented model of class diagram using UML as the standard object-oriented methodology. Therefore, this paper provides developers visualized including class information, definitions of classes, inheritance relationships, set relationships, and simple reference relationships. Finally in this paper, we propose a method that construct class relationship information to table in analysis state and make form of table construction to link form so tat developers can perform understanding and maintaining program efficiently. And this method enable to restructure and reuse in object-oriented model.

• Journal of KIISE:Software and Applications
• /
• v.27 no.7
• /
• pp.742-758
• /
• 2000

Some local governments in Korea are currently developing various Urban Information Systems (UIS) to computerize their work. But they have spent too much money on their own UIS development because they have not reused the existing UIS of others. It has caused the central government to invest money repeatedly. The work of some local governments is generally very similar to those of others. The purpose of this paper is to suggest a solution to the reinvestment problem. To solve the problem, this paper suggests that they could model a city's business using Unified Modeling Language and Component-Based Development Process (CBD). They could also develop a UIS from the existing models, and then other municipalities can reuse the developed UIS. This paper illustrates the water supply business of P City in Korea and Rational Unified Process as a CBD. This paper also describes methods to apply CBD, to establish a reusable business model, analysis model, and design model, and to develop the software components of ActiveX Controls form for the water supply business.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.7 no.4
• /
• pp.34-45
• /
• 2004

Existing Semangeum's water balance analysis simplifies whole basin to single basin and achieved volume of effluence that produce by Kajiyama way to foundation. But Semangeum is complicated and various rice-wine strainer supply system. And there is difficulty to apply as elastic when water balance element is changed at free point. Divided to unit possession station for suitable water balance analysis model application to Semangeum in this study. And developed basin water balance model of GIS base that can do details analysis is bite about development and transfer of an appropriation in the budget of basin water resources. Achieved study including abstraction and concept design that use UML (unified modeling language) diagram for details analysis, stream network composition for rice-wine strainer supply system application, preprocessing of GIS base and postprocessing module development, model revision and verification etc. Support of this water balance analysis model is available to establish efficient water resources administration plan through outward flow process analysis of water resources. And support is considered to be possible in more convenient and, reasonable water resources administration way establishment by minimizing manual processing in systematic water resources government official to user and support diversified analysis system.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.8 no.4
• /
• pp.119-125
• /
• 2008

The traditional way for convergence of smart appliances was software integrations on middleware. It is possible advantage to integrate easily and quickly with this way. But basically the middleware approach is slowly executed as it is huge the size of software. To solve this problem, we suggest a modeling tool for convergence. As we can execute and generate the automatic source code at the design phase with our modeling tool, it is possible to do software integration without the middleware. We use one example of U-Home environment to show the convergence for TV and the door lock system. With our approach, we will be able quickly to develop the convergent products what the customers desire with inexpensiveness, that is, the convergence of smart appliances without the middleware.