• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.05a
• /
• pp.100-105
• /
• 2005

Development of complex discrete event simulators requires cooperation between domain experts and modeling experts who involve the development. With the cooperation the domain experts derive user requirement and modeling experts transform the requirement to a simulation model. This paper proposes a method for consistency verification of simulation model in DEVS formalism against the user requirement in UML diagrams. It also presents an automated tool, called VeriDEVS, which implements the proposed method. Inputs of VeriDEVS are three UML diagrams, namely use case, class and sequence diagrams, and DEVS Graph, all in Visio; outputs of a verification result is represented in PowerPoint files.

• Proceedings of The Korean Society of Agricultural and Forest Meteorology Conference
• /
• 2011.11a
• /
• pp.12-14
• /
• 2011

Crop growth simulation models have been developed as research and management tools. When these models are needed to incorporate new knowledge on phenology and physiology of crops, programming languages have been used for development and documentation of these models. However, researchers may have limited skill in programming languages. Furthermore, software developer may find it challenging to improve the crop models because documentation of the models are rarely available. The Unified Modeling Language (UML) can provide a simple approach for development and documentation of model. A template for implementation of the model can be obtained using the UML, which would facilitate code re-use and model improvement.

• Korean Journal of Artificial Intelligence
• /
• v.1 no.1
• /
• pp.1-3
• /
• 2013

This study suggested ways to control UML diagram and to make design of database and to retrieve diagram information by giving questions. The study classified elements of the diagram. For instance, class diagram was made of classes, and class was done of class name and attribute operator. The elements were transformed to be database table having basic key and foreign key information. The ways suggested had advantages of users' sharing of model information and reuse of the model. This study investigated cost saving, time saving and UML model construction by database. We had designed integrated and relation database that could save and manage UML diagram, and suggested retrieval. For instance, we classified class diagram into elements to make tables and kept relation of each element by using not only basic key of relation database but also foreign key information. We made database of modeling depending upon methods to give users convenience.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.576-577
• /
• 1998

오늘날 소프트웨어 및 시스템의 분석, 설계, 개발은 기존의 구조적 기법에 의존하던 방식에서 탈피하여 새로운 객체지향 방법으로 이루어지고 있다. 그 중 Booch, Jacobson, Rumbaugh에 의해 제안된 UML(Unfied Modeling Language)은 시스템을 분석하고 모델링하는데 새로운 패러다임을 제시하고 있다. UML은 시스템을 기능적 측면, 정적인 측면, 그리고 동적인 측면으로 분석하고 설계하여 보다 명확하고 쉽게 시스템을 개발할 수 있는 장점을 제공하는 반면, 논리적 특성을 표현한 모형과 물리적 특성을 표현한 모형간의 연계성을 명확히 표현하기 어렵고, 분산시스템 개발을 위한 프로세스적인 측면의 지원이 부족하며, 클라이언트/서버 환경의 시스템 개발을 충분히 지원하지 못하는 단점이 있다. 본 논문에서는 이들 중 클라이언트/서버 시스템 개발을 위한 효과적 UML 프로세스를 정의한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1601-1604
• /
• 2003

XML(eXtensible Markup Language) 프로그램이나 XML을 이용한 B2B 시스템 구축과 같은 XML 프로젝트에서는 객체 지향적 설계언어인 UML을 이용해 개발하면 효율을 높일 수 있다. UHL(Unified Modeling Language)로 XML문서 구조를 표현하는 이유는 XML문서를 생성, 접근, 수정하는 XML프로그램을 체계적이고 효율적으로 설계할 수 있기 때문이다. DTD(Document Type Declaration)와 스키마(Schema)를 UML로 표현함으로써 프로그래밍을 통합적으로 추진 할 수 있다. 이러한 과정에서 XML의 문서 구조정보의 활용 증대와 UML의 확장이라는 이점을 취할 수 있다. 본 논문에서는 UIML 기반의 다이어그램에서 XML 문서서로의 변환기에 대한 모델을 제안한다.

• Journal of the Korea Computer Industry Society
• /
• v.6 no.3
• /
• pp.551-558
• /
• 2005

Although OMG gives a textual semantics for UML activity diagrams, some ambiguities can be caused due to the lack of rigorous semantics. That is to say it is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the n activity diagram. In this paper, the alternative approach of using Abstract State Machine(ASM) to formalize UML activity diagrams is presented. It suggested that ASM semantics is extended corresponding the workflow system characteristics.

• The Journal of Society for e-Business Studies
• /
• v.8 no.4
• /
• pp.239-252
• /
• 2003

High quality software is the one that has an excellent performance with a low price, consumer's request satisfaction and less bug. In addition, it should have structure easily maintainable. CBD(Component Based Development)technology is getting more popular as a method for software development which can satisfy all above conditions. Although there are a lot of test methods about component for composition, function, compatibility and reliability, it's not enough to ensure that the component has reliability, maintainability, and reusability, so an integated method are necessary. In this paper, we are going to propose the solution model for integrating components, which are based on UML (Unified Modeling Language) technologies. This model can extract existing faults in the component interfaces by referencing sequence diagram and collaboration diagram.

• 한국IT서비스학회:학술대회논문집
• /
• 2009.05a
• /
• pp.467-470
• /
• 2009

U-City is the key element of the future knowledge-based society where every citizen will be benefited from the most advanced information technology. The following research reengineers the old process to define the rational and efficient process of the U-City construction project(BPR: Business Process Reengineering). In order to achieve the goal, identify and diagnose problem points, outline the improved plan, and readjust the managing system and process to propose better process. And Lastly, redefine the best efficient process by simple modeling using the UML(Unified Modeling Language). The goal of the systematic proposal is to make contributions to a base of the green growth to be the development of the Sustainable U-City.

• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1158-1171
• /
• 2003

The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can describe in detail the system that will be developed, but we cannot guarantee the correctness and consistency of the designed model. Therefore, it is important to minimize the error by verifying user models in an early stage. In this paper, we propose a method for verifying the consistency of UML structural diagrams and behavioral diagrams using OCL verification rules and meta-metamodel. The consistency is a nature for checking whether the structural diagrams and behavioral diagrams are coherently designed according to a specific requirement. First we build meta-metamodels of the structural diagram and behavioral diagram that are described with the UML diagrams and the related elements, we derive rules for verifying the consistency from each meta-metamodels, and then formally specify with the language such as OCL for automatic verification. Finally, we verify the usefulness of the rule through a case study.

• The Journal of Society for e-Business Studies
• /
• v.8 no.1
• /
• pp.85-102
• /
• 2003

Nowadays an information exchange on XML such as B2B electronic commerce is spreading. Therefore the systematic and stable management mechanism for storing the exchanged information is needed. For this goal there are many research activities for connection between XML application and relational database. But because XML data have hierarchical structures and relational database can store only flat-structured data, we need to make the conversion rule which changes the hierarchical architecture to 2-dimensional information. Accordingly the modeling methodology for storing each structured information in relational database is needed. In this paper, we introduce a XML modeling methodology to design W3C XML schema using UML and we propose a unified design methodology for relational database schema to store XML data efficiently in relational databases. In the second place, in order to verify objectivity of a unified design methodology. By the way of Ronald Bourret, First we introduce the method of the transformation from XML schema to object model and second we translate object model into relational database schema. Therefore we show the mutual consistency between those consequence, and so can verify a unified design methodology.