• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.12
• /
• pp.1588-1595
• /
• 2019

This paper presents the technique on structuring information of the diagram repository for UML diagrams. Because object interactions are the body of object-oriented programming, this paper handles especially the sequence diagrams and class diagrams among UML diagrams. Based on class diagrams, sequence diagrams represent the procedure of object interactions in run-time and then the corresponding codes are generated from the contents of those sequence diagrams. To do this work, this paper presents a method to construct the information repository for generating code from the contents of sequence diagrams. This paper classifies the five message types of sequence diagrams and then extracts the needed information including items and values on the corresponding message types for constructing message repositories. Because sequence diagram is composed of messages included, the final repository is constructed by collecting each of structured repositories on messages sequentially.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.181-183
• /
• 2006

UML 2.0의 시퀀스 다이어그램은 실시간 특성을 표기할 수 있는 표기법이 추가됨으로써 시간의 엄격성이 중요하게 여겨지는 임베디드 소프트웨어의 행위를 보다 정확하고 상세하게 모델링 할 수 있게 되었다. 시퀀스 다이어그램은 전체 시스템의 부분적인 행위를 기술하여 같은 행위가 여러 다이어그램에 걸쳐서 기술되어지므로 이들 다이어그램들은 서로 일관성을 가져야 하는데 복잡한 시스템에서 일관성을 검사하는 것은 어려운 일이다. 본 논문에서는 행위 모델을 표현하는 시퀀스 다이어그램과 다른 다이어그램에 기술된 실시간 특성들의 일관성을 자동으로 검사할 수 있는 방법을 제안한다. 먼저 서로 다른(inter) 다이어그램들 사이의 시간적인 일관성을 유지하기 위한 제약사항을 파악하여 정의한다. 그리고 모델을 구성하는 인스턴스들에 대한 제약사항을 OCL로 기술하는데 이는 UML 2.0이 발표되면서 모델의 의미를 정확하고 상세하게 표현할 수 있는 메타 모델과 그들의 연관관계가 추가되고 명확하게 정의됨에 따라 가능하게 된 것이다. 이렇게 OCL로 정형화되어 기술된 식은 UML 2.0 메타 모델을 이용한 어느 모델에나 적용 가능하며 모델의 문제점을 발견하고 정확한 모델을 구축하도록 도와준다.

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

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

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

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.24 no.7
• /
• pp.857-865
• /
• 2020

This paper presents a method for code generation of UML sequence diagrams based on message patterns. In the sequence diagrams, it is shown that messages are some types of forms typically. This paper classifies according to type as three patterns, and construct meta-information for code generation analysing structural infomation for each patterns. The meta-message of structural information (MetaMessage) is stored in the MetaMessage datastore and the meta-method information from the MetaMessage is stored in the MetaMethod datastore. And then, the structural information of MetaClass and MetaObject is constructed in each datastore too. For each pattern, this paper presents a method for code generation based on the meta information of message patterns and the syntax of target progamming language. Also, branching and looping that has been seldom handled integratedly in the previous works are handled as same as the basic patterns by classifying the branching pattern and the looping pattern for code generation integratedly.

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

임베디드 소프트웨어의 적용영역이 확장됨에 따라 학계와 업계에서 임베디드 소프트웨어 개발 기술에 대한 관심이 고조되고 있다. UML 2.0은 산업체에서 많이 사용되는 모델링 언어로, 그 동안 현장에서는 주로 상태머신 다이어그램(State Machine Diagrams)을 사용하여 임베디드 소프트웨어의 동적 행위를 모델링하여 왔다. 그러나 모델러는 상태머신 다이어그램보다 시퀀스 다이어그램(Sequence Diagrams)을 선호하는데, 이는 시퀀스 다이어그램을 사용하는 것이 직관적이고 정확한 행위 모델을 개발할 수 있기 때문이다. UML 2.0이 최근 다양한 모델링 요소를 반영하도록 확장되었음에도 불구하고, 시퀀스 다이어그램을 사용하여 임베디드 소프트웨어를 모델링을 하기에는 아직 부족한 점이 있다. 이를 보완하고, 임베디드 소프트웨어를 더욱 잘 디자인하기 위하여 예외 상황과 인터럽트를 처리할 수 있는 방법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.319-321
• /
• 2005

항해는 웹 응용의 대표적인 행위 특성이다. 본 연구에서는 UML 2.0의 행위 다이어그램 메타 모델을 확장한 웹 응용 항해 모델을 제안한다. 본 항해 모델은 딜 판정 항해 모델과 데이터 전송 관점 항해 모델로 구성된다. 뷰 관점 항해 모델은 UML 상태 기계 다이어그램을 확장하여 사용자에게 표시되는 항해를 기술한다. 데이터 전송 관점 항해 모델은 데이터가 전송되는 항해를 나타내며 UML 시퀀스 다이어그램을 확장하여 표현한다. 두 항해 모델은 상호 보완적으로 작용하여 온전한 항해 문맥을 형성한다. 본 논문에서는 UML 2.0 메타 모델의 확장점과 항해 모델의 표기법을 제시하고, 사례 연구를 통하여 실제적인 항해 모델의 예를 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.169-171
• /
• 2006

본 논문에서는 UML 다이어그램으로부터 시맨틱 웹 서비스 기술 표준인 OWL-S문서를 생성하는 방법을 제안한다. 특히 온톨로지의 기술을 위해 클래스 다이어그램을 사용하고, 프로세스의 흐름을 기술하기 위해 시퀀스 다이어그램 및 액티비티 다이어그램을 사용한다. 제안된 방법은 UML 모델의 재사용 및 기존 연구들이 처리하지 못하는 복합프로세스의 생성이 가능하다는 장점을 가진다.

• Journal of the Korea Computer Industry Society
• /
• v.7 no.3
• /
• pp.179-184
• /
• 2006

many corporation introduce information system by method to maximize profit and to reduce expense within flood of information along with development of Information Technology. In this paper, construed AS-IS using UML that is an object intention methodology design tool via process of TO-BE process model design and so on to base Use Case diagram, sequence diagram, component diagram make out that do and this is Microsoft's .NET And wished to raise reusability of component and development productivity of software as that embody smaller enterprise type business administration system that .NET-based relationship extension is possible.

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

소프트웨어 개발을 위한 분석 및 설계 언어로 UML이 일반화 되어 있다. UML이 갖는 객체지향 개념의 장점으로 인하여 일반 소프트웨어 개발뿐만 아니라 임베디드 소프트웨어 개발에 있어서도 UML의 사용이 증가하고 있다. 특히 UML 모델 중에서 시퀀스 다이어그램은 시스템의 다이나믹스 및 동적 시나리오 표현에 매우 유용하고, 모델링이 직관적이어서 소프트웨어 엔지니어들이 선호하고 있다. 본 연구에서는 시스템 행위를 중심으로 하는 임베디드 소프트웨어 모델링 방법으로 ESUML 방법론을 제시한다. 제시한 ESUML 방법론에서는 Use Case, Class, Interaction overview, Sequence 다이어그램과 Action Language를 이용하여 시스템을 효과적으로 모델링 하도록 하였다.