• Journal of KIISE:Software and Applications
• /
• v.34 no.3
• /
• pp.179-195
• /
• 2007

Traditional software development method is not suitable for Web application development because of characteristics of Web application such as frequent requirements change, different architectures and models and quick-to-market delivery. In this paper we propose a Web application development method adaptable to requirements change while we systematically model Web application using extended UML model. The metamodel is independent to specific languages and technologies because we define the metamodel using extended UML model. Proposed process is described by SPEM(Software Process Engineering Metamodel) profile. A process supporting tool execute and customize process. To model Web applications systematically and effectively, a navigation modeling and a component communication modeling tools are provided. In a case study, we show the usefulness of our process and model.

• Journal of Convergence Society for SMB
• /
• v.1 no.1
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML) is widely accepted in industry and particularly UML State Machine Diagram is popular for describing the dynamic behavior of classes. This paper discusses deadlock detection of System using UML State Machine Diagram. Since a State Machine Diagram is used for indivisual class' behavior, all the State Machine Diagrams of the classes in the system are combined to make a big system-wide State Machine Diagram to describe system behavior. Generally this system-wide State Machine Diagram is very complex and contains invalid state and transitions. To make it a usable and valid State Machine Diagram, synchronization and externalization are applied. The reduced State Machine Diagram can be used for describing system behavior thus conventional model-checking technique can be applied. This paper shows how deadlock detection of system can be applied with simple examples. All the procedures can be automatically done in the tool.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.26 no.10
• /
• pp.1509-1516
• /
• 2022

This paper presents a method to generate a model of the code implementation for UML state diagrams. First, it promotes the states of a state machine into objects, and then it structures the behavior model on the mechanism of a state diagram based on State design pattern. Then, it establishes the rules of generating the code implementation, and using the rules, the Java code mode is generated for the implementations of State Diagrams in Java syntax grammar. In addition, Structuring the information of the code model is necessary for generating Java code automatically. The meta information is composed of Meta-Class Model and Meta-Behavior Model, on which we could construct the automatic code generating engine for UML State Diagrams. The implementation model generation method presented in this paper could be used as a stand-alone engine, or included and integrated as a module in the UML tools.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.310-312
• /
• 2004

소프트웨어 디자인 패턴(Design Pattern)은 좋은 설계나 아키텍처의 재사용을 도와주며, 이미 만든 시스템의 유지보수나 문서화도 개선해 준다. 패턴화를 통해서 클래스의 명세를 정확하게 하며, 객체간의 상호작용 또는 설계의 의도 등을 명확하게 정의할 수 있게 해준다. 사용자가 필요 시 디자인 패턴을 쉽고 편하게 UML 모델링 도구에 적용할 수 있다면 생산성 및 품질 개선에 크게 이바지할 컷으로 판단된다. 본 논문은 UML 모델링 도구에 사용자 정의형 패턴을 쉽게 적용할 수 있도록 하는 기능을 설계하여 구현한 결과를 제시한다

• Proceedings of the KIEE Conference
• /
• 2002.07d
• /
• pp.2656-2658
• /
• 2002

로켓과 지상장비의 각 모듈 사이에서 교환되는 데이터와 제어 정보, 상호작용 등을 정확하게 기술하기 위해 UML 객체 지향 방법을 이용해서 로켓 발사시스템을 모델링한다. 이렇게 만들어진 상위레벨 객체 모델을 기반으로 해서 발사통제 시스템에서 지시하는 명령들의 시퀀스로서 발사 시나리오를 구성한다. 본 논문의 UML 객체 다이어그램과 발사 시퀀스 다이어그램은 로켓과 지상장비를 운영하고 통제하는 다양한 작업에 유용하게 사용될 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.670-672
• /
• 2001

소프트웨어 산업계에서 재사용 단위가 객체보다 더 큰 컴포넌트 기반의 개발에 관심이 집중되고 있다. 그래서 모델링 언어인 UML과 컴포넌트가 운용되는 유연하고 확장성 높은 기반 아키텍처인 EJB를 이용한 기업형 시스템 개발이 요즘 기업에서 활발해지고 있다. UML과 EJB 각각에 대한 연구는 많이 진행되었지만, UML Model을 이용한 EJB Model 구현시의 mapping 기법에 관한 연구는 아직 미흡한 실정이다. 그래서 본 논문에서는 UML Modeling을 통해 Class diagram에서 추출된 Class들이 EJB로 구현될 때 실제로 어떤 Bean으로 Mapping 되는지에 대해 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.61-63
• /
• 2002

본 논문에서는 UML을 이용하여 W3C XML Schema를 설계하기 위한 XML 모델링 방안을 제시하고, 아울러 교환되는 XML 데이터를 효율적으로 저장하기 위하여 관계형 데이터베이스 스키마 설계를 위한 통합 설계 방법론 제안한다. 또한 통합 설계 방법론의 객관적인 검증을 위하여, 기존의 Ronald Bourret의 방법을 사용하여 XML schema를 객체 모델로 변환하고 아울러 변환된 객체 모텔을 관계형 데이터베이스 스키마로 변환된 결과와 본 논문에서 제시한 UML를 이용한 데이터 모델링에 따른 관계형 데이터베이스 스키마와의 상호 일치함을 보임으로써 본 논문에서 제안한 통합 설계 방법론의 객관성을 검증하였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.5 no.4
• /
• pp.805-821
• /
• 2011

Wireless Sensor Networks (WSNs) are rapidly emerging because of their potential applications available in military and civilian environments. Due to unattended and hostile deployment environments, shared wireless links, and inherent resource constraints, providing high level security services is challenging in WSNs. In this paper, we revisit various security attack models and analyze them by using a well-known standard notation, Unified Modeling Language (UML). We provide a set of UML collaboration diagram and sequence diagrams of attack models witnessed in different network layers: physical, data/link, network, and transport. The proposed UML-based analysis not only can facilitate understanding of attack strategies, but can also provide a deep insight into designing/developing countermeasures in WSNs.

• 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 the Korea Academia-Industrial cooperation Society
• /
• v.16 no.5
• /
• pp.3407-3411
• /
• 2015

In the process of extending the UML model for a various domain, comply with the UML metamodel and it is possible to obtain a number of advantages. However, the UML metamodel is necessary to redefine the diagram must be defined via the Profile in order to expand and transformation the UML metamodel from a variety of sources using the UML metamodel is becoming increase massive scale. it is necessary to use only those extracts the element relative to the target to be used to extend a UML metamodel. Used to re-define the extension of the UML Metamodel and Profile based UML modeling tools and metadata repositories by analysis tools, can develop more quickly and easily, by utilizing these tools can improve the quality of development in the SW industry. In this paper, we present an algorithm that of the profile through the expansion of the UML metamodel and shows the results in actually applying e-government standards framework.