• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.6
• /
• pp.657-668
• /
• 2002

Software life cycle consists of requirement analysis, design, implementation, and maintenance phases, and the product of each phase has various format. The UML normalizes such products, and the class diagram, use case diagram, activity diagram and collaboration diagram are usually used for the requirement analysis phase. Because most of UML development tools store such diagrams in a file, there nay be some difficulties of information retrieval and co-work among users. To cope with the difficulties, this paper proposes a database supported methodology to store and manage the diagrams produced by the requirement analysis. In this methodology, the constituents of class, use case, activity and collaboration diagram are first analyzed and then transformed in the form of relational fables. The constituents of such diagrams are stored as tables in a database, and can be easily retrieved from the database by using some queries. This database supported methodology provides the concurrent sharing and high reuse of diagrams.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.6
• /
• pp.1291-1299
• /
• 2012

UML is a semantically rich language, but it is difficult to ensure consistency of the diagrams you have written. Therefore, in this paper, we propose cross checking rules to improve consistency between UML diagrams, especially between UML static diagram and dynamic diagram. We use metamodels in order to more clearly reflect interactions of UML elements in the checking rules and use OCL(Object Constraint Language) to accurately represent the checking rules. By comparing with the well-formedness rules of UML specification, we focus on consistency of UML diagrams. And we derive metamodels of static diagram and dynamic diagram, analysis the relationships of UML diagrams and finally, we test the usability of derived rules through a case study.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.357-369
• /
• 2000

SMIL(Synchronized Multimedia integration Language) allows integrating a set of independent multimedia objects into a synchronized multimedia presentation. In this paper, I propose modeling rules, formal models, modeling function and an algorithm for SMIL documents using use case diagram and sequence diagram of UML(Unified Modeling Language), It will be used the use case diagram and collaboration diagram for object-oriented visualizing tool to describe the temporal behavior of the presentation. The main contribution of this paper is that developers of SMIL documents easily generate them using this rules and algorithm. And, the formal models and modeling functions provide an environment for processing object-oriented documents.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.11 no.2
• /
• pp.261-267
• /
• 2011

One of powerful software paradigms for distributed systems is a mobile agent system. Since the usage of mobile agent systems is increased, a software development model to construct softwares efficiently for these systems is needed. Currently, UML is a widely used software development model. However, existing UML can not describe the necessary mobility of the mobile agent based software systems in explicit way. In this paper, the interaction diagrams of UML(sequence diagrams and communication diagrams) are extended and used to express the mobility of the mobile agents including the functions of platforms of mobile agent systems in three ways. For a case study, we applied the extended diagrams to a distributed file searching using mobile agents, and we confirmed these diagrams can describe the function and mobility of mobile agents very well.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.11
• /
• pp.173-177
• /
• 2012

This paper proposes a service which searches goods by images and finds a shopping mall site that offers referral services. In the service, images are obtained in various types. For example, paint function, images search based on pattern and shape. For this shopping mall system, it will be modeled using UML use case and class diagram. Also it will be implemented in JSP. It supports functions that searched various types of images by pattern and shape. In addition to features which were mentioned above, we aim to implement a shopping mall system to search and buy goods by improved information searching techniques, ultimately providing a space that realizes user's painting.

• Journal of Korea Society of Industrial Information Systems
• /
• v.16 no.5
• /
• pp.83-92
• /
• 2011

IDEF is a widely used methodology for traditional structured software development. As object-oriented softwares are widely used, an object-oriented version of IDEF, IDEF4, is developed. UML is de facto standard for object-oriented software development methods. Whereas IDEF is widely used for CALS/EC, UML is used for general object-oriented software development. Most software developers are not familiar with IDEF4 but familiar with UML. Moreover, UML has many CASE tools. So we can develop software efficiently if we convert IDEF4 model to UML model. In this paper, we transform IDEF4 models to UML models. We explain the rules and methods to convert IDEF4 model to UML model and applied the transform methods and rules to a case study.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.3 s.35
• /
• pp.161-171
• /
• 2005

SMIL(Synchronized Multimedia Integration Language) allows multimedia objects into a synchronized multimedia presentation. In this paper, I propose modeling rules, formal models, modeling function and an algorithm for SMIL documents using use case diagram and sequence diagram of UML(Unified Modeling Language)to Develop for SMIL Documents Editor. It will be used the use case diagram and collaboration diagram for object-oriented visualizing tool to describe the temporal behavior of the presentation. The main contribution of this paper is that developers of SMIL documents editor easily generate them using this rules and algorithm. And, the formal models and modeling functions provide an environment for processing object-oriented. documents.

• KIISE Transactions on Computing Practices
• /
• v.22 no.1
• /
• pp.32-37
• /
• 2016

In model-based testing using sequence diagrams, test cases are automatically derived from the sequence diagrams. For the generation of test cases, scenarios need to be found for representing as a sequence diagram, and to extract test paths satisfying the test coverage. However, it is hard to automatically extract test paths from the sequence diagram because a sequence diagram represents loop, opt, and alt information using CombinedFragments. To resolve this problem, we propose a transformation process that transforms a sequence diagram into an activity diagram which represents scenarios as a type of control flows. In addition, we generate test cases from the activity diagram by applying a test coverage concept. Finally, we present a case study for test cases generation from a sequence diagram.

• Journal of Internet Computing and Services
• /
• v.12 no.6
• /
• pp.149-159
• /
• 2011

The current applications can be characterized as consisting of complex objects related by complex relationship. Therefore the relational database has been extended to object-relational database because of the complex objects. Accordingly, we need database design methodology for object-relational database. In this pager, we develop an integrated design methodology based on a extended UML class diagram for object-relational database. We make the extend UML class diagram by adding new stereotypes for object-relational database. Also we propose a guideline for transforming the extended UML class diagram to object-relational database schema. We use SQL:1999 as a object-relational data model and Oracle11g as a target object-relational database. We can build more easily and efficiently object-relational database for Oracle11g by using our methodology. Finally we applied our methodology on a computer classroom reservation system for evaluation the methodology.

• Journal of KIISE:Software and Applications
• /
• v.26 no.4
• /
• pp.533-545
• /
• 1999

절차적 재사용, 객체지향 사용, 디자인 패턴, 분석 패턴, 그리고 프레임 워크와 같은 효율적인 소프트웨어 재상요에 대한 많은 연구가 진행되어 오고 있다. 최근 들어 객체지향 프레임워크가 효율적이고 실용적인 재사용 기법으로 크게 부각되고 있다. 객체지향 프레임워크는 특정 도메인에 대한 여러 어플리케이션들 간의 공통된 행위들을 지닌 클래스들의 집합으로서, 재사용성을 증가시키고, 어플리케이션 개발시간을 단축시키는 효과를 지니고 있다. 그러나, 객체지향 프레임워크를 구축하기 위한 체계적인 개발 프로세스와 세부적인 개발 지침에 대한 연구가 충분히 이루어지지 않은 상태이며 OMG의 Unified Modeling Kanguage (UML)을 이용한 객체지향 프레임워크 개발에 관한 연구도 매우 미흡한 상태이다. 본 논문에서는 UML 문법과 의미를 기반으로 한 실용적인 객체지향 프레임워크 모델링 기법을 제시한다. 제시된 모델링 기법의 프로세스는 분석, 설계 구현, 그리고 시험 4단계(Phase)로 구성되어 있으며 , 각 단계는 논리적인 개발 업무(Task)들로 정의된다. 제시된 프로세스는 UML 다이어그램들을 적용 및 확장하였고, Objectory 프로세스를 바탕으로 한 것이므로 , 제시된 프로세스의 적용성 검증을 위해 전자 상거래 도메인에 대한 적용사례연구를 제시한다.