• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.448-450
• /
• 2005

Acme와 같은 ADL(Architecture Description Language) 들은 컴포넌트 기반 시스템의 아키텍쳐를 정형적으로 명세할 수 있는 장점을 가지고 있다. 하지만 날로 다각화되는 개발 과정 상의 이해관계들을 다 포용하지 못하고, 아키텍쳐에 특화된 별도의 표기 형식을 익혀야 하는 부담이 있어 아키텍쳐를 명세하는 언어로서 정착되지 못하고 있다. 반면 UML(Unified Modeling Language)은 범용 모델링 언어이여 소프트웨어 개발의 전 과정에 일관된 표기형식과 폭넓은 지원도구들을 제공하고 있어 소프트웨어 개발을 위한 사실상의 표준 언어로 자리잡고 있다. 이에 따라 지금까지 UML을 이용하여 아키텍쳐를 모델링하기 위한 연구들이 많이 진행되어 왔다. 특히 UML에서 표현수단이 미흡한 아키텍쳐의 핵심 개념들을 명시적으로 표현할 수 있도록 UML의 확장 메커니즘을 사용하여 UML을 특화하는 연구 결과들이 많이 소개되고 있으나 특화된 영역의 아키텍쳐를 기술하기에는 부족하다. 본 논문에서는 최근에 활발히 개발되고 있는 모바일 애플리케이션의 특징중의 하나인 device의 제약사항을 QoS로 정의하고 UML 확장메커니즘을 이용하여 모바일을 위한 아키텍쳐 모델링 언어 프레임웍을 제시하고 있다.

• The KIPS Transactions:PartD
• /
• v.10D no.6
• /
• pp.971-982
• /
• 2003

The consistency of UML diagrams is a nature for checking whether diagrams are coherently designed with only one requirements and the correctness of UML Diagrams, especially it uses OCL(Object Constraint Language) which is standard constraint language in UML. Firstly we devise metamodels that are described with conponent and relationships, then we derive verification rules from each matamodels for verifying correctness and consistency, and then we formally specify the rules with OCL for automatic verification. Finally we verify the rules with USE TOOL.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2018.05a
• /
• pp.160-161
• /
• 2018

ITU-R Study Group Working Party 5B에서는 해상에서 자율운항선을 안전하게 운항하기 위해 자율운항선을 통한 제어센터-VTS, 제어센터-유인선 간의 정보교환이 이루어 질 수 있도록 Vessel traffic control voice relay의 기능을 제시하였다. 이에 자율운항선을 통해 제어센터-VTS, 제어센터-유인선 간의 원활한 정보교환이 가능하도록 사용자 기능 요구사항, 사용자 비기능 요구사항, 인터페이스 요구사항으로 분석함으로써 통신중계시스템 설계 및 각 운용 기기별 정보교환 체계를 구축하였다. 하지만 자율운항선-타 선박간의 충돌 위험성을 감지할 경우 충돌회피를 위한 흐름 및 통신중계시템을 활용한 메시지 처리과정은 설계되지 아니한 실정이다. 이에 본 연구에서는 액티비티, 제어흐름, 작업 흐름 등의 표현이 가능한 UML(unified modeling language)을 활용함으로써 항해단계 중 발생할 수 있는 상황별 시나리오를 제어 흐름 형태로 표현한 정보교환 메시지 처리 알고리즘을 제안하고자 한다.

• The KIPS Transactions:PartD
• /
• v.17D no.2
• /
• pp.129-146
• /
• 2010

Nowadays, XML has been favored by many companies internally and externally as a means of sharing and distributing data. there are many researches and systems for modeling and storing XML documents by an object-oriented method as for the method of saving and managing web-based multimedia document more easily. The representative tool for the object-oriented modeling of XML documents is UML (Unified Modeling Language). UML at the beginning was used as the integrated methodology for software development, but now it is used more frequently as the modeling language of various objects. Currently, UML supports various diagrams for object-oriented analysis and design like class diagram and is widely used as a tool of creating various database schema and object-oriented codes from them. This paper proposes an Efficinet Query Modelling of XML-GL using the UML class diagram and OCL for searching XML document which its application scope is widely extended due to the increased use of WWW and its flexible and open nature. In order to accomplish this, we propose the modeling rules and algorithm that map XML-GL. which has the modeling function for XML document and DTD and the graphical query function about that. In order to describe precisely about the constraint of model component, it is defined by OCL (Object Constraint Language). By using proposed technique creates a query for the XML document of holding various properties of object-oriented model by modeling the XML-GL query from XML document, XML DTD, and XML query while using the class diagram of UML. By converting, saving and managing XML document visually into the object-oriented graphic data model, user can prepare the base that can express the search and query on XML document intuitively and visually. As compared to existing XML-based query languages, it has various object-oriented characteristics and uses the UML notation that is widely used as object modeling tool. Hence, user can construct graphical and intuitive queries on XML-based web document without learning a new query language. By using the same modeling tool, UML class diagram on XML document content, query syntax and semantics, it allows consistently performing all the processes such as searching and saving XML document from/to object-oriented database.

• 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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.136-138
• /
• 2003

UML cannot meet all the requirements offered in different software system for diverse application domain. GNSS (Global Navigation Satellite System) application domain is an especial environment that requires precise measurement and precision calculation of real-world geographical entities with the help of GPS (Global Position System) in both temporal and spatial factor. Therefore in the paper new extended iconic stereotypes for better modeling GNSS application in the UML Diagram are proposed, and the implementation of a program called StereotypeCreator, which is able to create iconic stereotypes used in one of the most popular visual modeling tools for software development, Rational Rose, will be also proposed.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.05a
• /
• pp.163-167
• /
• 1999

The relational data model can't be applied to CAD/CAM, CE, and CIM since it can't support the semantic model concept such as complex object, random data definition, manipulation, version control, generalization, aggregation and so on. In this paper, the IPCS(Integrated Production Control System) for hand-rail of ship is parted into several module according to process function. further more, the object oriented data model is designed with UML(Unified Modeling Language). UML is the object oriented design methodology of industrial standard that combines the Booch's methodology, the Rumbaugh's On(Object Modeling Technique), and the Jacobson's OOSE(Object-Oriented Software Engineering) methodology. The efficient management is expected with object-oriented data model construction, since this developed system can achieve efficient process control, system maintenance, repair and extension.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.7 no.1
• /
• pp.11-18
• /
• 2011

A mobile agent system is the most common software paradigm for distributed applications. A software development model to develop efficiently for these systems is needed. Unified Modeling Language (UML) is a widely used software development model to develop a system for Visualizing, Specifying, Constructing, Documenting. However, UML can not describe in explicit way the necessary mobility of the mobile agent-based software systems. 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 in three ways. For a case study, we applied the extended diagrams to a distributed file searching using mobile agents, and showed these diagrams can describe the mobility very well.

• 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.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.5
• /
• pp.171-177
• /
• 2008

CBD(Component-based Development), which refers to the method of treating software as parts of a larger whole and developing new information systems through the assembly and synthesis of existing software, has been popular among many methods for developing software. However, CBD has limitations in the mobile environment which requires frequent requirements change and flexible process. To overcome those limitations, we propose an improved mobile development process based on the UML(Unified Modeling Language) components. Our Proposal is the simple development process implemented as three phase of component diagrams for the mobile system having quickly evolving technology and small-size project. Through the implementation of a mobile banking service with the proposed development process, we show that our proposal works efficiently for the requirements change and flexible development.