• Journal of Korea Multimedia Society
• /
• v.3 no.3
• /
• pp.290-297
• /
• 2000

For verifying consistency and completeness of some UML diagrams as a representative of the graphic notations for object-oriented designs, we first give an analysis of some UML diagrams and apply simple ER model to the UML diagrams. Next, we formally define this graphical representation as a set of sets and a set of functions. According to the semantics of these functions, we derive a set of rules to assure the consistency and completeness of this graphical representation. These rules will be included with a CASE tool, which possesses both the diagramming facility and the consistency and completeness checking capability.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.12
• /
• pp.2492-2497
• /
• 2009

In this paper, a user application based on ZigBee is developed using UML. Conventional development procedure for an application using ZigBee stack requires a tremendous effort, since a developer has to study programming interfaces and analyze sample code to modify and add necessary code. In this study, a sample user application based on ZigBee is modeled using UML and embedded software code is generated using an automatic code generation tool. If the application development method using UML proposed in this paper is used, it is possible for a user to easily develop an application using powerful notations of UML diagrams without paying attention to the details of complex programming code.

• 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 KIISE:Software and Applications
• /
• v.32 no.6
• /
• pp.473-485
• /
• 2005

UML activity diagram is useful to model business process and workflow by reason of its suitability to present dynamic aspect of system. However it Is difficult to present precise semantics which is taken as important in workflow system with the guide provided by OMG to the UML activity diagram. This paper suggests workfolw system modelling methodology by applying ASM semantics to the activity diagram after extending its semantics to correspond to workflow system characteristics. Through the exact definition to formal semactics based on ASM it is possible to effectively model workflow.

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.348-353
• /
• 2006

데이터의 흐름과 그 데이터의 처리가 중요한 시스템이 있다. 이러한 시스템을 구현하는 데이터 흐름 언어들은 데이터 흐름도로 모델링하는 것이 가장 이해하기 쉽고 정보의 손실이 적은 방법이다. 이러한 시스템은 분산 환경의 중요성이 높아짐에 따라 다른 이종적인 시스템과 같이 개발 될 가능성이 높아지고 있다. 따라서 이종적인 시스템에 대한 일관성 있고 통합적인 설계와 문서화가 필요하게 되었다. UML로 객체 지향 언어로 구현되는 시스템의 모델링과 문서화에 있어서는 사실상의 표준이지만 데이터 흐름의 구성 요소들이 객체 지향적이지 않기 때문에 UML로 데이터 흐름을 나타내는 것은 어렵다. 따라서 우리는 이러한 문제를 해결하기 위한 UML 확장 메커니즘을 제안한다. 데이터 흐름 언어가 객체와 클래스로 사상될 수 있는 특성들을 가지고 있다면 그 특성들을 UML 다이어그램으로 확장할 수 있다. 그러기위해 새로운 스테레오타입들을 정의하여 기존의 UML 다이어그램 구성물과의 차이를 둔다. 이러한 과정을 통해 UML 사용자들은 데이터 흐름 언어의 구성 요소들을 캡슐화 할 수 있다. 데이터 흐름 언어로 구현되는 일반적인 시스템에 적용하기 위해 우리는 UML 메타모델 개요를 제안하는 것으로 스테레오타입들을 정의한다. 그리고 이렇게 확장된 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.

• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.117-124
• /
• 2006

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.705-715
• /
• 2008

Today raises its head on the issue of interoperability caused by the complexity of the embedded software and the diverse development environment about SUGV(Small Unmanned Ground Vehicle). So, we propose to adopt the original MDA mechanism for this heterogeneous embedded development. To solve this problem, we apply for developing SUGV with MDA(Model Driven Architecture) using the original UML profile mechanism. Through this method, it can be semi-automatically transformed into TSM(Target specific model) after modeling TIM(Target Independent Model). Then we can also automatically generate the heterogeneous source codes. Therefore it will be reduced the development cycle and effort of the heterogeneous systems. We verify the benefits of our proposed approach and the reliability through analyzing the generated codes.

• 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 프로세스를 바탕으로 한 것이므로 , 제시된 프로세스의 적용성 검증을 위해 전자 상거래 도메인에 대한 적용사례연구를 제시한다.