• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.397-399
• /
• 2001

Unified Modeling Language(UML)은 개발하고자 하는 시스템을 Visualizing, Specifying, Constructing, Documenting 화 해주는 graphical language 이다. 우리는 이러한 모델링 언어를 통하여, 객체지향 분석/설계 과정에 이용하고 있다. 그러나, EJB 로 Mapping 하기 위한 충분한 연구가 이루어지지 않아 개발자들이 EJB 로 UML 을 설계 및 구현을 명확하게 옮기지 못하였다. 본 논문에서는 이 점에 중점을 두고 UML Modeling 을 통해 설계 및 구현된 내용중 UML 의 Sequence Diagram 의 요소들을 EJB Bean으로의 구현시 Mapping 지침을 제시한다

• Asia pacific journal of information systems
• /
• v.14 no.1
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.721-730
• /
• 2007

UML (Unified Modeling Language) is widely used to analyze and design target software. Developers also implement the target software based on the UML artifacts. However, it is difficult to validate whether the artifacts are generated to correspond to the modeling guidelines because the guidelines for UML modeling are described in natural language. This paper discusses rule based model checker focused on whether models are designed according to modeling methodology. We propose rules and their own checker, named GARDIAN, for UML model validation. The checkers are designed for COMET method for the real-time embedded system. We illustrate our checkers using Intelligent Robot system to validate our approach.

• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.209-218
• /
• 2008

The Unified Modeling Language becomes popular to specify, visualize, construct, and document software-intensive systems, especially in supporting the design phase of software engineering. Most of designs in UML have focused on firm designing of software system structure. Recently, some researches have raised additional demands in many emerging complex software systems, such as aspect-oriented design. In this paper, we work on the dynamic aspect of policy-driven architecture. We present a UML-based high-level modeling of policy-driven management which is applicable in various application domains. In order to manage a number of activities of applications, dynamics and flexibility should be supported with policies consistently on different resources in the same context. Thus, a methodology of meta-modeling to represent dynamic aspects of policy-driven architecture is studied. Based on our methodology, we could achieve meta-modeling to develop a number of policy-driven management applications.

• IE interfaces
• /
• v.16 no.2
• /
• pp.156-166
• /
• 2003

Proposed in this paper is a standard-compliant business process modeling tool which is based on the UML(Unified Modeling Language) activity diagram and produces an XPDL(XML Process Definition Language) file as an output. The XPDL is a standard process definition exchange format by WfMC (Workflow Management Coalition). To develop an UML/XPDL-based modeling tool, the mapping of modeling elements between activity diagram and XPDL format is conducted after the detailed analysis of each modeling specification. As a result of this mapping, it is revealed that modeling elements of each activity diagram and XPDL must be expanded. So new modeling elements are identified and added to each specification. Based on this mapping, the prototype system is developed, and the usefulness of the developed system is shown through the case study.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.1085-1092
• /
• 2003

Proposed in this paper is a standard-compliant business process modeling tool which is based on the UML(Unified Modeling Language) activity diagram and produces an XPDL(XML Process Definition Language) file as an output. The XPDL is a standard process definition exchange format by WfMC(Workflow Management Coalition). To develop an UML/XPDL-based modeling tool, the mapping of modeling elements between activity diagram and XPDL format is conducted after the detailed analysis of each modeling specification. As a result of this mapping, it is revealed that modeling elements of each activity diagram and XPDL must be expanded. So new modeling elements are identified and added to each specification. Based on this mapping, the prototype system is developed, and the usefulness of the developed system is shown through the case study.

• The KIPS Transactions:PartD
• /
• v.9D no.4
• /
• pp.667-676
• /
• 2002

Digital environment that is represented to Internet is displacing business way of industry and business achievement way with the fast speed being giving great change on life whole. Improve existent business process utilizing Internet and Web connection technology, information superhighway to tradition industrialist manufacturer and e-Transformation's propulsion that wish to maximize productivity and administration efficiency is spread vigorously. In this paper, administration efficiency raising of Web-based factory monitoring system to do monitoring when everywhere integrating operation present condition current point of time of discrete factories in inside and outside of the country by purpose design and implemented. That is, do to normalize system structure and achievement function, and administration data of Web-based, and design using VML (Unified Modeling Language) and take advantage of ASP (Active Server Pages) and implemented web function. Implemented Web-based factory monitoring system is applying two factory (Kl, K2) of K CO., LTD. tire operation division to caravan, and application result was evaluated by very efficient thing to grasp operation situation of whole factory synthetically.

• The KIPS Transactions:PartD
• /
• v.15D no.5
• /
• pp.629-646
• /
• 2008

Because most metricsin the literatures are described by a natural language, they can be interpreted in an ambigous manner. To cope with this problem, there are some researches to express based on Object Constraint Language(OCL). Because OCL has been proposed to describe structural constraintsfor Unified Modeling Language(UML) diagrams, it is difficult and awkward. In this paper, we propose Metric Description Language(MDL) which is a high level language to describe metrics. MDL supports a modular description of complex metrics, aggregation function, and automatic navigation between entities. Moreover, we develop MetriUs for describing metrics using MDL and supporting an automated computation for UML diagrams. In a case study, we have described a variety of existing metrics using MDL and found that MDL contributes to producing simpler expression of metrics than OCL.

• 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.5 no.1
• /
• pp.58-68
• /
• 2002

Recently as recognition to prevent nature disasters is reaching the climax, the most important job of government official is to provide information related to the prevention of nature disasters through the Web and to bring notice to prevent disaster under people. Especially, if the case of daily forest fire hazard index is provided within visualization on Web, people may have more chances to understand about forest fire and less damages by large scale of forest fire. Forest fire hazard index presentation system developed in this paper presents daily forest fire hazard index on map visually also provides the information related to it in text format. In order to develop this system, CBDP(Component Based Development Process) is proposed in this paper. This development process tries to emphasize the view of reusability so that it has lifecycle which starts from requirement and domain analysis and finishes to component generation. Moreover, The concept of this development process tries to reflect component based method, which becomes hot issue in software field nowadays. In the future, the component developed in this paper may be possibly reused in other Web GIS application, which has similar function to it so that it may take less cost and time to develop other similar system.